A Logic-based Language for Database Updates.

Sanjay Manchanda David Scott Warren A Logic-based Language for Database Updates. 363-394 Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann 1988 0-934613-40-0 db/books/collections/minker88.html#ManchandraW88