A modular algorithm to compute the generalized Hermite normal form for Z[x]-lattices.

Rui-Juan Jing Chun-Ming Yuan

Published in: J. Symb. Comput. (2017)

Keyphrases

normal form
functional dependencies
computational complexity
np hard
tree structure
database
relational databases
decision rules
database design
classification algorithm
concept lattice
data dependencies
projection method