The implication and finite implication problems for typed template dependencies
Open Access
- 29 February 1984
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 28 (1) , 3-28
- https://doi.org/10.1016/0022-0000(84)90074-6
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Tools for Template DependenciesSIAM Journal on Computing, 1983
- Horn clauses and database dependenciesJournal of the ACM, 1982
- A Complete Axiomatization of Full Join DependenciesJournal of the ACM, 1982
- Template DependenciesJournal of the ACM, 1982
- Preserving Functional DependenciesSIAM Journal on Computing, 1981
- The theory of joins in relational databasesACM Transactions on Database Systems, 1979
- Equivalences among Relational ExpressionsSIAM Journal on Computing, 1979
- Multivalued dependencies and a new normal form for relational databasesACM Transactions on Database Systems, 1977
- Synthesizing third normal form relations from functional dependenciesACM Transactions on Database Systems, 1976
- A relational model of data for large shared data banksCommunications of the ACM, 1970