Login / Signup

Satisfiability of Simple XPath Fragments under Duplicate-Free DTDs.

Nobutaka SuzukiYuji FukushimaKosetsu Ikeda
Published in: IEICE Trans. Inf. Syst. (2013)
Keyphrases
  • xml documents
  • xml data
  • regular expressions
  • sibling axes
  • satisfiability problem
  • xpath queries
  • query processing
  • constraint satisfaction
  • propositional logic
  • querying xml data
  • search algorithm
  • query evaluation