Inference Control in Logic Databases as a Constraint Satisfaction Problem.
Joachim BiskupDominique Marc BurgardTorben WeibertLena WiesePublished in: ICISS (2007)
Keyphrases
- constraint satisfaction problems
- inference control
- databases
- statistical databases
- constraint satisfaction
- constraint propagation
- constraint programming
- np complete
- search space
- database
- constraint solving
- logic programming
- np hard
- arc consistency
- relational databases
- constraint networks
- data model
- database applications
- soft constraints
- privacy preserving data mining
- dynamic constraint satisfaction problems
- partial constraint satisfaction
- distributed constraint satisfaction
- constraint problems
- data sources
- knowledge discovery
- data warehouse
- truth values
- modal logic
- database systems
- data integration