2024-03-30T06:40:06Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000199892024-03-29T05:26:34Z01164:01165:01209:01212
複数の包摂関係の矛盾解消のための候補解の生成と環境Generation of Candidates for Rosolving Inconsistency among Multiple Subsumption Relationsjpnhttp://id.nii.ac.jp/1001/00019989/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=19989&item_no=1&attribute_id=1&file_no=1Copyright (c) 1998 by the Information Processing Society of Japan岡山県立大学情報工学部岡山県立大学情報工学部岡山県立大学情報工学部岡山県立大学情報工学部岡山理科大学総合情報学部中井, 康裕三宅, 孝典能勢, 隆雅横田, 一正劉, 渤江包摂関係は知識情報処理だけでなく演繹オブジェクト指向データベース(DOOD) などの高度データベースシステムにおいて重要な役割を果たしている。DOODパラダイムを分散環境に適用するには、複数の包摂関係間の一貫性を維持することが不可欠である。包摂関係は一意的な制約解消のために束を構成しているが、複数の束のマージは前順序にしかならない。しかし半順序生成、東生成のアルゴリズムは、オブジェクトの同定に強い仮定を置いており、分散環境では必ずしもふさわしくない。本稿では、ユーザとの対話によって複数の包摂関係間の矛盾を除去するために、その候補解を求めるアルゴリズムについて述べる。このアルゴリズムはDOODに基づいたメディエータシステムQUIKで実装されている。Subsumption relation play an important role not only in knowledge information processing systems but also in knowledge-based database systems such as deductive object-oriented database (DOOD) systems. For applying a DOOD paradigm to distributed applications, it is indispensable to maintain the consistency among multiple subsumption relations. Without loss of generality, a subsumption relation is considered as a lattice to solve its constraints, however, merging multiple lattices results in a pre-ordered set. Conventional algorithms for generating a partially ordered set and a lattice assume strong object identification. In this paper, we describe an algorithm, by which we can get some candidate answers for reducing inconsistencies among subsumption relation by interacting with users. The algorithm is implemented in a DOOD-based mediator system, called QUIK.AN10112482情報処理学会研究報告データベースシステム(DBS)19982(1997-DBS-114)1291361998-01-192009-06-30