Determining View dependencies using tableaux
- 1 September 1982
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Database Systems
- Vol. 7 (3), 361-380
- https://doi.org/10.1145/319732.319738
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- On the family of generalized dependency constraintsJournal of the ACM, 1982
- On interpretations of relational languages and solutions to the implied constraint problemACM Transactions on Database Systems, 1982
- Equivalences Among Relational Expressions with the Union and Difference OperatorsJournal of the ACM, 1980
- Calculating constraints on relational expressionACM Transactions on Database Systems, 1980
- Testing implications of data dependenciesACM Transactions on Database Systems, 1979
- The theory of joins in relational databasesACM Transactions on Database Systems, 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
- An authorization mechanism for a relational database systemACM Transactions on Database Systems, 1976
- Testing for the Church-Rosser PropertyJournal of the ACM, 1974