Equivalence among Relational Expressions with the Union and Difference Operation.

Yehoshua Sagiv, Mihalis Yannakakis

Browse the full VLDB paper archive.