Transformation of Families of Matrices to Normal Forms and its Application to Stability Theory.

Alexei A. Mailybaev

Published in: SIAM J. Matrix Anal. Appl. (2000)

Keyphrases

normal form
relational database theory
database theory
database design
formal definitions
functional dependencies
nested relations
information content
relational databases
relational algebra
data dependencies
prime implicates
logic programs
database applications
inference rules
multi valued