Definable relations and first-order query languages over strings.
Michael BenediktLeonid LibkinThomas SchwentickLuc SegoufinPublished in: J. ACM (2003)
Keyphrases
- query language
- first order logic
- expressive power
- relational algebra
- relational calculus
- horn clauses
- relational data model
- transitive closure
- data model
- recursive queries
- relational operators
- semantic relations
- higher order
- conjunctive queries
- complex objects
- monadic second order logic
- database
- edit distance
- integrity constraints
- real numbers
- constraint databases
- function free horn
- fixpoint
- inductive logic programming
- query processing
- similarity measure