Serge Abiteboul Victor Vianu Datalog Extensions for Database Queries and Updates. 62-124 1991 43 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss43.html#AbiteboulV91