Serge Abiteboul, Victor Vianu. A Transcation Language Complete for Database Update and Specification. In Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California. pages 260-268, ACM, 1987. [doi]
@inproceedings{AbiteboulV87,
title = {A Transcation Language Complete for Database Update and Specification},
author = {Serge Abiteboul and Victor Vianu},
year = {1987},
doi = {10.1145/28659.28688},
url = {http://doi.acm.org/10.1145/28659.28688},
tags = {completeness, database},
researchr = {https://researchr.org/publication/AbiteboulV87},
cites = {0},
citedby = {0},
pages = {260-268},
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},
}