Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism (1992)

by A Aiken, J Widom, J Hellerstein
Venue:In Proc. ACM SIGMOD International Conference on Management of Data