First-Order Queries over One Unary Function.

Arnaud Durand Frédéric Olive

Published in: CSL (2006)

Keyphrases

query language
database
higher order
web search engines
response time
user queries
query logs
database queries
complex queries
web search
first order logic
query evaluation
query processing
information retrieval systems
query formulation
queries involving