Abstract:In this paper, we revisit the view update problem in a relational setting and propose a framework based on the notion of determinacy under constraints. Within such a framework, we characterise when a view mapping is invertible, establishing that this is the case precisely when each database symbol has an exact rewriting in terms of the view symbols under the given constraints, and we provide a general effective criterion to understand whether the changes introduced by a view update can be propagated to the underlying database relations in a unique and unambiguous way. Afterwards, we show how determinacy under constraints can be checked, and rewritings effectively found, in three different relevant scenarios in the absence of view constraints. First, we settle the long-standing open issue of how to solve the view update problem in a multi-relational database with views that are projections of joins of relations, and we do so in a more general setting where views are defined by arbitrary conjunctive queries and database constraints are stratified embedded dependencies. Next, we study a setting based on horizontal decompositions of a single database relation, where views are defined by selections on possibly interpreted attributes (e.g., arithmetic comparisons) in the presence of domain constraints over the database schema. Lastly, we look into another multi-relational database setting, where views are defined in an expressive "Type" Relational Algebra based on the n-ary Description Logic DLR and database constraints are inclusions of expressions in that algebra.

Bucket-Based Query Rewriting with Disjunctive Data Source

Rewriting Queries Using View for RDF/RDFS-Based Relational Data Integration

Query Rewriting with Disjunctive Existential Rules and Mappings

QUERY REWRITING FOR SEMI-STRUCTURED DATA

Rewriting with Acyclic Queries: Mind Your Head

Rewriting over the Multiple XML Views

A theoretic framework for answering XPath queries using views

Mqtree Based Query Rewriting Over Multiple Xml Views

Monotone Rewritability and the Analysis of Queries, Views, and Rules

Query Rewriting On Path Views Without Integrity Constraints

Query Rewriting and Optimization for Ontological Databases

Datalog Rewritings of Regular Path Queries using Views

Integrating Relational Databases with Semantic Web Ontologies : Reasoning and Query Answering using Views

The View Update Problem Revisited

Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments

On monotonic determinacy and rewritability for recursive queries and views

MiniCon Algorithm for Semi-Structured Query Rewriting

Query Rewriting via Large Language Models

Connected Components and Disjunctive Existential Rules

Adaptive Query Rewriting: Aligning Rewriters through Marginal Probability of Conversational Answers

Sharing Queries with Nonequivalent User-Defined Aggregate Functions