4 citations · 10 across the 5 of their papers we have counts for
5 papers
Hypothetical answers to continuous queries over data streams
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
Continuous queries over data streams may suffer from blocking operations and/or unbound wait, which may delay answers until some relevant input arrives through the data stream. The…
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…
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…
Testing Java implementations of algebraic specifications
Isabel Nunes, Filipe Luís
In this paper we focus on exploiting a specification and the structures that satisfy it, to obtain a means of comparing implemented and expected behaviours and find the origin of f…