On the semantics of updates in databases

ABSTRACT

We suggest here a methodology for updating databases with integrity constraints and rules for deriving inexphcit information. First we consider the problem of updating arbitrary theories by inserting into them or deleting from them arbitrary sentences. The solution involves two key ideas when replacing an old theory by a new one we wish to minimize the change in the theory, and when there are several theories that involve minimal changes, we look for a new theory that reflects that ambiguity. The methodology is also adapted to updating databases, where different facts can carry different priorities, and to updating user views.

REFERENCES

• 1: {Be} Beth, EW On Padoa's method in the theory of definitions Indag Math 15 (1953), pp 330-339
• 2: F. Bancilhon , N. Spyratos, Update semantics of relational views, ACM Transactions on Database Systems (TODS), v.6 n.4, p.557-575, Dec. 1981 [doi>10.1145/319628.319634]
• 3: {CA} Carlson, CR, Arora, AK The updatability of relational views based on functional dependencies Proc IEEE COMPSAC, 1979, pp 415-420
• 4: {Cl} Clemons, EK An external schema facility to support database update In Database, Academic Press, 1978
• 5: {Da} Dayal, U Schema mapping problems in database systems Technical Report TR-11-79, Center for Research in Computing Technology, Harvard University, 1979
• 6: {DB1} Dayal, U, Bernstein, PA On the updatability of relational views Proc 4th Int'l Conf on VLDB, Berlin, 1978, pp 368-377
• 7: Umeshwar Dayal , Philip A. Bernstein, On the correct translation of update operations on relational views, ACM Transactions on Database Systems (TODS), v.7 n.3, p.381-416, Sept. 1982 [doi>10.1145/319732.319740]
• 8: Jon Doyle , Philip London, A selected descriptor-indexed bibliography to the literature on belief revision, ACM SIGART Bulletin [doi>10.1145/1056441.1056442]
• 9: {FS} Furtado, AL, Sevcik, KC Permitting updates through views of databases Inf Syst. 4 (1979), pp 269-283
• 10: {Ja1} Jacobs, BE On interpretations in database logic and their applications Technical Report TR 815, Dept of Computer Science, University of Maryland at College Park, 1979
• 11: {Ja2} Jacobs, BE. Application of database logic to the view update problem Technical Report TR 960, Dept of Computer Science, University of Maryland at College Park, 1980
• 12: S. Jerrold Kaplan , Jim Davidson, Interpreting natural language database updates, Proceedings of the 19th annual meeting on Association for Computational Linguistics, June 29-July 01, 1981, Stanford, California [doi>10.3115/981923.981961]
• 13: {Ke} Keller, AM Updates to relational databases through views involving joins In Improving database usability and responsiveness (P Scheuermann, ed), Academic Press, 1982, pp 363-384
• 14: {Kl} Klug, AC. Theory of database mapping Technical Report CSRG-98, Dept of Computer Science, University of Toronto, 1978
• 15: {Ko} Kowalski, R Logic as database language Unpublished Manuscript, Dept. of Computing, Imperial College, London, 1981
• 16: {Mi} Minker, J On indefinite databases and the closed world assumption Technical Report TR-1076, Dept of Computer Science, University of Maryland at College Park, July 1981
• 17: David Maier , Jeffrey D. Ullman , Moshe Y. Vardi, The revenge of the JD, Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems, March 21-23, 1983, Atlanta, Georgia [doi>10.1145/588058.588090]
• 18: {NG} Nicolas, JM, Gallaire, H Database --- theory vs interpretation In Logic and Databases (H Gallaire and J Minker, eds), Plenum Press, 1978, pp 33-54
• 19: {NY} Nicolas, JM, Yazdanian, K Integrity checking in deductive databases In Logic and Databases (H Gallaire and J Minker, eds), Plenum Press, 1978, pp 325-344
• 20: {Os} Osman, IM Updating defined relations Proc. Nat'l Computer Conf, Vol 48,, AFIP Press, 1979, pp 733-740
• 21: {Rei} Reiter, R Towards a logical reconstruction of relational database theory Unpublished Manuscript, University of British Columbia, 1981
• 22: {Res} Resher, N. Hypothetical Reasoning, North-Holland, Amsterdam, 1964
• 23: {Sc} Sciore, E The universal instance and database design Technical Report TR-271, Dept. of EECS, Princeton University, 1980
• 24: {To} Todd, S. Automatic constraint maintenance and updating defined relations Proc IFIP 77 (B Gilchrist, ed), North-Holland, 1977, pp 145-148