Abstract
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.
In this chapter I argue that a proof theoretic view of databases is possible, and indeed much morefiruitful. Specifically, I show how relational databases can be seen as special theories of gist order logic, namely theories incorporating the fiollowing assumptions:
-
1.
The domain closure assumption. The individuals occurring in the database are all and only the existing individuals.
-
2.
The unique name assumption. Individuals with distinct names are distinct.
-
3.
The closed world assumption. The only possible instances of a rela¬tion are those implied by the database.
It will follow that a proof theoretic paradigm for relational databases provides a correct treatment of:
-
1.
Query evaluation,for databases that have incomplete information, including null values.
-
2.
Integrity constraints and their enforcement.
-
3.
Conceptual modelling and the extension of the relational model to incorporate more real world semantics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
Reiter, R. (1984). Towards a Logical Reconstruction of Relational Database Theory. In: Brodie, M.L., Mylopoulos, J., Schmidt, J.W. (eds) On Conceptual Modelling. Topics in Information Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-5196-5_8
Download citation
DOI: https://doi.org/10.1007/978-1-4612-5196-5_8
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-9732-1
Online ISBN: 978-1-4612-5196-5
eBook Packages: Springer Book Archive