Under MRW-DTDs, we show that XPath satisfiability problems with (1) child, ... two original classes when the XPath class contains parent axes or qualifiers.
確定! 回上一頁