English
Related papers

Related papers: The Complexity of Counting Problems over Incomplet…

200 papers

Causality has been recently introduced in databases, to model, characterize, and possibly compute causes for query answers. Connections between QA-causality and consistency-based diagnosis and database repairs (wrt. integrity constraint…

Databases · Computer Science 2017-08-01 Leopoldo Bertossi , Babak Salimi

In this paper, we study the data complexity of querying inconsistent weighted description logic (DL) knowledge bases under recently-introduced cost-based semantics. In a nutshell, the idea is to assign each interpretation a cost based upon…

Artificial Intelligence · Computer Science 2025-11-17 Meghyn Bienvenu , Quentin Manière

In this tutorial, we will survey known results on the complexity of conjunctive query evaluation in different settings, ranging from Boolean queries over counting to more complex models like enumeration and direct access. A particular focus…

Databases · Computer Science 2025-06-24 Stefan Mengel

We study the problem of query evaluation on probabilistic graphs, namely, tuple-independent probabilistic databases over signatures of arity two. We focus on the class of queries closed under homomorphisms, or, equivalently, the infinite…

Databases · Computer Science 2023-06-22 Antoine Amarilli , İsmail İlkan Ceylan

We develop an approach to incorporate additional knowledge, in the form of general purpose integrity constraints (ICs), to reduce uncertainty in probabilistic databases. While incorporating ICs improves data quality (and hence quality of…

Databases · Computer Science 2009-07-10 Naveen Ashish , Sharad Mehrotra , Pouria Pirzadeh

In this paper we study the problem of reducing the evaluation costs of queries on finite databases in presence of integrity constraints, by designing and materializing views. Given a database schema, a set of queries defined on the schema,…

Databases · Computer Science 2007-05-23 Rada Chirkova , Michael R. Genesereth

We propose a generic numerical measure of the inconsistency of a database with respect to a set of integrity constraints. It is based on an abstract repair semantics. In particular, an inconsistency measure associated to cardinality-repairs…

Databases · Computer Science 2019-01-23 Leopoldo Bertossi

We introduce the completeness problem for Modal Logic and examine its complexity. For a definition of completeness for formulas, given a formula of a modal logic, the completeness problem asks whether the formula is complete for that logic.…

Logic in Computer Science · Computer Science 2017-09-20 Antonis Achilleos

In this paper, we study the query complexity of Boolean functions in the presence of uncertainty, motivated by parallel computation with an unlimited number of processors where inputs are allowed to be unknown. We allow each query to…

Computational Complexity · Computer Science 2025-07-02 Deepu Benson , Balagopal Komarath , Nikhil Mande , Sai Soumya Nalli , Jayalal Sarma , Karteek Sreenivasaiah

The 1-in-3 and Not-All-Equal satisfiability problems for Boolean CNF formulas are two well-known NP-hard problems. In contrast, the promise 1-in-3 vs. Not-All-Equal problem can be solved in polynomial time. In the present work, we…

Computational Complexity · Computer Science 2025-05-09 Lorenzo Ciardo , Marcin Kozik , Andrei Krokhin , Tamio-Vesa Nakajima , Stanislav Živný

Dichotomy theorems, which characterize the conditions under which a problem can be solved efficiently, have helped identify important tractability borders for as probabilistic query evaluation, view maintenance, query containment (among…

Databases · Computer Science 2024-05-09 Neha Makhija

The constraint satisfaction problem, parameterized by a relational structure, provides a general framework for expressing computational decision problems. Already the restriction to the class of all finite structures forms an interesting…

Logic in Computer Science · Computer Science 2024-02-15 Jakub Rydval , Žaneta Semanišinová , Michał Wrona

We study here fundamental issues involved in top-k query evaluation in probabilistic databases. We consider simple probabilistic databases in which probabilities are associated with individual tuples, and general probabilistic databases in…

Databases · Computer Science 2009-06-08 Xi Zhang , Jan Chomicki

In this paper, building on work done on measuring inconsistency in knowledge bases, we introduce inconsistency measures for databases. In particular, focusing on databases with denial constraints, we first consider the natural approach of…

Databases · Computer Science 2019-04-09 Francesco Parisi , John Grant

The low-rank matrix completion problem asks whether a given real matrix with missing values can be completed so that the resulting matrix has low rank or is close to a low-rank matrix. The completed matrix is often required to satisfy…

Computational Complexity · Computer Science 2025-06-24 Dror Chawin , Ishay Haviv

We investigate the computational complexity of the problem of counting the maximal satisfying assignments of a Constraint Satisfaction Problem (CSP) over the Boolean domain {0,1}. A satisfying assignment is maximal if any new assignment…

Computational Complexity · Computer Science 2016-05-17 Leslie Ann Goldberg , Mark Jerrum

Studying the computational complexity of problems is one of the - if not the - fundamental questions in computer science. Yet, surprisingly little is known about the computational complexity of many central problems in data mining. In this…

Computational Complexity · Computer Science 2017-09-05 Stefan Neumann , Pauli Miettinen

Multi-column dependencies in relational databases come associated with two different computational tasks. The detection problem is to decide whether a dependency of a certain type and size holds in a given database, the discovery problem…

Data Structures and Algorithms · Computer Science 2021-03-25 Thomas Bläsius , Tobias Friedrich , Martin Schirneck

Preference analysis is widely applied in various domains such as social choice and e-commerce. A recently proposed framework augments the relational database with a preference relation that represents uncertain preferences in the form of…

Databases · Computer Science 2020-03-17 Haoyue Ping , Julia Stoyanovich , Benny Kimelfeld

An uncertain database is defined as a relational database in which primary keys need not be satisfied. A repair (or possible world) of such database is obtained by selecting a maximal number of tuples without ever selecting two distinct…

Databases · Computer Science 2013-01-08 Jef Wijsen