The view-update problem for indefinite databases

Authors:
Luciano Caroprese;Irina Trubitsyna;Mirosław Truszczyński;Ester Zumpano
Affiliations:
DEIS, Università della Calabria, Rende, Italy;DEIS, Università della Calabria, Rende, Italy;Department of Computer Science, University of Kentucky, Lexington;DEIS, Università della Calabria, Rende, Italy
Venue:
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Year:
2012

Citing 9
Cited 0

Principles of database and knowledge-base systems, Vol. I

Principles of database and knowledge-base systems, Vol. I
Intensional updates: abduction via deduction

Logic programming
The role of abduction in database view updating

Journal of Intelligent Information Systems
Abduction from logic program: semantics and complexity

Theoretical Computer Science
Updating knowledge bases while maintaining their consistency

The VLDB Journal — The International Journal on Very Large Data Bases
Database Updates through Abduction

VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A Semantics-based Approach to Design of Query Languages for Partial Information

Selected Papers from a Workshop on Semantics in Databases
Semantic integrity support in SQL:1999 and commercial (object-)relational database management systems

The VLDB Journal — The International Journal on Very Large Data Bases
Consistency preserving updates in deductive databases

Data & Knowledge Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces and studies a declarative framework for updating views over indefinite databases. An indefinite database is a database with null values that are represented, following the standard database approach, by a single null constant. The paper formalizes views over such databases as indefinite deductive databases, and defines for them several classes of database repairs that realize view-update requests. Most notable is the class of constrained repairs. Constrained repairs change the database "minimally" and avoid making arbitrary commitments. They narrow down the space of alternative ways to fulfill the view-update request to those that are grounded, in a certain strong sense, in the database, the view and the view-update request.