behavior of database production rules : termination , confluence , and observable determinism
a alexander , w jennifer , mh joseph
proc . of the 1992 acm sigmod intâ ?? l conf . on management of & hellip ; ,