Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype

• Authors:

• L. Lavazza;S. Crespi-Reghizzi

• Affiliations:

• -;-

• Venue:
• Algebraic methods: theory, tools and applications
• Year:
• 1989