Logic and Databases: A Deductive Approach
- 1 June 1984
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 16 (2), 153-185
- https://doi.org/10.1145/356924.356929
Abstract
No abstract availableThis publication has 40 references indexed in Scilit:
- Algebraic dependenciesJournal of Computer and System Sciences, 1982
- On Database LogicJournal of the ACM, 1982
- An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational DatabaseJournal of the ACM, 1982
- A history and evaluation of System RCommunications of the ACM, 1981
- An Equivalence Between Relational Database Dependencies and a Fragment of Propositional LogicJournal of the ACM, 1981
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- Logic and semantic networksCommunications of the ACM, 1979
- On the expressive power of the relational algebraInformation Processing Letters, 1978
- Null values in a relational data baseInformation Processing Letters, 1977
- The design and implementation of INGRESACM Transactions on Database Systems, 1976