例示操作に基づくXML問合せ推論機構

質疑・応答

質疑[1]

入力のXMLにDTDがない場合やDTDが間違っている場合、どうなるのか？

応答[1]

DTDがないが場合は、質疑応答の回数が増える。DTDが間違っていると推論を間違える可能性がある。

質疑[2]

曖昧な問合せ条件は推論可能なのか？

応答[2]

推論可能です。

質疑[3]

quantifierに関してはどうなのか？

応答[3]

defaultでthere existsのsemanticsである。for allの場合には、明示的に指定する必要がある。

質疑[4]

推論された問合せが正しいとの検証はどうやってやるのか？

応答[4]

この問題については、XQueryを手で書いたとしても同じ問題が起こるので、 推論とは独立している。これとは別に広い視点で考える必要がある。