Bounds for variables with few occurrences in conjunctive normal forms.
Oliver KullmannXishun ZhaoPublished in: CoRR (2014)
Keyphrases
- normal form
- disjunctive normal form
- database design
- function symbols
- nested relations
- relational databases
- functional dependencies
- lower bound
- database theory
- relational algebra
- formal definitions
- upper bound
- information content
- data dependencies
- prime implicates
- databases
- relational database theory
- multi valued
- user interface
- database systems