Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix.

George Labahn Vincent Neiger Wei Zhou

Published in: CoRR (2016)

Keyphrases

normal form
database design
functional dependencies
relational databases
information content
relational algebra
nested relations
relational database theory
boolean expressions
database applications
efficient computation
disjunctive normal form
data dependencies
prime implicates
databases
data structure