Temporal paraconsistent relational algebra for incomplete and inconsistent information

Rajiv Bagai*, Mehmet A. Orgun

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

4 Citations (Scopus)

Abstract

We construct a framework for natural handling of incomplete and inconsistent information in temporal databases. Central to this framework are structures that we call time-varying paraconsistent relations, which are essentially 4-valued relations that vary over time. For such structures, we present an algebra based on temporal semantics in which there is no explicit manipulation of time indices, yet it is rich enough to express recursive equations as queries. The algebra is a consistent extension of the relational algebra; it supports basic algebraic equivalences, and has a well-defined formal semantics. We also provide many examples of queries expressed in this algebra. To our knowledge, our framework is the first treatment of inconsistent information in the context of temporal databases.

Original languageEnglish
Title of host publicationProceedings of the Annual Southeast Conference
Place of PublicationNew York
PublisherACM
Pages240-248
Number of pages9
Publication statusPublished - 1995
Externally publishedYes
EventProceedings of the 33rd Annual Southeast Conference - Clemson, CA, USA
Duration: 17 Mar 199518 Mar 1995

Other

OtherProceedings of the 33rd Annual Southeast Conference
CityClemson, CA, USA
Period17/03/9518/03/95

Fingerprint

Dive into the research topics of 'Temporal paraconsistent relational algebra for incomplete and inconsistent information'. Together they form a unique fingerprint.

Cite this