Login / Signup
To SAT or Not to SAT: Scalable Exploration of Functional Dependency.
Jie-Hong Roland Jiang
Chih-Chun Lee
Alan Mishchenko
Chung-Yang Huang
Published in:
IEEE Trans. Computers (2010)
Keyphrases
</>
functional dependencies
satisfiability problem
sat solvers
sat problem
relational databases
search algorithm
integrity constraints
normal form
search strategies
phase transition
conflict free
approximate functional dependencies
relational model
data transformation
constraint satisfaction
temporal logic
np complete