Yehoshua Sagiv, Mihalis Yannakakis. Equivalence among Relational Expressions with the Union and Difference Operation. In S. Bing Yao, editor, Fourth International Conference on Very Large Data Bases, September 13-15, 1978, West Berlin, Germany. pages 535-548, IEEE Computer Society, 1978. [doi]
Abstract is missing.