Tractable circuits in database theory

A Amarilli, F Capelli - ACM SIGMOD Record, 2024 - dl.acm.org
This work reviews how database theory uses tractable circuit classes from knowledge
compilation. We present relevant query evaluation tasks, and notions of tractable circuits …

Consistent query answering for primary keys on rooted tree queries

P Koutris, X Ouyang, J Wijsen - Proceedings of the ACM on Management …, 2024 - dl.acm.org
We study the data complexity of consistent query answering (CQA) on databases that may
violate the primary key constraints. A repair is a maximal subset of the database satisfying …

Computing Range Consistent Answers to Aggregation Queries via Rewriting

A Amezian El Khalfioui, J Wijsen - … of the ACM on Management of Data, 2024 - dl.acm.org
We consider the problem of answering conjunctive queries with aggregation on database
instances that may violate primary key constraints. In SQL, these queries follow the SELECT …

[PDF][PDF] A Comparative Study of Ranking Formulas Based on Consistency.

B Raddaoui, C Straßer, S Jabbour - IJCAI, 2023 - ijcai.org
Ranking is ubiquitous in everyday life. This paper is concerned with the problem of ranking
information of a knowledge base when this latter is possibly inconsistent. In particular, the …

Consistent query answering for primary keys and conjunctive queries with counting

AAE Khalfioui, J Wijsen - arXiv preprint arXiv:2211.04134, 2022 - arxiv.org
The problem of consistent query answering for primary keys and self-join-free conjunctive
queries has been intensively studied in recent years and is by now well understood. In this …

A dichotomy in consistent query answering for primary keys and unary foreign keys

M Hannula, J Wijsen - Proceedings of the 41st ACM SIGMOD-SIGACT …, 2022 - dl.acm.org
Since 2005, significant progress has been made in the problem of Consistent Query
Answering (CQA) with respect to primary keys. In this problem, the input is a database …

[HTML][HTML] Indistinguishability in controlled query evaluation over prioritized description logic ontologies

G Cima, D Lembo, L Marconi, R Rosati… - Journal of Web …, 2025 - Elsevier
In this paper we study Controlled Query Evaluation (CQE), a declarative approach to privacy-
preserving query answering over databases, knowledge bases, and ontologies. CQE is …

Parameterised Complexity of Consistent Query Answering via Graph Representations

T Hankala, M Hannula, Y Mahmood, A Meier - arXiv preprint arXiv …, 2024 - arxiv.org
We study consistent query answering via different graph representations. First, we introduce
solution-conflict hypergraphs in which nodes represent facts and edges represent either …

Computing Repairs Under Functional and Inclusion Dependencies via Argumentation

Y Mahmood, J Virtema, T Barlag… - … on Foundations of …, 2024 - Springer
We discover a connection between finding subset-maximal repairs for sets of functional and
inclusion dependencies, and computing extensions within argumentation frameworks (AFs) …

Enumeration of Minimal Hitting Sets Parameterized by Treewidth

B Kenig, DS Mizrahi - arXiv preprint arXiv:2408.15776, 2024 - arxiv.org
Enumerating the minimal hitting sets of a hypergraph is a problem which arises in many data
management applications that include constraint mining, discovering unique column …