Pebble Weighted Automata and Transitive Closure Logics.
Benedikt BolligPaul GastinBenjamin MonmegeMarc ZeitounPublished in: ICALP (2) (2010)
Keyphrases
- transitive closure
- expressive power
- first order logic
- query language
- recursive queries
- constraint databases
- relational algebra
- data complexity
- spatial databases
- modal logic
- query evaluation
- inference rules
- regular expressions
- directed acyclic graph
- binary relations
- artificial intelligence
- query optimization
- markov chain
- data model
- database systems