Gröbner-free normal forms for boolean polynomials.
Michael BrickensteinAlexander DreyerPublished in: ISSAC (2008)
Keyphrases
- normal form
- numerically stable
- boolean expressions
- multi valued
- database design
- functional dependencies
- relational databases
- nested relations
- data dependencies
- relational algebra
- database theory
- polynomial equations
- information content
- prime implicates
- relational database theory
- real valued
- numerical stability
- methods in computer vision
- null values
- formal definitions
- complex objects
- knowledge representation
- algebraic equations
- database systems
- databases
- database