A paraconsistent relational data model

We present a generalisation of the relational data model based on a 4-valued paraconsistent logic. Our data model is capable of manipulating incomplete as well as inconsistent information. For this model, we define algebraic operators that are generalisations of the usual operators, such as union, selection, join, on ordinary relations. Our data model can underlie any database management system that deals with incomplete or inconsistent information. As another application of our model and its algebra, we present a bottom-up method for constructing the weak well-founded model of general deductive databases. This method can be very simply extended to construct the well-founded model.

[1]  E. F. Codd,et al.  A Relational Model for Large Shared Data Banks , 1970 .

[2]  Newton C. A. da Costa,et al.  On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..

[3]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[4]  Newton C. A. da Costa,et al.  A semantical analysis of the calculi Cn , 1977, Notre Dame J. Formal Log..

[5]  John Grant,et al.  Partial Values in a Tabular Database Model , 1979, Inf. Process. Lett..

[6]  Witold Lipski,et al.  On semantic issues connected with incomplete information databases , 1979, ACM Trans. Database Syst..

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

[8]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.

[9]  Joachim Biskup,et al.  A foundation of CODD's relational maybe-operations , 1983, TODS.

[10]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

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

[12]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[13]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

[14]  Tomasz Imielinski,et al.  Incomplete Information in Relational Databases , 1984, JACM.

[15]  Melvin Fitting,et al.  A Kripke-Kleene Semantics for Logic Programs , 1985, J. Log. Program..

[16]  E. F. Codd,et al.  Missing information (applicable and inapplicable) in relational databases , 1986, SGMD.

[17]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[18]  Arun K. Majumdar,et al.  Fuzzy Functional Dependencies and Lossless Join Decomposition of Fuzzy Relational Database Systems , 1988, ACM Trans. Database Syst..

[19]  Rajshekhar Sunderraman,et al.  On representing indefinite and maybe information in relational databases , 1988, Proceedings. Fourth International Conference on Data Engineering.

[20]  V. S. Subrahmanian,et al.  Paraconsistent Logic Programming , 1987, Theor. Comput. Sci..

[21]  M. Bezem,et al.  On downward closure ordinals of logic programs , 1990 .

[22]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

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

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

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

[26]  R. Sunderraman,et al.  A Generalized Relational Model for Indefinite and Maybe Information , 1991, IEEE Trans. Knowl. Data Eng..

[27]  Subrata Kumar Das,et al.  Deductive Databases and Logic Programming , 1992 .

[28]  James Bradley.  An Object-Relationship Diagrammatic Technique for Object-Oriented Database Definitions , 1992 .

[29]  Edward P. F. Chan.  A Possible World Semantics for Disjunctive Databases , 1993, IEEE Trans. Knowl. Data Eng..

[30]  Rajshekhar Sunderraman,et al.  Deductive Databases with Conditional Facts , 1993, BNCOD.

[31]  Carolina Ruiz,et al.  On Extended Disjunctive Logic Programs , 1993, ISMIS.

[32]  Shamim A. Naqvi,et al.  Using Constraints for Efficient Query Processing in Nondeterministic Databases , 1995, IEEE Trans. Knowl. Data Eng..