Safety of recursive Horn clauses with infinite relations (1987)

by R Ramakrishnan, F Bancilhon, A Silberschatz
Venue:Proc. Sixth ACM Symp. Principles of Database Systems