A Transaction{Based Approach to Relational Database Speci (1989)

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