Database Updating Revisited

We address the issue of updating derived data in universal relation interfaces and in deductive databases. The proposed approach consists in marking those facts whose deletions are desired, and in processing these marks so as to appropriately answer queries. The database semantics is given in a general framework by fixpoint construction of three derivation operators computing exceptions, positive and negative facts.

[1]  Nicolas Spyratos,et al.  Deleted tuples are useful when updating through universal scheme interfaces , 1992, [1992] Eighth International Conference on Data Engineering.

[2]  Nicolas Spyratos,et al.  Implementing Queries and Updates on Universal Scheme Interfaces , 1988, VLDB.

[3]  Paolo Atzeni,et al.  Updating Deductive Databases with Functional Dependencies , 1991, DOOD.

[4]  Paolo Atzeni,et al.  Updating databases in the weak instance model , 1989, PODS '89.

[5]  Marianne Winslett,et al.  A model-based approach to updating databases with incomplete information , 1988, TODS.

[6]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[7]  David Maier,et al.  The Theory of Relational Databases , 1983 .

[8]  Nicolas Spyratos,et al.  A Partition Model Approach to Updating Universal Scheme Interfaces , 1994, IEEE Trans. Knowl. Data Eng..

[9]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[10]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[11]  Letizia Tanca,et al.  Logic Programming and Databases , 1990, Surveys in Computer Science.

[12]  Paolo Atzeni,et al.  Updating intensional predicates in Datalog , 1992, Data Knowl. Eng..

[13]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[14]  Raymond Reiter,et al.  On Formalizing Database Updates: Preliminary Report , 1992, EDBT.

[15]  Nicolas Spyratos,et al.  Updating intensional predicates in deductive databases , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[16]  Robert A. Kowalski,et al.  Abduction Compared with Negation by Failure , 1989, ICLP.

[17]  Nicole Bidoit,et al.  Negation in Rule-Based Database Languages: A Survey , 1991, Theor. Comput. Sci..

[18]  Serge Abiteboul,et al.  Updates, A New Frontier , 1988, ICDT.

[19]  Nicolas Spyratos,et al.  Update semantics of relational views , 1981, TODS.

[20]  Alberto O. Mendelzon,et al.  Knowledgebase transformations , 1992, PODS '92.

[21]  Gottfried Vossen,et al.  Update and retrieval in a relational database through a universal schema interface , 1988, TODS.