שליחה במסרון: XPath satisfiability in the presence of DTDs