Algebra for Databases with Explicit Markings of Damaged Data

This paper deals with the management of data with different integrity grades, represented by marked data. In databases with explicit markings of damaged data, which integrity constraints apply depends on the markings of the referenced data. Correct data conform to the full set of integrity constraints while for data that is either damaged, but inessential or approximate, some integrity constraints can be relaxed. The main goal of this paper is to provide a foundation for marked databases extending the relational algebra. Results provided in this paper are preliminary, but they provide a pragmatic and reasonable approach without sacrificing the theoretical foundation.

[1]  V. S. Subrahmanian,et al.  Theory of Generalized Annotated Logic Programming and its Applications , 1992, J. Log. Program..

[2]  Dov M. Gabbay,et al.  Labelled Deductive Systems: Volume 1 , 1996 .

[3]  Arthur J. Bernstein,et al.  Bounded ignorance: a technique for increasing concurrency in a replicated system , 1994, TODS.

[4]  Sushil Jajodia,et al.  Applying formal methods to semantic-based decomposition of transactions , 1997, TODS.

[5]  James J. Lu.  Logic Programming with Signs and Annotations , 1996, J. Log. Comput..

[6]  V. S. Subrahmanian.  Paraconsistent disjunctive deductive databases , 1990, Proceedings of the Twentieth International Symposium on Multiple-Valued Logic.

[7]  Moshe Y. Vardi.  Why is Modal Logic So Robustly Decidable? , 1996, Descriptive Complexity and Finite Models.

[8]  C. J. Date.  Null Values in Database Management , 1982, BNCOD.

[9]  John Grant,et al.  Null Values in a Relational Data Base , 1977, Inf. Process. Lett..

[10]  Hector Garcia-Molina,et al.  Using semantic knowledge for transaction processing in a distributed database , 1983, TODS.

[11]  K. Selçuk Candan,et al.  A Unified Treatment of Null Values Using Constraints , 1995, Inf. Sci..

[12]  Rajshekhar Sunderraman,et al.  Indefinite and maybe information in relational databases , 1990, TODS.

[13]  Valeria De Antonellis,et al.  Relational Database Theory , 1993 .

[14]  Reiner Hähnle,et al.  Deduction in many-valued logics: a survey , 1997 .

[15]  M. Howard Williams,et al.  Coping with Indefinite and Negative Data in Deductive Databases: A Survey , 1987, Data Knowl. Eng..

[16]  Ashok K. Chandra.  Theory of database queries , 1988, PODS '88.

[17]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

[18]  Sushil Jajodia,et al.  Surviving information warfare attacks on databases , 1997, Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097).

[19]  R. Goldblatt.  Logics of Time and Computation , 1987 .

[20]  David C. Rine,et al.  Proceedings of the sixth international symposium on Multiple-valued logic , 1976 .