Lecture notes in computer science vol:528 pages:147-158
3rd International Symposium, PLILP '91 location:Passau, Germany date:August 26–28, 1991
A formal specification of a set of reasonable database update views is presented. Each reasonable database update view is a superset of the minimal view and a subset of the maximal view. Both the logical view and the immediate update view are special cases. It is then argued that the only view attractive for implementing as well as for explaining to users of a Prolog system, is the minimal view.