Active Integrity Constraints with Existential Quantification.
Marco CalauttiLuciano CaropreseSergio GrecoCristian MolinaroIrina TrubitsynaEster ZumpanoPublished in: SEBD (2022)
Keyphrases
- integrity constraints
- query answering
- active databases
- integrity checking
- deductive databases
- database schema
- database integrity
- inclusion dependencies
- constraint checking
- conjunctive queries
- functional dependencies
- schema integration
- federated databases
- data complexity
- active rules
- query rewriting
- database transactions
- consistent query answering
- database
- database technology
- xml documents
- database systems
- databases