Domain-independent formulas and databases
- 31 December 1987
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 52 (3) , 281-306
- https://doi.org/10.1016/0304-3975(87)90113-7
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A basis for deductive database systems IIThe Journal of Logic Programming, 1986
- Implementation of logical query languages for databasesACM Transactions on Database Systems, 1985
- A basis for deductive database systemsThe Journal of Logic Programming, 1985
- Horn clause queries and generalizationsThe Journal of Logic Programming, 1985
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumptionThe Journal of Logic Programming, 1984
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984
- Logic for improving integrity checking in relational data bases?Acta Informatica, 1982
- The decision problem for database dependenciesInformation Processing Letters, 1981
- The Recursive Unsolvability of the Decision Problem for the Class of Definite FormulasJournal of the ACM, 1969