• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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