Active integrity constraints for general-purpose knowledge bases

Cruz-Filipe, Luís; Gaspar, Graça; Nunes, Isabel; Schneider–Kamp, Peter

doi:10.1007/s10472-018-9577-y

Cited by 2 publications

(2 citation statements)

References 38 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Algorithms for computing all classes of repairs discussed in Caroprese & Truszczynski (2011) have been proposed in Cruz-Filipe et al ( 2013)-see Cruz-Filipe et al (2015) for an implementation over SQL databases. Cruz-Filipe et al (2018) proposed a framework for applying AICs to more knowledge representation systems, other than databases, generalizing also the approach in Rantsoudis et al (2017a) (see also Feuillade et al (2019)). The computation of repairs is also related to the computation of grounded fixpoints, which have been shown to be the natural semantics in many knowledge representation formalisms (Bogaerts et al (2015)).…”

Section: Related Workmentioning

confidence: 99%

Existential active integrity constraints

Caroprese¹,

Greco

Molinaro

et al. 2021

Expert Systems with Applications

View full text Add to dashboard Cite

Active integrity constraints (AICs) are a useful formalism to express integrity constraints and policies to restore consistency in databases violating them. However, AICs do not allow users to express different kinds of constraints commonly arising in practice, such as foreign keys.In this paper, we propose existential active integrity constraints (EAICs), a powerful extension of AICs that allows us to express a wide range of constraints used in databases and ontological systems. We investigate different properties of EAICs. Specifically, we show that there exists a "representative" set of founded updates, called universal, which suffices for query answering. As such a set might contain an infinite number of founded updates, each of infinite size, we study syntactic restrictions ensuring finiteness, as well as the existence of a single universal founded update.

show abstract

Section: Related Workmentioning

confidence: 99%

Existential active integrity constraints

Caroprese¹,

Greco

Molinaro

et al. 2021

Expert Systems with Applications

View full text Add to dashboard Cite

show abstract

“…Several semantics achieving this were designed, among which preferred, founded, and justified repairs [12] as well as more recent prioritised versions [8]. Implementations of such repairs were also studied, and the account was extended in order to cope with various applications [17,16,18].…”

Section: Introductionmentioning

confidence: 99%

Database Repair via Event-Condition-Action Rules in Dynamic Logic

Feuillade

Herzig

Rantsoudis

2022

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Event-condition-action (ECA) rules equip a database with information about preferred ways to restore integrity. They face problems of non-terminating executions and only procedural semantics had been given to them up to now. Declarative semantics however exist for a particular class of ECA rules lacking the event argument, called active integrity constraints. We generalise one of these semantics to ECA rules and couch it in a simple dynamic logic with deterministic past.

show abstract

Active integrity constraints for general-purpose knowledge bases

Cited by 2 publications

References 38 publications

Existential active integrity constraints

Existential active integrity constraints

Database Repair via Event-Condition-Action Rules in Dynamic Logic

Contact Info

Product

Resources

About