The View-Update Problem for Indefinite Databases

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

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

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

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

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

Cited In (8)

• Information-Optimal Reflections of View Updates on Relational Database Schemata
• Active integrity constraints for general-purpose knowledge bases
• A Rational and Efficient Algorithm for View Revision in Databases
• 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?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• An order-based theory of updates for closed database views 👍 👎
• Information-Optimal Reflections of View Updates on Relational Database Schemata 👍 👎
• Deduction trees and the view update problem in indefinite deductive databases 👍 👎
• A logical framework for view updating in indefinite databases 👍 👎
• Foundations of Information and Knowledge Systems 👍 👎
• A Rational and Efficient Algorithm for View Revision in Databases 👍 👎

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)