Formal systems for join dependencies
- 31 December 1985
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 38, 99-116
- https://doi.org/10.1016/0304-3975(85)90212-9
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A Proof Procedure for Data DependenciesJournal of the ACM, 1984
- Formal Systems for Tuple and Equality Generating DependenciesSIAM Journal on Computing, 1984
- A Complete Axiomatization of Full Join DependenciesJournal of the ACM, 1982
- Preserving Functional DependenciesSIAM Journal on Computing, 1981
- On the menbership problem for functional and multivalued dependencies in relational databasesACM Transactions on Database Systems, 1980
- The theory of joins in relational databasesACM Transactions on Database Systems, 1979
- Equivalences among Relational ExpressionsSIAM Journal on Computing, 1979
- Computational problems related to the design of normal form relational schemasACM Transactions on Database Systems, 1979