Fixed Point Equations Inside the Algebra of Normal Forms.
Corrado BöhmPublished in: Fundam. Informaticae (1999)
Keyphrases
- fixed point
- normal form
- relational algebra
- database design
- database theory
- nested relations
- dynamical systems
- relational databases
- functional dependencies
- sufficient conditions
- relational database systems
- differential equations
- numerical solution
- query language
- floating point
- fixed point theorem
- variational inequalities
- data model
- belief propagation
- transitive closure
- prime implicates
- boolean expressions
- database
- constraint databases