Equivalences Among Relational Expressions with the Union and Difference Operators

Yehoshua Sagiv, Mihalis Yannakakis. Equivalences Among Relational Expressions with the Union and Difference Operators. Journal of the ACM, 27(4):633-655, 1980. [doi]

Abstract

Abstract is missing.