English
Related papers

Related papers: The View-Update Problem for Indefinite Databases

200 papers

In this paper, we explore the issue of inconsistency handling over prioritized knowledge bases (KBs), which consist of an ontology, a set of facts, and a priority relation between conflicting facts. In the database setting, a closely…

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

A method is presented for computing minimal answers in disjunctive deductive databases under the disjunctive stable model semantics. Such answers are constructed by repeatedly extending partial answers. Our method is complete (in that every…

Logic in Computer Science · Computer Science 2007-05-23 C. A. Johnson

We study consistent query answering in relational databases. We consider an expressive class of schema constraints that generalizes both tuple-generating dependencies and equality-generating dependencies. We establish the complexity of…

Databases · Computer Science 2022-07-20 Lorenzo Marconi , Riccardo Rosati

Data exchange is the problem of transforming data that is structured under a source schema into data structured under another schema, called the target schema, so that both the source and target data satisfy the relationship between the…

Databases · Computer Science 2019-02-18 Ladan Golshanara , Jan Chomicki

This paper discusses the challenges of incremental view maintenance for property graph queries. We select a subset of property graph queries and present an approach that uses nested relational algebra to allow incremental evaluation.

Databases · Computer Science 2017-12-13 Gábor Szárnyas

Previous work has demonstrated that categories are useful and expressive models for databases. In the present paper we build on that model, showing that certain queries and constraints correspond to lifting problems, as found in modern…

Category Theory · Mathematics 2019-02-20 David I. Spivak

This thesis investigates the central role of homomorphism problems (structure-preserving maps) in two complementary domains: database querying over finite, graph-shaped data, and constraint solving over (potentially infinite) structures.…

Logic in Computer Science · Computer Science 2025-10-10 Rémi Morvan

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-FROM-WHERE-GROUP BY format, where the WHERE-clause involves a…

Databases · Computer Science 2024-09-04 Aziz Amezian El Khalfioui , Jef Wijsen

Given a constraint $c$ assumed to hold on a database $B$ and an update $u$ to be performed on $B$, we address the following question: will $c$ still hold after $u$ is performed? When $B$ is a relational database, we define a confluent…

Data Structures and Algorithms · Computer Science 2007-05-23 A. Ai T -Bouziad , Irene Guessarian , L. Vieille

A Data Warehouse stores integrated information as materialized views over data from one or more remote sources. These materialized views must be maintained in response to actual relation updates in the remote sources. The data warehouse…

Software Engineering · Computer Science 2016-09-08 S. Prakasha , R. Selvarani

Whether it is for audit or for recovery purposes, data checkpointing is an important problem of distributed database systems. Actually, transactions establish dependence relations on data checkpoints taken by data object managers. So, given…

Databases · Computer Science 2007-05-23 R. Baldoni , F. Quaglia , M. Raynal

Probabilistic databases (PDBs) introduce uncertainty into relational databases by specifying probabilities for several possible instances. Traditionally, they are finite probability spaces over database instances. Such finite PDBs…

Databases · Computer Science 2019-04-12 Martin Grohe , Peter Lindner

The fusion of causal models with deep learning introducing increasingly intricate data sets, such as the causal associations within images or between textual components, has surfaced as a focal research area. Nonetheless, the broadening of…

Machine Learning · Computer Science 2023-11-03 Hang Chen , Keqing Du , Chenguang Li , Xinyu Yang

The research on non-prioritized revision studies revision operators which do not accept all new beliefs. In this paper, we contribute to this line of research by introducing the concept of dynamic-limited revision, which are revisions…

Artificial Intelligence · Computer Science 2021-08-18 Kai Sauerwald , Gabriele Kern-Isberner , Christoph Beierle

We study here the impact of priorities on conflict resolution in inconsistent relational databases. We extend the framework of repairs and consistent query answers. We propose a set of postulates that an extended framework should satisfy…

Databases · Computer Science 2007-05-23 Slawomir Staworko , Jan Chomicki

Normalized relational databases are a common method for storing data, but pulling out usable denormalized data for consumption generally requires either direct access to the source data or creation of an appropriate view or table by a…

Databases · Computer Science 2020-10-02 Sareen Shah

Deletion Propagation (DP) refers to a family of database problems rooted in the classical view-update problem: how to propagate intended deletions in a view (query output) back to the source database while satisfying constraints and…

Databases · Computer Science 2025-06-17 Neha Makhija , Wolfgang Gatterbauer

Many databases on the web are "hidden" behind (i.e., accessible only through) their restrictive, form-like, search interfaces. Recent studies have shown that it is possible to estimate aggregate query answers over such hidden web databases…

Databases · Computer Science 2014-05-02 Weimo Liu , Saravanan Thirumuruganathan , Nan Zhang , Gautam Das

This technical report provides some lightweight introduction and some generic use case scenarios motivating the definition of a database supporting uncertainties in both queries and data. This technical report is only providing the logical…

Databases · Computer Science 2020-01-01 Giacomo Bergami

The dynamics of belief and knowledge is one of the major components of any autonomous system that should be able to incorporate new pieces of information. In order to apply the rationality result of belief dynamics theory to various…

Logic in Computer Science · Computer Science 2015-01-28 Radhakrishnan Delhibabu
‹ Prev 1 3 4 5 6 7 10 Next ›