Safety of recursive Horn clauses with in nite relations (1987)

by R Ramakrishnan, F Bancilhon, A Silberschatz
Venue:In Proceedings of the Sixth ACM Symposium on Principles of Database Systems