WEKO3
アイテム
リレーショナル・データベースの質問言語としての多層論理式と検索手続への変換アルゴリズム
https://ipsj.ixsq.nii.ac.jp/records/16114
https://ipsj.ixsq.nii.ac.jp/records/16114630a611c-5938-40bf-a605-0abd4fdd34cb
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
|
|
Copyright (c) 1982 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1982-11-15 | |||||||
| タイトル | ||||||||
| タイトル | リレーショナル・データベースの質問言語としての多層論理式と検索手続への変換アルゴリズム | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | The Multi - layer Logic as a Relational Database Query Language and Its Reduction Algorithm to Relational Procedures | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 東京大学工学部境界領域研究施設 | ||||||||
| 著者所属 | ||||||||
| 東京大学工学部境界領域研究施設 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Institute of Interdisciplinary Research Faculty of Engineering, University of Tokyo | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Institute of Interdisciplinary Research Faculty of Engineering, University of Tokyo | ||||||||
| 著者名 |
宇田川, 佳久
大須賀, 節雄
× 宇田川, 佳久 大須賀, 節雄
|
|||||||
| 著者名(英) |
Yoshihisa, Udagawa
Setsuo, Ohsuga
× Yoshihisa, Udagawa Setsuo, Ohsuga
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本論文は多層論理式によるリレーショナル・データベースに対する質問の記述方法と その論理式を検索手順に変換するアルゴリズムについて論じたものである.多層論理式は構造をもった対象に関する記述ができるようにmany sorted logicを拡張した形式言語である.多層論理式のデータベース質問言語への応用に関しては その機能の一部である要素を値とする変数だけでなく集合や冪集合を値とする変数も陽に記述することができることを利用する.データベース質問言語としての多層論理式の特徴を以下に示す.(1)従来の論理型の質問言語のように特殊な記号や手続的な要素を導入することなく集合演算 さらにそれらのネストを含む質問を表現できる.(2)多層論理式によって計算機内に記憶されているリレーションから仮想的なリレーションを定義することができ質問に対する推論処理が行えるので 計算機内に記憶されているリレーションに対する質問と仮想的なリレーションに対する質問を同じ形式で表現できる.(3)多層論理式は自然言語型や例題型の質問言語の目的言語になりうる. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 23, 号 6, p. 634-642, 発行日 1982-11-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||