English
Related papers

Related papers: Database Repairs and Analytic Tableaux

200 papers

Graph similarity search algorithms usually leverage the structural properties of a database. Hence, these algorithms are effective only on some structural variations of the data and are ineffective on other forms, which makes them hard to…

Databases · Computer Science 2021-04-01 Yodsawalai Chodpathumwan , Arash Termehchy , Stephen A. Ramsey , Aayam Shresta , Amy Glen , Zheng Liu

Assessing and improving the quality of data in data-intensive systems are fundamental challenges that have given rise to numerous applications targeting transformation and cleaning of data. However, while schema design, data cleaning, and…

Databases · Computer Science 2017-12-12 Rada Chirkova , Jon Doyle , Juan L. Reutter

Model-driven software engineering is a suitable method for dealing with the ever-increasing complexity of software development processes. Graphs and graph transformations have proven useful for representing such models and changes to them.…

Software Engineering · Computer Science 2023-07-19 Alexander Lauer

Data is inherently dirty and there has been a sustained effort to come up with different approaches to clean it. A large class of data repair algorithms rely on data-quality rules and integrity constraints to detect and repair the data. A…

Databases · Computer Science 2017-12-29 El Kindi Rezig , Mourad Ouzzani , Walid G. Aref , Ahmed K. Elmagarmid , Ahmed R. Mahmood

For a relation that violates a set of functional dependencies, we consider the task of finding a maximum number of pairwise-consistent tuples, or what is known as a "cardinality repair." We present a polynomial-time algorithm that, for…

Databases · Computer Science 2017-08-31 Ester Livshits , Benny Kimelfeld

Consistent query answering over a database that violates primary key constraints is a classical hard problem in database research that has been traditionally dealt with logic programming. However, the applicability of existing logic-based…

Artificial Intelligence · Computer Science 2015-07-23 Marco Manna , Francesco Ricca , Giorgio Terracina

We investigate practical algorithms for inconsistency-tolerant query answering over prioritized knowledge bases, which consist of a logical theory, a set of facts, and a priority relation between conflicting facts. We consider three…

Logic in Computer Science · Computer Science 2026-05-01 Meghyn Bienvenu , Camille Bourgaux

The relational data model requires a theory of relations in which tuples are not only many-sorted, but can also have indexes that are not necessarily numerical. In this paper we develop such a theory and define operations on relations that…

Databases · Computer Science 2012-02-08 Philip Kelly , M. H. van Emden

Many web databases can be seen as providing partial and overlapping information about entities in the world. To answer queries effectively, we need to integrate the information about the individual entities that are fragmented over multiple…

Databases · Computer Science 2011-02-01 Ravi Gummadi , Anupam Khulbe , Aravind Kalavagattu , Sanil Salvi , Subbarao Kambhampati

Methods for query answering over incomplete knowledge graphs retrieve entities that are likely to be answers, which is particularly useful when such answers cannot be reached by direct graph traversal due to missing edges. However, existing…

Artificial Intelligence · Computer Science 2026-05-25 Daniel Daza , Alberto Bernardi , Luca Costabello , Christophe Gueret , Masoud Mansoury , Michael Cochez , Martijn Schut

Classical approaches for OLAP assume that the data of all tables is complete. However, in case of incomplete tables with missing tuples, classical approaches fail since the result of a SQL aggregate query might significantly differ from the…

Databases · Computer Science 2021-05-27 Benjamin Hilprecht , Carsten Binnig

Database theory is exciting because it studies highly general and practically useful abstractions. Conjunctive query (CQ) evaluation is a prime example: it simultaneously generalizes graph pattern matching, constraint satisfaction, and…

Databases · Computer Science 2026-04-07 Mahmoud Abo Khamis , Hung Q. Ngo , Dan Suciu

We present a new application for keyword search within relational databases, which uses a novel algorithm to solve the join discovery problem by finding Memex-like trails through the graph of foreign key dependencies. It differs from…

Databases · Computer Science 2007-05-23 Richard Wheeldon , Mark Levene , Kevin Keenoy

Datasets may include errors, and specifically violations of integrity constraints, for various reasons. Standard techniques for ``minimal-cost'' database repairing resolve these violations by aiming for minimum change in the data, and in…

Databases · Computer Science 2024-10-23 Yuxi Liu , Fangzhu Shen , Kushagra Ghosh , Amir Gilad , Benny Kimelfeld , Sudeepa Roy

Recent efforts in data cleaning of structured data have focused exclusively on problems like data deduplication, record matching, and data standardization; none of the approaches addressing these problems focus on fixing incorrect attribute…

Databases · Computer Science 2015-07-01 Sushovan De , Yuheng Hu , Meduri Venkata Vamsikrishna , Yi Chen , Subbarao Kambhampati

Data Linkage is an important step that can provide valuable insights for evidence-based decision making, especially for crucial events. Performing sensible queries across heterogeneous databases containing millions of records is a complex…

Databases · Computer Science 2015-10-09 Mohammed Gollapalli

We show that database schema validation and update processing problems such as view updating, materialized view maintenance, integrity constraint checking, integrity constraint maintenance or condition monitoring can be classified as…

Databases · Computer Science 2007-05-23 Ernest Teniente , Toni Urpi

Inspired by the visualization of dental plaque at the dentist's office, this article proposes a novel visualization of redundancies in relational data. Our approach is based on a well-principled information-theoretic framework that has so…

Databases · Computer Science 2024-09-04 Christoph Köhnen , Stefan Klessinger , Jens Zumbrägel , Stefanie Scherzinger

Five new algorithms were proposed in order to optimize well conditioning of structural matrices. Along with decreasing the size and duration of analyses, minimizing analytical errors is a critical factor in the optimal computer analysis of…

Numerical Analysis · Mathematics 2021-09-21 Farzad S. Dizaji , Mehrdad S. Dizaji

This is Part II of a three article series on using databases for Finite Element Analysis (FEA). It discusses (1) db design, (2) data loading, (3) typical use cases during grid building, (4) typical use cases during simulation (get and put),…

Databases · Computer Science 2007-05-23 Gerd Heber , Jim Gray