Kappaデータベース機能の検査システム
スポンサーリンク
概要
- 論文の詳細を見る
Kappa(Knowledge Application Oriented Advanced DBMS/KBMS)は、分散知識ベース管理システムであり、ESP(Extended Self-contained Prolog)で120K行からなる大規模なシステムである。Kappaは、高度な知識情報処理システムの基盤となる大量かつ複雑な知識(例えば電子化辞書、数学の知識など)を蓄積して自然言語処理、定理証明処理など広範な応用への利用が見込まれている。Kappaは、データベース層、知識ベース層、ユーザインタフェース層、ユーティリティ層から成るが、今回そのうちのデータベース層のコマンド機能を対象に検査を行った。本報告ではその検査で行った、自動化のための検査のシステム化について述べる。
- 一般社団法人情報処理学会の論文
- 1989-10-16
著者
-
金枝上 敦史
三菱電機(株) 情報技術総合研究所
-
佐藤 靖彦
茨城大学 工学部
-
吉武 淳
三菱電機(株)情報技術総合研究所
-
金枝上 敦史
三菱電機(株)
-
吉武 淳
三菱電機株式会社情報システム研究所
-
平岡 公一
(株)インテック
-
河村 元夫
(財)新世代コンピュータ技術開発機構
-
佐藤 靖彦
(株)インテック
-
河村 元夫
Nec C&cメディア研究所 ヒューマンメディア研究所
関連論文
- 広域監視制御システムフレームワーク開発 : 再利用分析
- データ分析支援ツール"DBSOLVER" : 画面とデータ項目のリバース機能
- オブジェクト指向フレームワークによる広域監視制御システムの開発
- データ分析支援ツール"DBSOLVER"(2) : 分析の流れ
- 3V-2 手順ベースヘルプデスクシステム(2) : 作業手順の類似性に基づく分類・検索方式
- 3V-1 手順ベースヘルプデスクシステム(1) : システムの枠組み
- 4Q-4 RDBを用いた通信ノードパラメータの整合性検証
- 編成表作成支援システムの開発
- データ分析支援ツール"DBSOLVER"(3) : ER図統合支援機能
- RS画像データのMLHとNN分類結果の比較評価
- 紙を目指した情報端末
- 本指向ユーザインタフェースの提案
- テレコムシステムに対するCORBA適用の検討
- 携帯情報端末のためのウィジェット・サーバ
- 分散共有アクティブドキュメントの実現方式
- 情報端末のための複合ドキュメント分散共有方式
- ユーザインタフェースに特化した情報端末アーキテクチャ
- 公開鍵証明証の検証法式の考察
- SET他の認証システムの構築方法に関する考察
- SET他の公開鍵証明証の検証方式の考察
- 知識ベース管理システムKappaの非正規関係ユーザインタフェース
- Kappa-Pの中間言語処理部
- 分散サービスの柔軟な連携を実規するサービスプラグインシステム(3) : アプリケーション制御方式
- 分散サービスの柔軟な連携を実現するサービスプラグインシステム(2) : アプリケーション記述方式
- 分散サービスの柔軟な連携を実現するサービスプラグインシステム(1) : 全体構想
- 障害情報解析方式の一提案
- Kappaにおける集合とその内部処理
- Kappaデータベース機能の検査システム
- 知識ベース管理システムKappaの概要 (「第五世代コンピュータ」)
- シソーラスの構成に関する一考察
- データ分析支援ツール"DBSOLVER"(1) : 狙いと機能概要
- Kappa-Pの単一レコード・アクセス機能
- 並列データベース管理システム:Kappa-P
- 並列データベース管理システムKappa-Pの概要
- Kappa-Pのアンネスト/ネスト処理
- Kappa-Pのトランザクション制御
- Kappa-Pのネームサーバ機能
- Kappa-Pの並列問い合わせ処理
- ニューラルネットワークによるミクセルデークの分類
- 相互認証に関する一考察