Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein
Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism
SIGMOD, 1992.
@inproceedings{SIGMOD-1992-AikenWH, author = "Alexander Aiken and Jennifer Widom and Joseph M. Hellerstein", booktitle = "{Proceedings of the 22nd ACM SIGMOD International Conference on Management of Data}", cdrom = "SIGMOD92/P059.PDF", doi = "10.1145/130283.130296", pages = "59--68", title = "{Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism}", year = 1992, }