Finitely Specifiable Implicational Dependency Families
- 30 March 1984
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 31 (2), 210-226
- https://doi.org/10.1145/62.2162
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Characterizations for functional dependency and Boyce-Codd normal form familiesTheoretical Computer Science, 1983
- Horn clauses and database dependenciesJournal of the ACM, 1982
- Properties of functional-dependency familiesJournal of the ACM, 1982
- Testing implications of data dependenciesACM Transactions on Database Systems, 1979
- Theory of relations for databases — a tutorial surveyLecture Notes in Computer Science, 1978
- Multivalued dependencies and a new normal form for relational databasesACM Transactions on Database Systems, 1977
- Functional specifications of a subsystem for data base integrityPublished by Association for Computing Machinery (ACM) ,1975