Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix.
George LabahnVincent NeigerWei ZhouPublished in: J. Complex. (2017)
Keyphrases
- normal form
- database design
- functional dependencies
- relational databases
- nested relations
- relational algebra
- information content
- prime implicates
- relational database theory
- disjunctive normal form
- database systems
- user interface
- efficient computation
- boolean expressions
- relational model
- null values
- data dependencies
- database
- case study
- databases