A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases.
François BryHendrik DeckerRainer MantheyPublished in: EDBT (1988)
Keyphrases
- constraint satisfaction
- deductive databases
- phase transition
- logical implication
- constraint solving
- soft constraints
- constraint satisfaction problems
- integrity constraints
- constraint problems
- constraint networks
- constrained problems
- logic programming
- fixpoint
- query evaluation
- satisfiability problem
- constraint propagation
- heuristic search
- np complete
- constraint relaxation
- constraint programming
- closed world assumption
- semantic query optimization
- integrity checking
- arc consistency
- max csp
- disjunctive deductive databases
- combinatorial problems
- sat problem
- model theoretic
- russian doll search
- artificial intelligence
- global constraints
- randomly generated
- decision procedures
- probabilistic reasoning
- davis putnam
- databases
- sat solvers
- software engineering
- special case
- objective function
- robust fault detection
- machine learning