Towards a Logical Reconstruction of Relational Database Theory

Insofar as database theory can be said to owe a debt to logic, the currency on loan is model theoretic in the sense that a database can be viewed as a particular kind of first order interpretation, and query evaluation is a process of truth functional evaluation of first order formulae with respect, to this interpretation. It is this model theoretic paradigm which leads, for example, to many valued propositional logics for databases with null values.

[1]  Lenhart K. Schubert.  Extending The Expressive Power Of Semantic Networks , 1976, IJCAI.

[2]  Bertram C. Bruce.  Case Systems for Natural Language , 1975, Artif. Intell..

[3]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

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

[5]  Adrian Walker.  Time and Space in a Lattice of Universal Relations with Blank Entries , 1980, XP1 Workshop on Database Theory.

[6]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[7]  John F. Sowa,et al.  Conceptual Graphs for a Data Base Interface , 1976, IBM J. Res. Dev..

[8]  Dennis McLeod,et al.  The semantic data model: a modelling mechanism for data base applications , 1978, SIGMOD Conference.

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

[10]  Edmund M. Clarke,et al.  Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data , 1980, VLDB.

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

[12]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[13]  Raymond Reiter.  On Closed World Data Bases , 1977, Logic and Data Bases.

[14]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1980, TODS.

[15]  Yannis Vassiliou,et al.  Null values in data base management a denotational semantics approach , 1979, SIGMOD '79.

[16]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[17]  Witold Lipski,et al.  On semantic issues connected with incomplete information databases , 1979, ACM Trans. Database Syst..

[18]  John Mylopoulos,et al.  A language facility for designing interactive database-intensive applications , 1978, SIGMOD '78.

[19]  Raymond Reiter,et al.  Equality and Domain Closure in First-Order Databases , 1980, JACM.