Asymptotically Fast Computation of Hermite Normal Forms of Integer Matrices.
Arne StorjohannGeorge LabahnPublished in: ISSAC (1996)
Keyphrases
- normal form
- database design
- database theory
- relational databases
- functional dependencies
- formal definitions
- relational algebra
- prime implicates
- nested relations
- multi valued
- data dependencies
- data model
- relational database theory
- boolean expressions
- null values
- open problems
- floating point
- database schema
- complex objects
- database applications