Scalable exploration of functional dependency by interpolation and incremental SAT solving.
Chih-Chun LeeJie-Hong Roland JiangChung-Yang HuangAlan MishchenkoPublished in: ICCAD (2007)
Keyphrases
- functional dependencies
- sat solving
- sat solvers
- integrity constraints
- normal form
- relational databases
- database design
- approximate functional dependencies
- data transformation
- conflict free
- boolean satisfiability
- xml documents
- user defined
- sat problem
- search strategies
- lower bound
- max sat
- clause learning
- search tree
- branch and bound algorithm
- search space
- learning algorithm