Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees.

Alain Colmerauer Thi-Bich-Hanh Dao

Published in: CP (2000)

Keyphrases

real numbers
quantifier free
higher order
linear temporal logic
query language
tree structure
first order logic
finite sets
decision trees
finitely representable
constrained optimization
geometric constraints
global constraints
finite number
expressive power
data model
data structure
database systems