Correction to: 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
- conditional logic
- relational databases
- database design
- relational algebra
- nested relations
- information content
- functional dependencies
- boolean expressions
- data dependencies
- belief revision
- knowledge representation
- inference rules
- prime implicates
- case study
- set of functional dependencies
- theorem proving
- object oriented
- relational database theory