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]
@inproceedings{GelderT87, title = {Safety and Correct Translation of Relational Calculus Formulas}, author = {Allen Van Gelder and Rodney W. Topor}, year = {1987}, doi = {10.1145/28659.28693}, url = {http://doi.acm.org/10.1145/28659.28693}, tags = {translation}, researchr = {https://researchr.org/publication/GelderT87}, cites = {0}, citedby = {0}, pages = {313-327}, booktitle = {Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California}, publisher = {ACM}, isbn = {0-89791-223-3}, }