演繹オブジェクト指向データベース言語Quixoteの手続き的意味論
スポンサーリンク
概要
- 論文の詳細を見る
Quixoteは,オブジェクトの概念の定式化を行なう,包摂関係に基づく制約を扱う論理型プログラミング言語である.知識情報処理に応用できる演繹オブジェクト指向データベース言語およびその処理系としてICOTで開発している.本稿ではQuixote言語に公理的意味論と手続き的意味論を与え,意味論面から考えられる今後の改良について考察する.
- 一般社団法人情報処理学会の論文
- 1993-07-21
著者
-
西岡 利博
(株)三菱総合研究所
-
津田 宏
(財)新世代コンピュータ技術開発機構
-
横田 一正
(財)新世代コンピュータ技術開発機構
-
西岡 利博
三菱総合研究所
-
西岡 利博
株式会社三菱総合研究所
-
小島 量
(財)新世代コンピュータ技術開発機構
関連論文
- 8.研究用データセット:攻撃元データ編 : ナレッジマネジメントツールによるマルウェア挙動の見える化(マルウェア)
- フィールドと仮想空間を結ぶ情報アクセスインタフェース
- 束を用いた概念間の包摂関係に関する表現と利明方式
- オブジェクト指向分散環境OZ++のコンパイルサーバの設計
- オブジェクト指向分散環境OZ++のオブジェクト管理系の設計
- オブジェクト指向分散環境OZ++のクラス配送機構
- オブジェクト指向分散環境OZ++の基本設計
- オブジェクト指向分散環境OZ++の言語の基本設計
- 拡張項と階層構造に基づいた演繹データベースの試作
- 状況理論による法的推論の形式化
- オブジェクト指向分散環境OZ++のコンフィギュレーション管理の設計
- オブジェクト指向分散環境OZ++のオブジェクトマネージャの設計
- オブジェクト指向分散環境OZにおけるセキュアプログラミング
- オブジェクト指向分散環境OZの暗号化通信プロトコル
- オブジェクト指向分散環境OZのセキュリティモデル
- オブジェクト指向分散環境OZにおけるフェデレーション管理の概念設計
- オブジェクト指向分散環境OZのアドレス解決機構
- オブジェクト指向分散環境 OZのプロセス内セキュリティ
- オブジェクト指向分散環境OZ++のアプリケーションゲートウェイの実装
- ワールドワイドな分散オブジェクト指向環境の構想
- クラスの共有と配送に基づくオブジェクト指向分散システムの設計と実現 (マルチメディア通信と分散処理)
- オブジェクト指向分散環境OZ++のWWW/CGIインタフェースの設計と実装
- オブジェクト指向分散環境OZ++のプログラミングパラダイム
- オブジェクト指向分散環境OZ++システム第一版の実現
- オブジェクト指向分散環境OZ++の開発環境ワークベンチ
- オブジエクト指向分散環境OZ++の名称管理の設計
- OZ++コンパイラによるクラスの版管理
- 6. 演繹・オブジェクト指向データベース (演繹データベース)
- DT-2-2 メタデータによるスキル情報活用から業界情報応用へ(DT-2.身近なところで役に立ち始めたセマンティックWeb,チュートリアル講演,ソサイエティ企画)
- ナレッジマネジメントツール:ビジネス情報ナビゲーター (特集:ユビキタス) -- (ユビキタスを支える技術)
- ネゴシエーションによる制約緩和の並列実装
- ネゴシエーションに基づくアブダクション
- 言語情報処理の枠組みとしてのQUIXOTE
- 自然言語の制約ベース文法理論へのDOOD風アプローチ
- 演繹オブジェクト指向データベースシステムQuixoteの特徴と実現
- 演繹オブジェクト指向データベース言語Quixoteの手続き的意味論
- IWPT91に参加して
- 2G-3 メール添付ファイルのトレースシステムの試作(ネットワークセキュリティ,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- 大規模知識ベースの構築と利用
- 人工知能におけるアルゴリズム (最近のアルゴリズム特集) -- (情報・システム)
- オブジェクトの交換を利用した分散サービス利用のためのフレームワーク
- 知識ベース管理システムKAPPAの構想 : PSIの環境と設計方針
- コンパイラと数式処理 : コンパイラ・インフラストラクチャCOINSの活用 : 構想 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 大学教育に期待するものしないもの(インタラクティブ・エッセイ)
- example sharing 法に対する scaling の効果
- 演繹オブジェクト指向データベースQUIXOTEの法的推論への応用 (「知識処理応用とデータベース」)
- micro-Quixoteの実現とその拡張機能
- Quixoteによる法律データベースの構築
- データベースに判決は予測できるか?
- 法的推論システムTRIALの開発
- 演繹オブジェクト指向データベースについて
- オブジェクト指向分散環境OZ++のオブジェクト管理機構の概要
- 3. オブジェクト指向データベースの技術的諸問題 3.2 オブジェクト指向データベース・プログラミング言語 (オブジェクト指向データベースシステム)
- 知識ベース管理システムKAPPAにおける知識の扱い : 項、意味ネット、フレームの扱い
- 情報漏えい防止セキュリティ技術 (特集 我が国基礎・基盤研究の現状--富士通研究所)
- 情報漏えい防止セキュリティ技術開発への取組み (特集 研究開発最前線)
- RDFとRDFスキーマ(セマンティックWebと計算機科学)
- カテゴリマッチング技術に基づくオントロジーアラインメント問題への取り組み
- 知識ベース管理システムKappaの概要 (「第五世代コンピュータ」)
- リンクするデータ(Linked Data)-広がり始めたデータのクラウド- : 5.Linked Dataと地理空間情報
- 機密文書の漏えい対策に向けた社外秘マークや透かし文字の検出技術
- クラウドにおけるデータ秘匿化および追跡技術(自律分散ネットワーク,P2Pネットワーク,オーバーレイネットワーク,マルチキャスト,セッション管理,インターネットトラヒック,コンテンツ配信,コンテンツ流通,コンテンツセキュリティ及び一般)
- 数値を含むテキストの類似検索が可能なフィンガープリント技術
- 安全なクラウド連携のためのデータセキュリティ (特集 研究開発最前線)
- マルチエージェントによるマルチデータベースの拡張
- 並列データベース管理システムKappa-Pの概要
- ゲ-デルと論理プログラミング (ゲ-デル)
- 学会公式Webサイトリニューアルについて
- 電子メールの特徴情報を用いた標的型メールへのクライアント対策技術の提案(セキュリティ,一般)
- 電子メールの特徴情報を用いた標的型メールへのクライアント対策技術の提案(セキュリティ,一般)
- 電子メールの特徴情報を用いた標的型メールへのクライアント対策技術の提案(セキュリティ,一般)
- 電子メールの特徴情報を用いた標的型メールへのクライアント対策技術の提案(セキュリティ,一般)
- センサーデータの安全な利活用を実現するプライバシー保護技術 (特集 研究開発最前線) -- (大量データの利活用)
- プライバシー保護データ開示における2-多様性を満たす機微データ曖昧化法(情報セキュリティ基礎)