On decidability of boundedness property for regular path queries.
Yves AndreFrancis BossutAnne-Cécile CaronPublished in: Developments in Language Theory (1999)
Keyphrases
- regular path queries
- automata theoretic
- query containment
- query answering
- conjunctive queries
- regular expressions
- temporal logic
- data complexity
- datalog programs
- semistructured databases
- graph databases
- integrity constraints
- transitive closure
- data exchange
- description logics
- decision procedures
- data integration
- incomplete information
- semistructured data
- query rewriting
- unions of conjunctive queries
- social networks
- reasoning tasks
- expressive power