Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants.
Emanuel KieronskiLidia TenderaPublished in: CoRR (2016)
Keyphrases
- guarded fragment
- transitive closure
- satisfiability problem
- expressive power
- first order logic
- conjunctive queries
- search algorithm
- np complete
- temporal logic
- relational algebra
- propositional logic
- query evaluation
- query language
- query answering
- phase transition
- directed acyclic graph
- sat problem
- special case
- integrity constraints
- range queries
- spatial databases
- knowledge representation