Extended normal form theorems for logical proofs from axioms.
Toshiyasu AraiGrigori MintsPublished in: Theor. Comput. Sci. (2000)
Keyphrases
- normal form
- functional dependencies
- database design
- relational algebra
- relational databases
- information content
- nested relations
- knowledge base
- data dependencies
- multi valued
- first order logic
- set of functional dependencies
- semantics for logic programs
- relational database theory
- cut elimination
- boolean expressions
- prime implicates
- null values
- decision procedures
- relational database systems
- theorem proving
- complex objects
- object oriented
- xml documents