2026-04-10T12:35:23Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00117796 2025-01-21T05:12:55Z 6504:7962:7968

Kappaデータベース機能の検査システム The inspection system of the database module of Kappa Kappa(Knowledge Application Oriented Advanced DBMS/KBMS)は、分散知識ベース管理システムであり、ESP(Extended Self-contained Prolog)で120K行からなる大規模なシステムである。Kappaは、高度な知識情報処理システムの基盤となる大量かつ複雑な知識(例えば電子化辞書、数学の知識など)を蓄積して自然言語処理、定理証明処理など広範な応用への利用が見込まれている。Kappaは、データベース層、知識ベース層、ユーザインタフェース層、ユーティリティ層から成るが、今回そのうちのデータベース層のコマンド機能を対象に検査を行った。本報告ではその検査で行った、自動化のための検査のシステム化について述べる。 conference paper 情報処理学会 1989-10-16 application/pdf 全国大会講演論文集 ソフトウェア工学 第39回 1487 1488 AN00349328 https://ipsj.ixsq.nii.ac.jp/record/117796/files/KJ00001336069.pdf jpn