Approximating Constraint Propagation in Datalog
Dario CampagnaBeata Sarna-StarostaTom SchrijversPublished in: CoRR (2011)
Keyphrases
- constraint propagation
- expressive power
- constraint reasoning
- constraint satisfaction problems
- deductive databases
- constraint programming
- query answering
- constraint satisfaction
- temporal constraints
- systematic search
- constraint solving
- query language
- datalog programs
- constrained problems
- constraint graph
- interval arithmetic
- backtracking algorithms
- search space
- tree search
- integrity constraints
- constraint solver
- logic programming
- quantifier elimination
- finite domain
- transitive closure
- knowledge representation
- np hard
- genetic algorithm
- database