Categories and Subject Descriptors: H.2.1 [Database Management]: Logical Design -- normal forms, scheme and subschema; H.2.4 [Database Management]: Systems -- query processing; F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic -- model theory
General Terms: Algorithms, Design, Theory
Additional Key Words and Phrases: Chase, expanded cover, extension join, functional dependency, independent database scheme, join dependency, lossless join, null value, query evaluation, relational algebra, relational database, representative instance, restricted projection, tableau, union of tableaux
Selected papers that cite this one
- Edward P. F. Chan and Héctor J. Hernández. Independence-reducible database schemes. Journal of the ACM, 38(4):854-886, October 1991.
Selected references
- Ashok K. Chandra and Philip M. Merlin. Optimal implementation of conjunctive queries in relational data bases. In Conference Record of the Ninth Annual ACM Symposium on Theory of Computing, pages 77-90, Boulder, Colorado, 2-4 May 1977.
- Peter Honeyman. Testing satisfaction of functional dependencies. Journal of the ACM, 29(3):668-677, July 1982.
- David Maier, Yehoshua Sagiv, and Mihalis Yannakakis. On the complexity of testing implications of functional and join dependencies. Journal of the ACM, 28(4):680-695, October 1981.
- Yehoshua Sagiv and Mihalis Yannakakis. Equivalences among relational expressions with the union and difference operators. Journal of the ACM, 27(4):633-655, October 1980.