Equivalence and optimization of relational transactions (1988)

by S Abiteboul, V Vianu
Venue:Journal of the ACM