An overview of the ABC Repair System for Datalog-like Theories.
Xue LiAlan BundyPublished in: HLC (2022)
Keyphrases
- expressive power
- query answering
- deductive databases
- query language
- artificial bee colony algorithm
- logic programming
- theoretical framework
- integrity constraints
- swarm intelligence
- inconsistent databases
- preventive maintenance
- artificial bee colony
- logic programs
- computational intelligence
- artificial intelligence
- databases
- data complexity
- transitive closure
- cognitive psychology
- consistent query answering
- genetic algorithm