Keyphrases
- normal form
- functional dependencies
- relational databases
- database design
- formal definitions
- nested relations
- database theory
- relational algebra
- logical design
- data dependencies
- source code
- prime implicates
- relational database theory
- information content
- multi valued
- boolean expressions
- knowledge compilation
- propositional logic
- function symbols
- relational model
- np complete
- database