Ultimate Normal Forms for Parallelized Natural Deductions.
Neil TennantPublished in: Log. J. IGPL (2002)
Keyphrases
- normal form
- database design
- functional dependencies
- relational databases
- nested relations
- formal definitions
- database theory
- relational algebra
- data dependencies
- relational database theory
- multi valued
- information content
- prime implicates
- database
- null values
- database schema
- database applications
- boolean expressions
- data model