Safety and Correct Translation of Relational Calculus Formulas

Allen Van Gelder, Rodney W. Topor. Safety and Correct Translation of Relational Calculus Formulas. In Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California. pages 313-327, ACM, 1987. [doi]

Authors

Allen Van Gelder

This author has not been identified. Look up 'Allen Van Gelder' in Google

Rodney W. Topor

This author has not been identified. Look up 'Rodney W. Topor' in Google