Consistent query answering (CQA) aims to deliver meaningful answers when queries are evaluated over inconsistent databases. Such answers must be certainly true in all repairs, which are consistent databases whose difference from the inconsistent one is somehow minimal. An interesting task in this context is to count the number of repairs that entail the query. This problem has been already studied for conjunctive queries and primary keys; we know that it is #P-complete in data complexity under polynomial-time Turing reductions (a.k.a. Cook reductions). However, as it has been already observed in the literature of counting complexity, there are problems that are "hard-to-count-easy-to-decide", which cannot be complete (under reasonable assumptions) for #P under weaker reductions, and, in particular, under standard many-one logspace reductions (a.k.a. parsimonious reductions). For such "hard-to-count-easy-to-decide" problems, a crucial question is whether we can determine their exact complexity by looking for subclasses of #P to which they belong. Ideally, we would like to show that such a problem is complete for a subclass of #P under many-one logspace reductions. The main goal of this work is to perform such a refined analysis for the problem of counting the number of repairs under primary keys that entail the query.

Counting database repairs under primary keys revisited / Calautti, M.; Console, M.; Pieris, A.. - (2019), pp. 104-118. (Intervento presentato al convegno 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. PODS 2019, held in conjunction with the 2019 ACM SIGMOD International Conference on Management of Data, SIGMOD 2019 tenutosi a Amsterdam, The Netherlands) [10.1145/3294052.3319703].

Counting database repairs under primary keys revisited

Console M.;
2019

Abstract

Consistent query answering (CQA) aims to deliver meaningful answers when queries are evaluated over inconsistent databases. Such answers must be certainly true in all repairs, which are consistent databases whose difference from the inconsistent one is somehow minimal. An interesting task in this context is to count the number of repairs that entail the query. This problem has been already studied for conjunctive queries and primary keys; we know that it is #P-complete in data complexity under polynomial-time Turing reductions (a.k.a. Cook reductions). However, as it has been already observed in the literature of counting complexity, there are problems that are "hard-to-count-easy-to-decide", which cannot be complete (under reasonable assumptions) for #P under weaker reductions, and, in particular, under standard many-one logspace reductions (a.k.a. parsimonious reductions). For such "hard-to-count-easy-to-decide" problems, a crucial question is whether we can determine their exact complexity by looking for subclasses of #P to which they belong. Ideally, we would like to show that such a problem is complete for a subclass of #P under many-one logspace reductions. The main goal of this work is to perform such a refined analysis for the problem of counting the number of repairs under primary keys that entail the query.
2019
38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. PODS 2019, held in conjunction with the 2019 ACM SIGMOD International Conference on Management of Data, SIGMOD 2019
Approximation schemes; Complexity; Counting; First-order queries; Inconsistency; Primary keys; Repairs
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Counting database repairs under primary keys revisited / Calautti, M.; Console, M.; Pieris, A.. - (2019), pp. 104-118. (Intervento presentato al convegno 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. PODS 2019, held in conjunction with the 2019 ACM SIGMOD International Conference on Management of Data, SIGMOD 2019 tenutosi a Amsterdam, The Netherlands) [10.1145/3294052.3319703].
File allegati a questo prodotto
File Dimensione Formato  
Calautti_Counting-database_2019.pdf

accesso aperto

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Creative commons
Dimensione 1.93 MB
Formato Adobe PDF
1.93 MB Adobe PDF

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: https://hdl.handle.net/11573/1501968
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 15
  • ???jsp.display-item.citation.isi??? 10
social impact