Residual hermite normal form computations.

Published in: ACM Trans. Math. Softw. (1989)

Keyphrases

normal form
database design
functional dependencies
relational databases
nested relations
relational algebra
information content
data dependencies
prime implicates
relational database theory
user interface
management system