A new approach to database logic

We propose here a data model that generalizes the relational, hierarchical, and network models. A database scheme in this model is a directed graph, where leaves represent data and internal nodes represent connections between the data. Instances are constructed from r-values, which constitute the data space, and l-values, which constitute the address space. We define a logic for the model, and describe a non-procedural quary language that is based on the logic. Finally, we describe an algebraic query language and show that it is equivalent to the logical language.

[1]  J. D. Uiiman.  Principles of database systems , 1982 .

[2]  Richard Hull,et al.  The format model: a theory of database organization , 1982, JACM.

[3]  E. F. Codd,et al.  Extending the data base relational model to capture more meaning , 1979, SIGMOD '79.

[4]  Diane C. P. Smith,et al.  Database abstractions: aggregation and generalization , 1977, TODS.

[5]  Larry J. Stockmeyer,et al.  The Polynomial-Time Hierarchy , 1976, Theor. Comput. Sci..

[6]  Jeffrey Ullman,et al.  Principles of Data Base Systems , 1980 .

[7]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

[8]  Moshé M. Zloof.  Query-by-Example: A Data Base Language , 1977, IBM Syst. J..

[9]  Michael Stonebraker,et al.  The design and implementation of INGRES , 1976, TODS.

[10]  Barry E. Jacobs,et al.  On Database Logic , 1982, JACM.

[11]  Jeffrey D. Ullman,et al.  Implementation of logical query languages for databases , 1985, TODS.

[12]  Jeffrey D. Ullman,et al.  Principles of Database Systems , 1980 .

[13]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[14]  Diane C. P. Smith,et al.  Database abstractions: aggregation , 1977, CACM.

[15]  Stephen Todd.  The Peterlee Relational Test Vehicle - A System Overview , 1976, IBM Syst. J..

[16]  Hans Albrecht Schmid,et al.  On the semantics of the relational data model , 1975, SIGMOD '75.

[17]  Gio Wiederhold,et al.  Database Design , 1977 .