Consistent query answering is a principled approach for querying inconsistent databases. It relies on two basic notions: The notion of a repair, that is, a consistent database that "minimally"differs from the original one, and the notion of a consistent query answer, that is, a query answer that can be derived from every repair. In general, an inconsistent database can admit multiple repairs, each corresponding to a different way of restoring consistency, and the consistent query answering framework does not make any discrimination among them. However, in many applications it is natural and desired to express preferences among the different choices that can be made to resolve inconsistency. In this paper, we consider the framework of Prioritized Active Integrity Constraints (PAICs), a declarative and powerful form of active rules which enable users to express a wide range of integrity constraints along with preferences on how consistency should be restored. PAICs induce preferences among repairs, so that a set of "preferred"ones can be identified. Then, "preferred"query answers are naturally defined as query answers derived from preferred repairs only. We show how preferred repairs can be obtained from the preferred stable models of a prioritized logic program derived from a given a set of PAICs. Furthermore, we study the restricted class of Prioritized Active Functional Dependencies (PAFDs), which admits a unique preferred repair and for which query answering can be accomplished in polynomial time.

Consistent query answering with prioritized active integrity constraints

Greco S.;Molinaro C.;Trubitsyna I.;Zumpano E.
2020

Abstract

Consistent query answering is a principled approach for querying inconsistent databases. It relies on two basic notions: The notion of a repair, that is, a consistent database that "minimally"differs from the original one, and the notion of a consistent query answer, that is, a query answer that can be derived from every repair. In general, an inconsistent database can admit multiple repairs, each corresponding to a different way of restoring consistency, and the consistent query answering framework does not make any discrimination among them. However, in many applications it is natural and desired to express preferences among the different choices that can be made to resolve inconsistency. In this paper, we consider the framework of Prioritized Active Integrity Constraints (PAICs), a declarative and powerful form of active rules which enable users to express a wide range of integrity constraints along with preferences on how consistency should be restored. PAICs induce preferences among repairs, so that a set of "preferred"ones can be identified. Then, "preferred"query answers are naturally defined as query answers derived from preferred repairs only. We show how preferred repairs can be obtained from the preferred stable models of a prioritized logic program derived from a given a set of PAICs. Furthermore, we study the restricted class of Prioritized Active Functional Dependencies (PAFDs), which admits a unique preferred repair and for which query answering can be accomplished in polynomial time.
9781450375030
active integrity constraints
consistent query answering
database repairs
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/20.500.11770/308994
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact