An order-sorted query system for sort, predicate, and meta-predicate hierarchies.

Ken Kaneiwa Philip H. P. Nguyen

Published in: Knowl. Inf. Syst. (2013)

Keyphrases

first order logic
query processing
database
response time
user queries
query evaluation
query formulation
machine learning
artificial intelligence
high level
data analysis
domain knowledge
low level
retrieval systems
range queries
datalog programs