A computational view on normal forms of matrices of Ore polynomials.

Johannes Middeke

Published in: ACM Commun. Comput. Algebra (2011)

Keyphrases

boolean expressions
normal form
database design
functional dependencies
relational databases
relational algebra
database theory
information content
nested relations
data dependencies
formal definitions
database
singular value decomposition
multi valued
function symbols