XPath satisfiability in the presence of DTDs.
Michael BenediktWenfei FanFloris GeertsPublished in: J. ACM (2008)
Keyphrases
- sibling axes
- regular expressions
- xpath queries
- xml documents
- query containment
- satisfiability problem
- xml data
- pattern matching
- query language
- xml schema
- tree automata
- np complete
- xml databases
- query answering
- finite automata
- decision procedures
- conjunctive queries
- computational complexity
- xml streams
- transitive closure
- database
- sat problem
- query rewriting
- xml queries
- temporal logic
- query evaluation
- xpath expressions
- integrity constraints
- structured data