The guarded fragment with transitive guards.
Wieslaw SzwastLidia TenderaPublished in: Ann. Pure Appl. Log. (2004)
Keyphrases
- guarded fragment
- first order logic
- expressive power
- satisfiability problem
- transitive closure
- conjunctive queries
- constraint databases
- query language
- temporal logic
- knowledge representation
- np complete
- relational algebra
- query evaluation
- query answering
- spatial databases
- phase transition
- data structure
- data exchange
- directed acyclic graph
- data model
- expert systems
- video sequences