Keyphrases
- modal logic
- normal form
- inference rules
- natural deduction
- theorem prover
- prime implicates
- theorem proving
- database design
- relational databases
- nested relations
- relational algebra
- database theory
- information content
- functional dependencies
- multi valued
- data dependencies
- relational database theory
- first order logic
- database schema
- formal definitions
- digital topology
- linear logic
- boolean expressions
- database
- set of functional dependencies