The Smith normal form and reduction of weakly linear matrices.

Jinwang Liu Dongmei Li Tao Wu

Published in: J. Symb. Comput. (2024)

Keyphrases

normal form
boolean expressions
database design
relational databases
functional dependencies
relational algebra
nested relations
information content
database systems
prime implicates
object oriented
integrity constraints
database
decision trees
complex objects
convex sets