Fagin, Ronald Horn clauses and database dependencies. (English) Zbl 0493.68092 J. Assoc. Comput. Mach. 29, 952-985 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 60 Documents MSC: 68P20 Information storage and retrieval of data 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) Keywords:Armstrong relation; Armstrong database; database dependencies; Horn clause; relational database; faithfulness PDFBibTeX XMLCite \textit{R. Fagin}, J. Assoc. Comput. Mach. 29, 952--985 (1982; Zbl 0493.68092) Full Text: DOI