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

by Y Sagiv, Yannakakis
Venue:J. ACM