Querying the Guarded Fragment via Resolution (Extended Abstract).

Sen Zheng Renate A. Schmidt

Published in: PAAR+SC²@IJCAR (2020)

Keyphrases

extended abstract
databases
high resolution
first order logic
database
query processing
query language
probability distribution
nearest neighbor
conjunctive queries