A Formalization of the Smith Normal Form in Higher-Order Logic.
Jose DivasónRené ThiemannPublished in: J. Autom. Reason. (2022)
Keyphrases
- normal form
- higher order logic
- logical framework
- higher order
- theorem prover
- database design
- conditional logic
- relational databases
- relational algebra
- functional dependencies
- nested relations
- inference rules
- belief revision
- information content
- knowledge representation
- data dependencies
- prime implicates
- boolean expressions
- relational database theory
- default reasoning
- reasoning tasks
- automated reasoning
- user interface
- case study
- set of functional dependencies
- database