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