: on the expressive power of monadic path logic.
Faron MollerAlexander Moshe RabinovichPublished in: Inf. Comput. (2003)
Keyphrases
- expressive power
- monadic second order logic
- computational properties
- data complexity
- first order logic
- query language
- transitive closure
- relation algebra
- relational algebra
- relational calculus
- pattern queries
- regular expressions
- deductive databases
- datalog programs
- recursive queries
- propositional logic
- modal logic
- datalog queries
- databases