Exploiting Forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment.

Bartosz Bednarczyk

Published in: JELIA (2021)

Keyphrases

np complete
satisfiability problem
logical implication
database
query processing
query evaluation
computational complexity
expressive power
guarded fragment
keywords
data structure
functional dependencies
data sources
constraint satisfaction problems
propositional logic