On the Expressiveness of First-Order Constraint Languages.
Foto N. AfratiTheodoros AndronikosTheodoros G. KavalierosPublished in: CDB (1995)
Keyphrases
- expressive power
- first order logic
- computational properties
- highly expressive
- data complexity
- linear constraints
- language independent
- constraint language
- databases
- horn clauses
- inductive logic programming
- database
- quantifier elimination
- higher order
- knowledge representation
- query language
- text summarization
- stochastic dominance
- function free horn
- multi lingual
- language identification
- cross lingual
- genetic algorithm
- data sets