Fixpoint semantics for active integrity constraints

Bart Bogaerts, Luis Cruz-Filipe

Onderzoeksoutput: Article

7 Citaten (Scopus)

Samenvatting

Active integrity constraints (AICs) constitute a formalism to associate with a database not just the constraints it should adhere to, but also how to fix the database in case one or more of these constraints are violated. The intuitions regarding which repairs are “good” given such a description are closely related to intuitions that live in various areas of non-monotonic reasoning, such as logic programming and autoepistemic logic. In this paper, we apply approximation fixpoint theory, an abstract, algebraic framework designed to unify semantics of non-monotonic logics, to the field of AICs. This results in a new family of semantics for AICs. We study properties of our new semantics and relationships to existing semantics. In particular, we argue that two of the newly defined semantics stand out. Grounded repairs have a simple definition that is purely based on semantic principles that semantics for AICs should adhere to. And, as we show, they coincide with the intended interpretation of AICs on many examples. The second semantics of interest is the AFT-well-founded semantics: it is a computationally cheap semantics that provides upper and lower bounds for many other classes of repairs.

Originele taal-2English
Pagina's (van-tot)43-70
Aantal pagina's28
TijdschriftArtificial Intelligence
Volume255
DOI's
StatusPublished - 1 feb 2018

Vingerafdruk

Duik in de onderzoeksthema's van 'Fixpoint semantics for active integrity constraints'. Samen vormen ze een unieke vingerafdruk.

Citeer dit