أرسل هذا في رسالة قصيرة: XPath satisfiability in the presence of DTDs