These translations can then be used for a variety of reasoning tasks such as XPath consistency, or optimization, under XML schema constraints. In the ...
確定! 回上一頁