Journal of the ACM Bibliography

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.

Shortcuts: