Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution.

Sen Zheng Renate A. Schmidt

Published in: CoRR (2020)

Keyphrases

guarded fragment
expressive power
query language
first order logic
databases
transitive closure
np hard
propositional logic
high resolution
conjunctive queries
database
maximal tractable
data warehouse
data sources
multi dimensional
data management
query processing
expert systems