A Formal Proof of the Computation of Hermite Normal Form in a General Setting.

Jose Divasón Jesús Aransay

Published in: AISC (2018)

Keyphrases

normal form
formal proof
special case
nested relations
relational databases
database design
functional dependencies
relational algebra
information content
databases
data dependencies
boolean expressions
relational database theory
artificial intelligence
knowledge base