Expressivity Within Second-Order Transitive-Closure Logic.
Flavio FerrarottiJan Van den BusscheJonni VirtemaPublished in: CSL (2018)
Keyphrases
- transitive closure
- expressive power
- computational properties
- query evaluation
- first order logic
- constraint databases
- directed acyclic graph
- recursive queries
- query language
- spatial databases
- relational algebra
- binary relations
- logic programming
- data distribution
- model checking
- graphical models
- probabilistic model
- knowledge base
- databases
- database