Querying Temporal Paraconsistent Databases

R. Bagai and G.S. Randhawa (USA)


Temporal databases, Incomplete and inconsistent information, Query construct select.


We present a method for querying databases that contain incomplete and/or inconsistent information that evolves over time. Such information abounds in application domains that frequently employ multiple, possibly contradicting, sensors to capture time varying behavior of evolving objects. Our querying method is constructed for a recent data model based on a 4-valued paraconsistent logic capable of handling such information. In particular, we propose a select-like construct and provide a 4-valued temporal semantics for this construct. Equipped with this semantics, our construct becomes an effective tool for querying such databases. We also give examples of expressing and evaluating queries using this construct.

Important Links:

Go Back