Behavior of database production rules: Termination, confluence, and observable determinismAlexander AikenJennifer Widomet al.1992SIGMOD 1992
Extensible/Rule Based Query Rewrite Optimization in StarburstHamid PiraheshJoseph M. Hellersteinet al.1992SIGMOD Record