An Axiomatic Approach to Deciding Query Safety in Deductive Databases.

Michael Kifer, Raghu Ramakrishnan, Abraham Silberschatz

Browse the full PODS paper archive.