Extending the Tractability Results on XPath Satisfiability with Sibling Axes.
Yasunori IshiharaShougo ShimizuToru FujiwaraPublished in: XSym (2010)
Keyphrases
- sibling axes
- xpath queries
- regular expressions
- satisfiability problem
- np complete
- query containment
- pattern matching
- conjunctive queries
- xml documents
- xml databases
- xml data
- computational complexity
- query evaluation
- search algorithm
- decision procedures
- cost model
- query language
- query answering
- xml schema
- constraint satisfaction
- query optimization
- integrity constraints
- query rewriting
- matching algorithm
- temporal logic
- phase transition
- databases
- conceptual model
- query execution
- datalog programs
- complexity bounds