Login / Signup

Satisfiability of simple xpath fragments in the presence of dtds.

Nobutaka SuzukiYuji Fukushima
Published in: WIDM (2009)
Keyphrases
  • xml documents
  • xml data
  • regular expressions
  • sibling axes
  • databases
  • propositional logic
  • querying xml data
  • pattern matching
  • satisfiability problem
  • decision procedures
  • xml fragments