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