Shifted Normal Forms of Polynomial Matrices.
Bernhard BeckermannGeorge LabahnGilles VillardPublished in: ISSAC (1999)
Keyphrases
- normal form
- functional dependencies
- database design
- nested relations
- database theory
- formal definitions
- relational databases
- relational algebra
- positive semidefinite
- information content
- data dependencies
- prime implicates
- singular value decomposition
- boolean expressions
- multi valued
- database
- model checking
- function symbols
- data types
- database systems