On the Computation of the Smith Normal Form.

Heinz Lüneburg

Published in: Trends in Computer Algebra (1987)

Keyphrases

database technology
normal form
relational databases
database design
database systems
functional dependencies
object oriented
relational algebra
nested relations
information content
data dependencies
relational database systems
efficient computation
boolean expressions
xml data
disjunctive normal form