Active Integrity Constraints for Multi-Context Systems.
Luís Cruz-FilipeGraça GasparIsabel NunesPeter Schneider-KampPublished in: CoRR (2016)
Keyphrases
- integrity constraints
- multi context systems
- active databases
- deductive databases
- information flow
- functional dependencies
- integrity checking
- conjunctive queries
- database integrity
- constraint checking
- inclusion dependencies
- query answering
- xml documents
- database transactions
- bdi agents
- knowledge sources
- propositional logic
- general purpose
- multi agent
- social networks