Datalog extensions for database queries and updates (1991)

by S Abiteboul, V Vianu
Venue:Journal of Computer and System Sciences