On the computation of the Smith normal form of compound matrices.

Marilena Mitrouli Christos Koukouvinos

Published in: Numer. Algorithms (1997)

Keyphrases

normal form
database design
relational databases
nested relations
relational algebra
functional dependencies
information content
data dependencies
database
boolean expressions
relational database theory
relational calculus
case study
rough sets
relational database systems
prime implicates