Equivalences among relational expressions with the union and difference operators (1980)

by Y Sagiv, M Yannakakis
Venue:J. ACM