Keyphrases
- normal form
- natural deduction
- intuitionistic logic
- inference rules
- database design
- theorem prover
- relational databases
- nested relations
- functional dependencies
- theorem proving
- cut elimination
- relational algebra
- sequent calculus
- relational database theory
- data dependencies
- prime implicates
- linear time temporal logic
- information content
- case study
- databases
- first order logic
- xml documents