The problem of managing and querying inconsistent databases has been deeply investigated in the last few years. As the problem of consistent query answering is hard in the general case, most of the techniques proposed so far have an exponential complexity. Polynomial techniques have been proposed only for restricted forms of constraints (such as functional dependencies) and queries. In this paper, a technique for computing "approximate" consistent answers in polynomial time is proposed, which works in the presence of a wide class of constraints (namely, full constraints) and Datalog queries. The proposed approach is based on a repairing strategy where update operations assigning an undefined truth value to the "reliability" of tuples are allowed, along with updates inserting or deleting tuples. The result of a repair can be viewed as a three-valued database which satisfies the specified constraints. In this regard, a new semantics (namely, partial semantics) is introduced for constraint satisfaction in the context of three-valued databases, which aims at capturing the intuitive meaning of constraints under three-valued logic. It is shown that, in order to compute "approximate" consistent query answers, it suffices to evaluate queries by taking into account a unique repair (called deterministic repair), which in some sense "summarizes" all the possible repairs. The so obtained answers are "approximate" in the sense that are safe (true and false atoms in the answers are, respectively, true and false under the classical two-valued semantics), but not complete.
A Three-Valued Semantics for Querying and Repairing Inconsistent Databases / Furfaro, Filippo; Greco, Sergio; Molinaro, Cristian. - In: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE. - ISSN 1012-2443. - 51(2-4):2-4(2007), pp. 167-193.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
|Titolo:||A Three-Valued Semantics for Querying and Repairing Inconsistent Databases|
|Data di pubblicazione:||2007|
|Citazione:||A Three-Valued Semantics for Querying and Repairing Inconsistent Databases / Furfaro, Filippo; Greco, Sergio; Molinaro, Cristian. - In: ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE. - ISSN 1012-2443. - 51(2-4):2-4(2007), pp. 167-193.|
|Appare nelle tipologie:||1.1 Articolo in rivista|