Positivism vs minimalism in deductive databases
- 1 June 1985
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 123-132
- https://doi.org/10.1145/6012.15409
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Saturation, nonmonotonic reasoning and the closed-world assumptionArtificial Intelligence, 1985
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984
- Towards a Logical Reconstruction of Relational Database TheoryPublished by Springer Nature ,1984
- On the equivalence of logical databasesPublished by Association for Computing Machinery (ACM) ,1984
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980
- Equality and Domain Closure in First-Order DatabasesJournal of the ACM, 1980
- A relational model of data for large shared data banksCommunications of the ACM, 1970