On the Nonexistence of Certain Normal Forms in the Logic of Provability.
George BoolosPublished in: J. Symb. Log. (1982)
Keyphrases
- normal form
- multi valued
- functional dependencies
- database theory
- nested relations
- database design
- relational databases
- formal definitions
- prime implicates
- relational algebra
- modal logic
- information content
- logic programming
- relational database theory
- predicate logic
- data dependencies
- automated reasoning
- relational model
- database systems
- database