In this paper an algebraic specification of an extended (i.e. non first normal form) relational algebra is reported. Such specification has been written in RAP and in COLD and has been executed using RAP. In order to improve efficiency specifications were translated to Prolog.
Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype
LAVAZZA, LUIGI ANTONIO;
1987-01-01
Abstract
In this paper an algebraic specification of an extended (i.e. non first normal form) relational algebra is reported. Such specification has been written in RAP and in COLD and has been executed using RAP. In order to improve efficiency specifications were translated to Prolog.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
