Formal Systems for Tuple and Equality Generating Dependencies
- 1 February 1984
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 13 (1), 76-98
- https://doi.org/10.1137/0213006
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Horn clauses and database dependenciesJournal of the ACM, 1982
- On The Properties of Join DependenciesPublished by Springer Science and Business Media LLC ,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
- Normalization and hierarchical dependencies in the relational data modelACM Transactions on Database Systems, 1978
- 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
- On the Structure of Abstract AlgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1935