Solving Trace Equations Using Lexicographical Normal Forms.
Volker DiekertYuri V. MatiyasevichAnca MuschollPublished in: ICALP (1997)
Keyphrases
- normal form
- nonlinear equations
- database design
- functional dependencies
- relational databases
- polynomial equations
- database theory
- formal definitions
- nested relations
- relational algebra
- algebraic equations
- morphological operators
- data dependencies
- prime implicates
- multi valued
- information content
- linear equations
- database applications
- data model