複数の包摂関係の矛盾解消のための候補解の生成と環境

書誌事項

タイトル別名
  • Generation of Candidates for Rosolving Inconsistency among Multiple Subsumption Relations

この論文をさがす

説明

包摂関係は知識情報処理だけでなく演繹オブジェクト指向データベース(DOOD)などの高度データベースシステムにおいて重要な役割を果たしている. DOOD パラダイムを分散環境に適用するには, 複数の包摂関係間の一貫性を維持することが不可欠である. 包摂関係は一意的な制約解消のために束を構成しているが, 複数の束のマージは前順序にしかならない. しかし半順序生成, 束生成のアルゴリズムは, オブジェクトの同定に強い仮定を置いでおり, 分散環境では必ずしもふさわしくない. 本稿では, ユーザとの対話によって複数の包摂関係間の矛盾を除去するために, その候補解を求めるアルゴリズムについて述べる. このアルゴリズムは DOOD に基づいたメデイエータシステム QUIK で実装されている.

収録刊行物

被引用文献 (1)*注記

もっと見る

参考文献 (9)*注記

もっと見る

詳細情報 詳細情報について

  • CRID
    1572543027082924288
  • NII論文ID
    110002930775
  • NII書誌ID
    AN10112482
  • ISSN
    09196072
  • 本文言語コード
    ja
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ