98 citations · 385 across the 33 of their papers we have counts for
4 papers · 1 filter
Active Integrity Constraints for Multi-Context Systems
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes +1
We introduce a formalism to couple integrity constraints over general-purpose knowledge bases with actions that can be executed to restore consistency. This formalism generalizes a…
Grounded Fixpoints and Active Integrity Constraints
Luís Cruz-Filipe
The formalism of active integrity constraints was introduced as a way to specify particular classes of integrity constraints over relational databases together with preferences on…
Integrity Constraints for General-Purpose Knowledge Bases
Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp
Integrity constraints in databases have been studied extensively since the 1980s, and they are considered essential to guarantee database integrity. In recent years, several author…
repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan +3
Consistency of knowledge repositories is of prime importance in organization management. Integrity constraints are a well-known vehicle for specifying data consistency requirements…