Finding Cross-Rule Optimization Bugs in Datalog Engines.
Chi ZhangLinzhang WangManuel RiggerPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- optimization problems
- optimization algorithm
- optimization methods
- global optimization
- expressive power
- association rules
- source code
- logic programming
- existentially quantified
- finding optimal
- query answering
- optimization method
- objective function
- integrity constraints
- software systems
- test cases
- np hard
- deductive databases
- evolution strategy
- active databases
- rule learning
- case study
- knowledge base