Deciding XPath containment with MSO.
Pierre GenevèsNabil LayaïdaPublished in: Data Knowl. Eng. (2007)
Keyphrases
- query evaluation
- transitive closure
- regular expressions
- conjunctive queries
- regular path queries
- xml query languages
- data complexity
- query language
- xml documents
- query containment
- xml data
- expressive power
- xpath queries
- xpath expressions
- pattern matching
- monadic second order logic
- tree automata
- finite state
- query processing
- search engine
- data management
- xml queries
- first order logic
- query optimization
- xml streams
- semi structured data
- finite automata
- xml databases
- query answering
- containment of conjunctive queries
- neural network