Finding Cross-rule Optimization Bugs in Datalog Engines.
Chi ZhangLinzhang WangManuel RiggerPublished in: CoRR (2024)
Keyphrases
- association rules
- expressive power
- optimization process
- global optimization
- constrained optimization
- optimization algorithm
- optimization method
- query language
- integrity constraints
- combinatorial optimization
- deductive databases
- genetic algorithm
- optimization methods
- optimization model
- datalog programs
- discrete optimization