Solid Semantics and Extension Aggregation Using Quota Rules under Integrity Constraints.
Xiaolong LiuWeiwei ChenPublished in: AAMAS (2021)
Keyphrases
- integrity constraints
- active rules
- logical rules
- logic rules
- deductive databases
- active databases
- functional dependencies
- consistent query answering
- integrity checking
- conceptual schema
- query answering
- transformation rules
- null values
- inclusion dependencies
- database integrity
- database transactions
- database schema
- constraint language
- correctness criterion
- conjunctive queries
- semantic constraints
- constraint checking
- inconsistent databases
- consistent answers
- relational schema
- xml documents
- relational databases
- data complexity