2026-05-11T09:36:55Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00020359 2025-01-22T21:46:42Z 1164:1165:1234:1237

演繹オブジェクト指向データベース言語QUIXOTEの手続き的意味論 Procedural Semantics of a DOOD Programming Language QUIXOTE 西岡, 利博 小島, 量 津田, 宏 横田, 一正 Toshihiro, Nishioka Ryo, Ojima Hiroshi, Tsuda Kazumasa, Yokota QUIXOTEは、オブジェクトの概念の定式化を行なう、包摂関係に基づく制約を扱う論理型プログラミング言語である。知識情報処理に応用できる演繹オブジェクト指向データベース言語およびその処理系としてICOTで開発している。本稿ではQUIXOTE言語に公理的意味論と手続き的意味論を与え、意味論面から考えられる今後の改良について考察する。 QUIXOTE is a logic programming language with subsumption constraints, by which concepts of an object are formulated. ICOT has been developing the language and its experimental system in the framework of deductive object-Oriented databases (DOOD) for knowledge information processing applications. This short paper gives both the axiomatic and the procedural semantics of the language, and consisder some improvements for the implementation from a semantic point of view. technical report 情報処理学会 1993-07-22 application/pdf 情報処理学会研究報告データベースシステム（DBS） 65(1993-DBS-094) 1993 1 10 AN10112482 https://ipsj.ixsq.nii.ac.jp/record/20359/files/IPSJ-DBS93094001.pdf jpn