English
Related papers

Related papers: Database Repairing with Soft Functional Dependenci…

200 papers

Consistent Query Answering (CQA) is the problem of computing from a database the answers to a query that are consistent with respect to certain integrity constraints that the database, as a whole, may fail to satisfy. Consistent answers…

Databases · Computer Science 2007-05-23 Andrei Lopatenko , Leopoldo Bertossi

A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the constraints. In this paper we apply logic programming based on…

Databases · Computer Science 2007-05-23 Marcelo Arenas , Leopoldo Bertossi , Jan Chomicki

In this work we establish and investigate the connections between causality for query answers in databases, database repairs wrt. denial constraints, and consistency-based diagnosis. The first two are relatively new problems in databases,…

Databases · Computer Science 2014-07-01 Babak Salimi , Leopoldo Bertossi

The task of maximizing a monotone submodular function under a cardinality constraint is at the core of many machine learning and data mining applications, including data summarization, sparse regression and coverage problems. We study this…

Data Structures and Algorithms · Computer Science 2023-05-26 Silvio Lattanzi , Slobodan Mitrović , Ashkan Norouzi-Fard , Jakub Tarnawski , Morteza Zadimoghaddam

Rank and cardinality penalties are hard to handle in optimization frameworks due to non-convexity and discontinuity. Strong approximations have been a subject of intense study and numerous formulations have been proposed. Most of these can…

Optimization and Control · Mathematics 2021-07-12 Carl Olsson , Daniele Gerosa , Marcus Carlsson

The success of Constraint Programming relies partly on the global constraints and implementation of the associated filtering algorithms. Recently, new ideas emerged to improve these implementations in practice, especially regarding the all…

Artificial Intelligence · Computer Science 2025-02-06 Margaux Schmied , Jean-Charles Regin

In this work we establish and investigate connections between causality for query answers in databases, database repairs wrt. denial constraints, and consistency-based diagnosis. The first two are relatively new problems in databases, and…

Databases · Computer Science 2014-12-16 Babak Salimi , Leopoldo Bertossi

We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to enforce them. Unlike other more commonly accepted…

Databases · Computer Science 2010-09-14 L. Caroprese , M. Truszczynski

In this work we establish and investigate connections between causes for query answers in databases, database repairs wrt. denial constraints, and consistency-based diagnosis. The first two are relatively new research areas in databases,…

Databases · Computer Science 2016-10-25 Leopoldo Bertossi , Babak Salimi

In the multiple changepoint setting, various search methods have been proposed which involve optimising either a constrained or penalised cost function over possible numbers and locations of changepoints using dynamic programming. Such…

Computation · Statistics 2014-12-12 Kaylea Haynes , Idris A. Eckley , Paul Fearnhead

In the online bipartite matching with reassignments problem, an algorithm is initially given only one side of the vertex set of a bipartite graph; the vertices on the other side are revealed to the algorithm one by one, along with its…

Data Structures and Algorithms · Computer Science 2020-03-12 Yongho Shin , Kangsan Kim , Seungmin Lee , Hyung-Chan An

This paper provides a theoretical and numerical investigation of a penalty decomposition scheme for the solution of optimization problems with geometric constraints. In particular, we consider some situations where parts of the constraints…

Optimization and Control · Mathematics 2023-03-23 Matteo Lapucci , Christian Kanzow

The framework of consistent query answers and repairs has been introduced to alleviate the impact of inconsistent data on the answers to a query. A repair is a minimally different consistent instance and an answer is consistent if it is…

Databases · Computer Science 2009-02-19 Slawomir Staworko , Jan Chomicki

Integration is affected by the curse of dimensionality and quickly becomes intractable as the dimensionality of the problem grows. We propose a randomized algorithm that, with high probability, gives a constant-factor approximation of a…

Machine Learning · Computer Science 2013-02-28 Stefano Ermon , Carla P. Gomes , Ashish Sabharwal , Bart Selman

A correspondence between database tuples as causes for query answers in databases and tuple-based repairs of inconsistent databases with respect to denial constraints has already been established. In this work, answer-set programs that…

Databases · Computer Science 2020-09-30 Leopoldo Bertossi

A variant of the well-known Set Covering Problem is studied in this paper, where subsets of a collection have to be selected, and pairwise conflicts among subsets of items exist. The selection of each subset has a cost, and the inclusion of…

Optimization and Control · Mathematics 2025-04-22 Roberto Montemanni , Derek H. Smith

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

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

The chase is a fundamental algorithm with ubiquitous uses in database theory. Given a database and a set of existential rules (aka tuple-generating dependencies), it iteratively extends the database to ensure that the rules are satisfied in…

Logic in Computer Science · Computer Science 2025-05-23 David Carral , Lukas Gerlach , Lucas Larroque , Michaël Thomazo

We consider a matching problem in a bipartite graph $G=(A\cup B,E)$ where nodes in $A$ are agents having preferences in partial order over their neighbors, while nodes in $B$ are objects without preferences. We propose a polynomial-time…

Data Structures and Algorithms · Computer Science 2023-10-05 Telikepalli Kavitha , Tamás Király , Jannik Matuschke , Ildikó Schlotter , Ulrike Schmidt-Kraepelin