Journal: データベースシステム研究会研究報告
Organization: (社)情報処理学会
Category: HyperText
Abstract: ハイパーテキストについての形式的なモデル化は、現在まであ
        まり研究されてこなかった領域の研究である。そのため、個々
        のハイパーテキストのシステムがもつ機能について、形式的に
        比較し、議論することができなかった。我々は、ハイパーテキ
        ストに適用される操作の意味論までに立ち入って、形式的なハ
        イパーテキストのモデルを提案する。ハイパーテキストにおけ
        る一般的な情報検索は、航行機構を用いることにより実現され
        ている。我々は航行機構に加えて、新たな検索機構として関係
        論理と等価な集合検索能力を持つ問い合わせの機構を我々のハ
        イパーテキストのモデル上に提案し、情報検索能力を増すこと
        を試みる。本論文で提案するモデルや機構は、すべて形式的に
        表現されているので、この結果は様々な具体的なハイパーテキ
        ストのシステムの設計に応用することが可能である。
Number: 92-DBS-91
Bibtype: Article
Author: 渡辺 隆一
        箕原 辰夫
        所 真理雄
Month: nov
Affiliation: 慶應義塾大学大学院計算機科学専攻
Title: ハイパーテキストと問い合わせの形式的なモデル
Year: 1992