Categories and Subject Descriptors: F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic; H.2.1 [Database Management]: Logical Design -- schema and subschema
General Terms: Design, Languages, Theory
Additional Key Words and Phrases: Armstrong relation, Armstrong database, datbase dependencies, Horn clause, relational database, faithfulness
Selected papers that cite this one
- Catriel Beeri and Moshe Y. Vardi. On acyclic database decompositions. Information and Control, 61(2):75-84, May 1984.
- John Grant and Barry E. Jacobs. On the family of generalized dependency constraints. Journal of the ACM, 29(4):986-997, October 1982.
Selected references
- Catriel Beeri, Martin Dowd, Ronald Fagin, and Richard Statman. On the structure of Armstrong relations for functional dependencies. Journal of the ACM, 31(1):30-46, January 1984.
- Ronald Fagin. Horn clauses and database dependencies (extended abstract). In Conference Proceedings of the Twelfth Annual ACM Symposium on Theory of Computing, pages 123-134, Los Angeles, California, 28-30 April 1980.
- Seymour Ginsburg and Sami Mohammed Zaiddan. Properties of functional-dependency families. Journal of the ACM, 29(3):678-698, July 1982.
- John Grant and Barry E. Jacobs. On the family of generalized dependency constraints. Journal of the ACM, 29(4):986-997, October 1982.
- Robert A. Di Paola. The recursive unsolvability of the decision problem for the class of definite formulas. Journal of the ACM, 16(2):324-327, April 1969.
- Fereidoon Sadri and Jeffrey D. Ullman. Template dependencies: A large class of dependencies in relational databases and its complete axiomatization. Journal of the ACM, 29(2):363-372, April 1982.
- Yehoshua Sagiv, Claude Delobel, D. Stott Parker, Jr., and Ronald Fagin. An equivalence between relational database dependencies and a fragment of propositional logic. Journal of the ACM, 28(3):435-453, July 1981.
- Yehoshua Sagiv and Scott F. Walecka. Subset dependencies and a completeness result for a subclass of embedded multivalued dependencies. Journal of the ACM, 29(1):103-117, January 1982.
- Mihalis Yannakakis and Christos H. Papadimitriou. Algebraic dependencies (extended abstract). In 21st Annual Symposium on Foundations of Computer Science, pages 328-332, Syracuse, New York, 13-15 October 1980. IEEE.