Yehoshua Chaim Sagiv
-
Equivalences Among Relational Expressions with the Union and Difference Operators
Journal of the ACM (JACM)