情報交換のフォーマットとして XML の利用が拡大している.中でも連続的に送信される時系列な XML 文書が急増している.そのような XML 文書を XML ストリームと呼ぶ.XML に対する問合せ言語には XPath や XQuery がある.しかし,これらは XML の部分文書を指定するための言語であり,時間の概念を含んだ問合せは表現できない.
そこで本論文では,上記のような問合せを実現するために,XPath で指定した XML 部分文書に対して,イベント代数 Snoop の演算を適用することにより,XML ストリームに対する時制問合せを行う手法を提案する.また,提案する時制問合せの処理をする有限状態変換器の構築方法を示す.
本手法により,シーケンシャルに一度だけ読み込むことで,XML ストリームデータに対する時間の概念を含んだ問合せが実現できる.