The View-Update Problem for Indefinite Databases

DOI10.1007/978-3-642-33353-8_11zbMATH Open1361.68072arXiv1205.4655OpenAlexW1496385246MaRDI QIDQ2915065FDOQ2915065

Authors: Luciano Caroprese, Irina Trubitsyna, Mirosław Truszczyński, Ester Zumpano 

Publication date: 21 September 2012

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1205.4655

Recommendations

• A logical framework for view updating in indefinite databases
• Foundations of Information and Knowledge Systems
• Deduction trees and the view update problem in indefinite deductive databases
• scientific article; zbMATH DE number 1836550
• scientific article; zbMATH DE number 2080033
• A Rational and Efficient Algorithm for View Revision in Databases
• scientific article; zbMATH DE number 1302667
• An order-based theory of updates for closed database views
• Information-Optimal Reflections of View Updates on Relational Database Schemata

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

• Title not available (Why is that?)
• Abduction from logic programs: Semantics and complexity
• Title not available (Why is that?)
• Logic Programming
• Semantic integrity support in SQL:1999 and commercial (object)-relational database management systems

Cited In (12)

• Title not available (Why is that?)
• Information-Optimal Reflections of View Updates on Relational Database Schemata
• Active integrity constraints for general-purpose knowledge bases
• View updates in stratified disjunctive databases
• A Rational and Efficient Algorithm for View Revision in Databases
• A logical framework for view updating in indefinite databases
• Inference-proof updating of a weakened view under the modification of input parameters
• Title not available (Why is that?)
• Indefinite abductive explanations
• Databases over a fixed infinite universe
• Fibrations and universal view updatability
• Title not available (Why is that?)

This page was built for publication: The View-Update Problem for Indefinite Databases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915065)