Datalog extensions for database queries and updates (1991)

by S Abiteboul, V Vianu
Venue:J. Comput. Syst. Sci