Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees.
Alain ColmerauerThi-Bich-Hanh DaoPublished in: Constraints An Int. J. (2003)
Keyphrases
- real numbers
- quantifier free
- higher order
- first order logic
- finitely representable
- decision trees
- databases
- global constraints
- expressive power
- constraint programming
- relational algebra
- constrained optimization
- tree structure
- constraint networks
- phylogenetic trees
- finite dimensional
- query language
- tree automata
- function symbols
- data model
- monadic second order logic
- database