Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies.
Yuliya ZabiyakaAdnan DarwichePublished in: SAT (2006)
Keyphrases
- functional dependencies
- space complexity
- upper bound
- integrity constraints
- relational databases
- normal form
- database design
- relational model
- answering queries using views
- database schemes
- conflict free
- data dependencies
- user defined
- database schema
- worst case
- horn theories
- cardinality constraints
- xml documents
- decision problems
- approximate functional dependencies
- inclusion dependencies
- bounded treewidth
- logical implication
- universal relation
- database systems
- relational algebra
- databases
- boolean functions
- deductive databases
- computational complexity
- lower bound
- query answering
- relational database theory
- user interface
- database