Model theoretic approach to view updates in deductive databases
scientific article; zbMATH DE number 947552