Journal of the ACM Bibliography

Ronald Fagin. Horn clauses and database dependencies. Journal of the ACM, 29(4):952-985, October 1982. [BibTeX entry]
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

Selected references


  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database