Inclusion dependencies and their interaction with functional dependencies
- 29 February 1984
- journal article
- Published by Elsevier BV in Journal of Computer and System Sciences
- Vol. 28 (1), 29-59
- https://doi.org/10.1016/0022-0000(84)90075-8
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Formal systems for join dependenciesTheoretical Computer Science, 1985
- A Proof Procedure for Data DependenciesJournal of the ACM, 1984
- Algebraic dependenciesJournal of Computer and System Sciences, 1982
- Template DependenciesJournal of the ACM, 1982
- Book Review: The decision problem: Solvable classes of quantificational formulasBulletin of the American Mathematical Society, 1982
- Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued DependenciesJournal of the ACM, 1982
- Consequences of assuming a universal relationACM Transactions on Database Systems, 1981
- A normal form for relational databases that is based on domains and keysACM Transactions on Database Systems, 1981
- 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