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

Sen Zheng Renate A. Schmidt

Published in: AAAI (2020)

Keyphrases

guarded fragment
first order logic
expressive power
query language
propositional logic
conjunctive queries
high resolution
query processing
databases
np hard
database
database systems
maximal tractable