.SH References .PP There is a paper by Aho, Beeri and Ullman .[ Aho Beeri Ullman Theory Joins Relational .] and one with Beeri replaced by Sagiv. .[ Aho Sagiv Ullman Equivalence Relational Expressions .] Chandra and Merlin also contributed to the field. .[ Chandra Merlin Queries Relational .] .SH References .PP .[ $LIST$ .]