db/journals/jacm/Fagin82.html Ronald Fagin Horn clauses and database dependencies. 952-985 1982 29 J. ACM 4 http://doi.acm.org/10.1145/322344.322347 db/journals/jacm/jacm29.html#Fagin82 JACM/29/P0952.pdf