Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints

Bart Bogaerts*, Luís Cruz-Filipe

*Kontaktforfatter for dette arbejde

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

7 Downloads (Pure)

Abstrakt

Approximation fixpoint theory (AFT) is an algebraic study of fixpoints of lattice operators that unifies various knowledge representation formalisms. In AFT, stratification of operators has been studied, essentially resulting in a theory that specifies when certain types of fixpoints can be computed stratum per stratum. Recently, novel types of fixpoints related to groundedness have been introduced in AFT. In this article, we study how those fixpoints behave under stratified operators. One recent application domain of AFT is the field of active integrity constraints (AICs). We apply our extended stratification theory to AICs and find that existing notions of stratification in AICs are covered by this general algebraic definition of stratification. As a result, we obtain stratification results for a large variety of semantics for AICs.

OriginalsprogEngelsk
Artikelnummer6
TidsskriftACM Transactions on Computational Logic
Vol/bind22
Udgave nummer1
Antal sider19
ISSN1529-3785
DOI
StatusUdgivet - jan. 2021

Bibliografisk note

Publisher Copyright:
© 2021 ACM.

Copyright:
Copyright 2021 Elsevier B.V., All rights reserved.

Fingeraftryk

Dyk ned i forskningsemnerne om 'Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints'. Sammen danner de et unikt fingeraftryk.

Citationsformater