Horn clauses and database dependencies
- 1 October 1982
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 29 (4) , 952-985
- https://doi.org/10.1145/322344.322347
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- On the family of generalized dependency constraintsJournal of the ACM, 1982
- Properties of functional-dependency familiesJournal of the ACM, 1982
- Inclusion dependencies and their interaction with functional dependenciesPublished by Association for Computing Machinery (ACM) ,1982
- A normal form for relational databases that is based on domains and keysACM Transactions on Database Systems, 1981
- The implication problem for data dependenciesPublished by Springer Nature ,1981
- Decompositions and functional dependencies in relationsACM Transactions on Database Systems, 1980
- The theory of joins in relational databasesACM Transactions on Database Systems, 1979
- Computational problems related to the design of normal form relational schemasACM Transactions on Database Systems, 1979
- Multivalued dependencies and a new normal form for relational databasesACM Transactions on Database Systems, 1977
- The Recursive Unsolvability of the Decision Problem for the Class of Definite FormulasJournal of the ACM, 1969