A Completeness Result for Allowed Semi-Strict Programs with Respect to Well-Behaved and Allowed Query Clauses.

Stefano Baratella

Published in: Theor. Comput. Sci. (1992)

Keyphrases

database
databases
response time
boolean formulae
query processing
query formulation
data sources
background knowledge
first order logic
query terms
range queries