The view-update problem for indefinite databases

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

20 Scopus citations


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.

Original languageEnglish
Title of host publicationLogics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings
Number of pages13
StatePublished - 2012
Event13th European Conference on Logics in Artificial Intelligence, JELIA 2012 - Toulouse, France
Duration: Sep 26 2012Sep 28 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7519 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference13th European Conference on Logics in Artificial Intelligence, JELIA 2012

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'The view-update problem for indefinite databases'. Together they form a unique fingerprint.

Cite this