Keyphrases
- normal form
- database design
- nested relations
- relational databases
- functional dependencies
- relational algebra
- information content
- data dependencies
- prime implicates
- disjunctive normal form
- integrity constraints
- relational database theory
- databases
- boolean expressions
- propositional formulas
- spanning tree
- default logic
- directed acyclic graph
- directed graph