Paraconsistent Domain-relational Calculus

R. Bagai (USA)


Relational data model, Incomplete and inconsistent infor mation, Domain-relational calculus.


A paraconsistent database is one in which information may be incomplete and/or inconsistent. A data model that does not attempt to eliminate such incompleteness or inconsis tency, but rather is capable of functioning in their presence, has recently been developed. In this paper, we present a 4-valued domain-relational calculus for posing queries to paraconsistent databases based on that model. The syntax of our calculus is similar to that of the regular 2-valued re lational calculus on ordinary relational databases, but our new 4-valued semantics makes it a useful querying tool for applications containing incomplete and inconsistent infor mation. Moreover, as the model (out of necessity) freely permits infinite relations, the issue of safety of calculus ex pressions, that is so important in 2-valued systems, is not relevant any more.

Important Links:

Go Back