2026-05-20T17:30:59Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00020312 2025-01-22T21:48:57Z 1164:1165:1229:1231

論理言語に基づくデータベース検索経路の選定 Determining Database Query Paths by Logic Languages 塩谷, 勇 三浦, 孝夫 Isamu, Shioya Takao, Miura 本稿では、データベースシステムの高度プログラム独立性のために、データの検索経路を’選定する’ための方策を提案する。データベーススキーマは、データモデル（概念モデル記述言語）による情報の構造のためのメタ記述である。また、データ操作（データ検索）はこのメタ記述を用いたデータ操作を意図するメタ記述であり、それが表現している意味はスキーマ記述を用いて確認することができる。ここでは、メタ記述を第1階論理式で表現した超グラフで表し、スキーマ上の2点間を繋ぐ超辺列を生成する操作をデータ検索の生成と対応させる。生成される経路は一意ではない。このため、どの経路をどのような順で生成するかという方策（戦略）を制御するため、一般導出原理を用いた制御が有効である事を示す。ここでは、試作システムLCC(gic　Compiler　Compil)を導入し、戦略制御の妥当性を検証する。 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. technical report 情報処理学会 1994-07-20 application/pdf 情報処理学会研究報告データベースシステム（DBS） 62(1994-DBS-099) 1994 217 224 AN10112482 https://ipsj.ixsq.nii.ac.jp/record/20312/files/IPSJ-DBS94099029.pdf jpn