English
Related papers

Related papers: The View-Update Problem for Indefinite Databases

200 papers

We study the classical incremental view maintenance problem: Given a query and a database, maintain the query output under single-tuple updates (inserts or deletes) to the database such that the tuples in the query output can be enumerated…

Databases · Computer Science 2026-05-12 Mahmoud Abo-Khamis , Eden Chmielewski , Andrei Draghici , Ahmet Kara , Dan Olteanu

Consistent answers to a query from a possibly inconsistent database are answers that are simultaneously retrieved from every possible repair of the database. Repairs are consistent instances that minimally differ from the original…

Databases · Computer Science 2021-10-20 Leopoldo Bertossi

We address the problem of minimal-change integrity maintenance in the context of integrity constraints in relational databases. We assume that integrity-restoration actions are limited to tuple deletions. We identify two basic computational…

Databases · Computer Science 2007-05-23 Jan Chomicki , Jerzy Marcinkowski

In this article I introduce a new communication theory for complex information represented as a direct graph of nodes. In addition, I introduce an application for the theory, a new radical method, embed, that can be used to update object…

Databases · Computer Science 2016-04-11 Heikki Virkkunen

We investigate the notion of sufficient explanation, and a sufficiency-degree as attribution score for database tuples in relation to query answering. We also investigate and exploit connections with database repairs as used for dealing…

Databases · Computer Science 2026-05-18 Leopoldo Bertossi , Nina Pardal

Certain answers are a principled method for coping with uncertainty that arises in many practical data management tasks. Unfortunately, this method is expensive and may exclude useful (if uncertain) answers. Thus, users frequently resort to…

Databases · Computer Science 2019-04-02 Su Feng , Aaron Huber , Boris Glavic , Oliver Kennedy

A set of views defined by selection queries splits a database relation into sub-relations, each containing a subset of the original rows. This decomposition into horizontal fragments is lossless when the initial relation can be…

Databases · Computer Science 2015-06-12 Ingo Feinerer , Enrico Franconi , Paolo Guagliardo

We consider the evaluation of first-order queries over classes of databases that have bounded degree and low degree. More precisely, given a query and a database, we want to efficiently test whether there is a solution, count how many…

Logic in Computer Science · Computer Science 2020-10-08 Alexandre Vigny

This paper concerns an expansion of first-order Belnap-Dunn logic, named $\mathrm{BD}^{\supset,\mathsf{F}}$, and an application of this logic in the area of relational database theory. The notion of a relational database, the notion of a…

Databases · Computer Science 2024-03-15 C. A. Middelburg

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 probabilistic database with attribute-level uncertainty consists of relations where cells of some attributes may hold probability distributions rather than deterministic content. Such databases arise, implicitly or explicitly, in the…

Databases · Computer Science 2022-12-26 Amir Gilad , Aviram Imber , Benny Kimelfeld

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

View update is the problem of translating an update to a view to some updates to the source data of the view. In this paper, we show the factors determining XML view update translation, propose a translation procedure, and propose…

Databases · Computer Science 2013-02-11 Jixue Liu , Chengfei Liu , Theo Haerder , Jeffery Xu Yu

The connection between inconsistent databases and Dung's abstract argumentation framework has recently drawn growing interest. Specifically, an inconsistent database, involving certain types of integrity constraints such as functional and…

Logic in Computer Science · Computer Science 2024-12-17 Yasir Mahmood , Markus Hecher , Axel-Cyrille Ngonga Ngomo

In recent years, there has been significant progress in the development of deep learning models over relational databases, including architectures based on heterogeneous graph neural networks (hetero-GNNs) and heterogeneous graph…

Databases · Computer Science 2026-01-13 Agapi Rissaki , Ilias Fountalis , Wolfgang Gatterbauer , Benny Kimelfeld

In database theory, the term $\textit{database transformation}$ was used to refer to a unifying treatment for computable queries and updates. Recently, it was shown that non-deterministic database transformations can be captured exactly by…

Logic in Computer Science · Computer Science 2017-06-01 Flavio Ferrarotti , Klaus-Dieter Schewe , Loredana Tec , Qing Wang

Integrating deep learning and causal discovery has encouraged us to spot that learning causal structures and representations in dialogue and video is full of challenges. We defined These data forms as "Indefinite Data", characterized by…

Machine Learning · Computer Science 2024-01-17 Hang Chen , Xinyu Yang , Keqing Du

Databases, and datasets more generally, evolve continuously through updates, transformations, versioning, schema changes, streaming operations, and other mechanisms. While prior work has noted connections among some of these areas, they…

Databases · Computer Science 2026-05-04 Amol Deshpande

We study the problem of deciding satisfiability of first order logic queries over views, our aim being to delimit the boundary between the decidable and the undecidable fragments of this language. Views currently occupy a central place in…

Logic in Computer Science · Computer Science 2008-12-18 James Bailey , Guozhu Dong , Anthony Widjaja To

Big data analysis has become an active area of study with the growth of machine learning techniques. To properly analyze data, it is important to maintain high-quality data. Thus, research on data cleaning is also important. It is difficult…

Databases · Computer Science 2019-10-25 Toshiyuki Shimizu , Hiroki Omori , Masatoshi Yoshikawa