論理言語に基づくデータベース検索経路の選定

• Item type: SIG Technical Reports(1)
• 公開日: 1994-07-20
• タイトル: 論理言語に基づくデータベース検索経路の選定
• タイトル / 言語: en
• タイトル: Determining Database Query Paths by Logic Languages
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 産能大学経営情報学部
• 著者所属: 産能大学経営情報学部
• 著者所属(英): en
• 著者所属(英): SANNO College
• 著者所属(英): en
• 著者所属(英): SANNO College
• 著者名: 塩谷, 勇; 三浦, 孝夫
• 著者名(英): Isamu, Shioya; Takao, Miura
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では、データベースシステムの高度プログラム独立性のために、データの検索経路を’選定する’ための方策を提案する。データベーススキーマは、データモデル（概念モデル記述言語）による情報の構造のためのメタ記述である。また、データ操作（データ検索）はこのメタ記述を用いたデータ操作を意図するメタ記述であり、それが表現している意味はスキーマ記述を用いて確認することができる。ここでは、メタ記述を第1階論理式で表現した超グラフで表し、スキーマ上の2点間を繋ぐ超辺列を生成する操作をデータ検索の生成と対応させる。生成される経路は一意ではない。このため、どの経路をどのような順で生成するかという方策（戦略）を制御するため、一般導出原理を用いた制御が有効である事を示す。ここでは、試作システムLCC(gic Compiler Compil)を導入し、戦略制御の妥当性を検証する。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we propose a new method to select data access paths to establish high level of program independence. Database schemas are meta-description for describing structure among information by means of data models (or conceptual model description languages). Data manipulation is meta-description to specify users' intent by the meta-data description, we can examine what they want to do. here in this paper, meta-description are made by hyper graph in terms of first order logic formulas, especially creating data manipulation corresponds to generating sequences of hyper edges between two nodes. More than one paths can be generated, so we need a sophisticated control mechanism to determine strategies like what paths are desirable. We introduce an experimental system named LCC to validate strategy control.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112482
• 書誌情報: 情報処理学会研究報告データベースシステム（DBS）; 巻 1994, 号 62(1994-DBS-099), p. 217-224, 発行日 1994-07-20
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会