Behavior of database production rules: termination, confluence, and observable determinism (1992)

by A Aiken, J Widom, J M Hellerstein
Venue:In Proc. of ACM SIGMOD