Keyphrases
- inference rules
- set of inference rules
- multivalued dependencies
- conflict free
- functional dependencies
- relational databases
- first order logic
- theorem prover
- modal logic
- logical framework
- desirable properties
- database design
- sequent calculus
- integrity constraints
- database schemes
- optimal solution
- normal form
- relational model
- argumentation frameworks
- data management