リレーショナル・データベースの質問言語としての多層論理式と検索手続への変換アルゴリズム
スポンサーリンク
概要
- 論文の詳細を見る
本論文は多層論理式によるリレーショナル・データベースに対する質問の記述方法と, その論理式を検索手順に変換するアルゴリズムについて論じたものである. 多層論理式は構造をもった対象に関する記述ができるように many sorted logicを拡張した形式言語である. 多層論理式のデータベース質問言語への応用に関しては, その機能の一部である要素を値とする変数だけでなく集合や冪集合を値とする変数も陽に記述することができることを利用する. データベース質問言語としての多層論理式の特徴を以下に示す. (1)従来の論理型の質問言語のように特殊な記号や手続的な要素を導入することなく集合演算, さらにそれらのネストを含む質問を表現できる. (2)多層論理式によって計算機内に記憶されているリレーションから仮想的なリレーションを定義することができ質問に対する推論処理が行えるので, 計算機内に記憶されているリレーションに対する質問と仮想的なリレーションに対する質問を同じ形式で表現できる. (3)多層論理式は自然言語型や例題型の質問言語の目的言語になりうる.
- 一般社団法人情報処理学会の論文
- 1982-11-15
著者
関連論文
- 知的CADにおける機能モデルの生成と評価
- 知識工学の機械設計CADへの応用
- KAUSによるグラフの知識表現と基本操作(情報の構造化と意味に関する研究)
- 知識ベースシステムKAUSによるモデル構築(情報の構造化と意味に関する研究)
- 知識情報処理研究の概要 (知識情報処理)
- ソフトウェアの要求モデル構築における発想支援とモデル生成
- テキストオブジェクトを空間配置することによる思考支援システム
- 設計への人工知能導入の考え方
- 1. 自動プログラミング 1.2 人工知能からみた自動プログラミング (自動プログラミング)
- 人工知能 : 今日・明日
- 人工知能学会設立までの経過
- 人工知能の現状と今後の動向(総論,機械工業におけるAI応用)
- 知識表現に関する一考察
- 知識表現に関する一考察(知識ベースとデータベースの統合化に関する研究)
- データ構造とモデリング技術 (データ構造)
- 知識の獲得と学習 (知識工学)
- コンピュータによるモデリング(工学とモデル)
- 知識の表現に関する一考察 : 情報理論的観点から
- 述語論理のCADへの応用(その2)
- 述語論理のCADへの応用(その1)
- 知識情報処理に関する一考察(情報の構造化と意味に関する研究)
- 知識ベース技術の展望 (データベース技術)
- パネル討論会 : 人工知能研究の目指すもの : 昭和61年後期第33回全国大会報告
- 知的モデル構築支援方式による問題解決システム
- 知的情報処理の現状と課題 (知的情報処理)
- デ-タベ-ス管理システム
- 既存デ-タベ-スによる物性予測から意外性を期待できるか (物性予測における理論の有効性)
- コンピュ-タによる新材料開発 (化学工業の新しい可能性を探る)
- 知識工学と人工知能
- 知識システムのCADへの応用
- 知識工学とモデル構築(知識工学)
- A New Method of Model Description : Use of Knowledge Base and Inference (デ-タ・セマンティクスの理論と実際に関する研究)
- Prologに関するいくつかの性質について
- 人工知能の将来展望 (情報技術の将来展望)
- CADにおけるモデルの記述方式 (設計論とCAD) -- (機械設計と情報処理)
- 木パターン上の決定リストの学習とその推論制御への応用
- 木パターン上の決定リストの学習とその推論制御への応用
- Implementation of GOING : A Datalanguage Using Graphics Display (デ-タ・セマンティクスの理論と実際に関する研究)
- Construction of SBDS-F3 : A Relational Database with Inference Mechanism (デ-タ・セマンティクスの理論と実際に関する研究)
- リレーショナル・データベースの質問言語としての多層論理式と検索手続への変換アルゴリズム
- 情報システム開発におけるトレーサビリティの特質と管理モデルの考察(次世代経営情報技術,一般)
- SysML図間の潜在的要求トレーサビリティの自動検索に向けて(提案型エンタプライズモデリング,一般)
- 技術分野における人工知能
- ベクトル空間検索モデルへの緊密用語集合の適用(提案型エンタプライズモデリング,一般)