Raghu Ramakrishnan, François Bancilhon, Abraham Silberschatz
Safety of Recursive Horn Clauses With Infinite Relations
PODS, 1987.
@inproceedings{PODS-1987-RamakrishnanBS,
author = "Raghu Ramakrishnan and François Bancilhon and Abraham Silberschatz",
booktitle = "{Proceedings of the Sixth Symposium on Principles of Database Systems}",
cdrom = "['journals/anthology/cd1-3:PODS87/P328.PDF', 'journals/anthology/dvd1:text/1-3/PODS87/P328.PDF']",
doi = "10.1145/28659.28694",
isbn = "0-89791-223-3",
pages = "328--339",
publisher = "{ACM}",
title = "{Safety of Recursive Horn Clauses With Infinite Relations}",
year = 1987,
}