演繹的網型データベースシステム
スポンサーリンク
概要
- 論文の詳細を見る
This paper presents the design and implementation of deductive database systems for conventional network database systems. Although almost all of the researchers have been trying to combine the relational model and the logic programming, we try to augment the conventional network database system with inference facilities of resolutions. In this paper, we define a formal system based on the first-order theory for the conventional network model. Then, we show an improvement of the SLD resolution by taking advantage of the network model. In our refutation procedure, meaningless backtracking for finding a refutation and redundant refutations for finding all answer substitutions are prevented. Also, in our procedure, for a given goals, procedures which can obtain a set of answer substitutions are generated by accessing the conventional network database. The procedures are written in an object-oriented manner.
- 1987-06-01
論文 | ランダム
- 仙台藩の「沽却」について--身代限ならびに分散との関連で-1-
- 近世の公事銭に関する一試論--二本松藩の事例を中心にして
- 宝暦期仙台藩の金銀出入取捌仕法改革
- 天和・貞享期の幕府相対済令に関する二、三の史料
- 近世雇傭法の構造とその史的展開過程序説--幕府および東北諸藩雇傭法よりみたる-1-