Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism.

Alexander Aiken, Jennifer Widom, Joseph M. Hellerstein

Browse the full SIGMOD paper archive.