Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints.
Meghyn BienvenuCamille BourgauxPublished in: KR (2023)
Keyphrases
- integrity constraints
- complexity analysis
- inclusion dependencies
- integrity checking
- constraint checking
- null values
- databases
- foreign key
- constraint language
- consistent answers
- functional dependencies
- deductive databases
- active databases
- theoretical analysis
- database integrity
- relational databases
- conjunctive queries
- database transactions
- consistent query answers
- cardinality constraints
- query answering
- lower bound
- database schema
- data dependencies
- tuple generating dependencies
- constraint logic programming
- active rules
- xml schema
- database systems
- database queries
- query evaluation
- first order logic
- xml documents