An axiomatic approach to deciding query safety in deductive databases
- 1 March 1988
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- SYGRAF: implementing logic programs in a database styleIEEE Transactions on Software Engineering, 1988
- An amateur's introduction to recursive query processing strategiesPublished by Association for Computing Machinery (ACM) ,1986
- Implementation of logical query languages for databasesACM Transactions on Database Systems, 1985
- The Implication Problem for Functional and Inclusion Dependencies is UndecidableSIAM Journal on Computing, 1985
- Inclusion dependencies and their interaction with functional dependenciesJournal of Computer and System Sciences, 1984
- The implication problem for functional and inclusion dependenciesInformation and Control, 1983
- Improving database schemes by adding attributesPublished by Association for Computing Machinery (ACM) ,1983
- Tree queriesACM Transactions on Database Systems, 1982
- Computational problems related to the design of normal form relational schemasACM Transactions on Database Systems, 1979
- The Recursive Unsolvability of the Decision Problem for the Class of Definite FormulasJournal of the ACM, 1969