Safety of recursive Horn clauses with infinite relations

doi:10.1145/28659.28694

Safety of recursive Horn clauses with infinite relations

Full Text:

PDF

Get this Article

Authors:	R. Ramakrishnan	University of Texas at Austin. Austin, Texas and MCC, 9430 Research Blvd. Austin, Texas
	F. Bancilhon	MCC, 9430 Research Blvd. Austin, Texas
	A. Silberschatz	University of Texas at Austin. Austin, Texas

Published in:

· Proceeding

PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Pages 328-339

San Diego, California, USA — March 23 - 25, 1987
ACM New York, NY, USA ©1987
table of contents ISBN:0-89791-223-3 doi>10.1145/28659.28694