Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation.
Dario CampagnaBeata Sarna-StarostaTom SchrijversPublished in: PADL (2012)
Keyphrases
- constraint propagation
- constraint satisfaction problems
- deductive databases
- constraint reasoning
- constraint satisfaction
- query answering
- constraint programming
- expressive power
- query evaluation
- temporal constraints
- query optimization
- arc consistency
- constraint graph
- tree search
- constraint solving
- query language
- interval analysis
- path consistency
- interval arithmetic
- search space
- backtracking algorithms
- finite domain
- quantifier elimination
- datalog programs
- constrained problems
- logic programming
- systematic search
- russian doll search
- constraint networks
- integrity constraints
- database design
- logic programs
- linear programming
- objective function