Datalog extensions for database queries and updates, (1991)

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