TY - GEN
T1 - The view-update problem for indefinite databases
AU - Caroprese, Luciano
AU - Trubitsyna, Irina
AU - Truszczyński, Mirosław
AU - Zumpano, Ester
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84866943982&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84866943982&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-33353-8_11
DO - 10.1007/978-3-642-33353-8_11
M3 - Conference contribution
AN - SCOPUS:84866943982
SN - 9783642333521
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 134
EP - 146
BT - Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Proceedings
T2 - 13th European Conference on Logics in Artificial Intelligence, JELIA 2012
Y2 - 26 September 2012 through 28 September 2012
ER -