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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul and N. Bidoit "Non First Normal Form Relations to Represent Hierarchically Organized Data", Proc. 3rd ACM SIGMOD-SIGACT Symp. on Principles of Database Systems (PODS), March 1984, and Journal of Computer and System Sciences, 33, 1986.
S. Ceri, S. Crespi-Reghizzi "Formal definition of ALGRES: algebra for extended relations", Dipt. Elettronica, Politecnico di Milano, 1986.
S. Ceri, G. Gottlob, L. Lavazza "Translation and optimization of logic queries: the algebraic approach" Very Large Data Bases — Kyoto 1986
S. Ceri, L. Tanca "Optimization of Systems of Algebraic Equations for Evaluating DATALOG Queries", Proc. Very Large Data Bases, August 1987.
S. Ceri, S. Crespi-Reghizzi, L. Lamperti, L. Lavazza, R. Zicari "Algres: a system for specification and prototyping of complex databases" Submitted to IEEE Software
S. Ceri, G. Gottlob, L. Tanca {"Relational Databases and Logic Programming"}, Surveys in Computer Science, Springer-Verlag (to appear).
Chandra A. "Programming Primitives for Database Languages" ACM POPL 1981.
P. Dadam et al. "A DBMS Prototype to Support Extended NF2 Relations: An Integrated View on Flat Tables and Hierarchies", Proc. ACM SIGMOD, May 1986.
Feijs L.M.G., Jonkers H.B.M., Obbink J.H., Koymans C.P.J., Renardel de Lavalette G.R., Rodenburg P.H. "A survey of the design language COLD", Meteor Deliverable
Feijs L.M.G., Jonkers H.B.M., Koymans C.P.J., Renardel de Lavalette G.R. "Formal definition of the design language COLD-K", Meteor Deliverable
P.C. Fisher and S.J.Thomas "Operators for Non-First-Normal-Form Relations", Proc. IEEE COMPSAC, 1983.
Geser A., Hussmann H. "Rapid Prototyping for Algebraic Specifications — Examples for the Use of the RAP System" Report Universitaet Passau, MIP-8517, Passau, Dec. 1985.
Geser A. "A Specification of the intel 8085 Microprocessor: A Case Study" Report Universitaet Passau, MIP-8608, Passau, May 1986.
Hussmann H. "Unification in Conditional-Equational Theories" Report Universitaet Passau, MIP-8502, Passau, Jan. 1985.
Hussmann H. "Rapid Prototyping for Algebraic Specifications — RAP System User's Manual (Second Edition)" Report Universitaet Passau, MIP-8504, Passau, Feb. 1987.
Jonkers H.B.M. "Informal description of the design language COLD-K", Meteor Deliverable
Schek H. Scholl M. "The relational model with relation-valued attributes" Inform. Systems vol.11 n.2 1986
Wirsing M. "Structured Algebraic Specifications: A Kernel Language", Habilitation Thesis, Techn. Univ. Munchen, 1983, to apper in TCS, also Univ. Passau, Tech Rep. MIP-8511.
Wong E. and Samson W.B. "The specification of a relational database (PRECI) as an abstract data type and its realisation in HOPE", Comp. Jour.,29, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lavazza, L., Crespi-Reghizzi, S. (1989). Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype. In: Wirsing, M., Bergstra, J.A. (eds) Algebraic Methods: Theory, Tools and Applications. Algebraic Methods 1987. Lecture Notes in Computer Science, vol 394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015047
Download citation
DOI: https://doi.org/10.1007/BFb0015047
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51698-9
Online ISBN: 978-3-540-46758-8
eBook Packages: Springer Book Archive