Rafail Ostrovsky, Charles Rackoff, Adam Smith. Efficient Consistency Proofs for Generalized Queries on a Committed Database. In Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella, editors, Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings. Volume 3142 of Lecture Notes in Computer Science, pages 1041-1053, Springer, 2004. [doi]
@inproceedings{OstrovskyRS04,
title = {Efficient Consistency Proofs for Generalized Queries on a Committed Database},
author = {Rafail Ostrovsky and Charles Rackoff and Adam Smith},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3142&spage=1041},
tags = {consistency, database},
researchr = {https://researchr.org/publication/OstrovskyRS04},
cites = {0},
citedby = {0},
pages = {1041-1053},
booktitle = {Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings},
editor = {Josep Díaz and Juhani Karhumäki and Arto Lepistö and Donald Sannella},
volume = {3142},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22849-7},
}