GAASTERLAND T,LOBO J. Processing negation and disjunction in logic programs through integrity constraints[J],Journal of Intel Inf Sys,1993,2(3):269-283.
[2]
LAKS V S.LAKSHMANAN, ROKIA Missaoui. On semantic query optimization in deductive databases[Z]. IEEEInt Conf on Data Engineering, Phoenix, A Z,1992.
[3]
王浩,张奠成.演绎的面向对象数据库研究[J].计算机研究与发展,1998,35(4):289-295.WANG Hao, ZHANG Dian-cheng. Research on deductive object-oriented databases[J]. Journal of Computer Research and Development,1998,35(4): 289-295.(in Chinese)
[4]
RAMAKRISHNAN R,ULLMAN J D.A survey of deductive database systems[J] .Journal of Logic Programming,1995,23(2):126-149.
[5]
陶世群,原锦辉.基于SQL SERVER的演绎数据库系统[J].计算机工程,2001,27(3):33-34.TAO Shi-qun, YUAN Jin-hui.A deductive database system based on SQL server[J].Computer Engineering,2001, 27(3):33-34.(in Chinese)
[6]
陶世群,陈晓东.演绎数据库中规则维护器的设计与实现[J].计算机工程与设计,2002,23(11):36-39.TAO Shi-qun,CHEN Xiao-dong. Designing and implement of a rule integrity constraints in deductive database system[J]. Computer Engineering and Design, 2002,23(11):36-39.(in Chinese)
[7]
常晋义,陶世群.演绎数据库系统中推理机的设计与实现[J].计算机工程,2002,29(11):134-136.CHANG Jin-yi,TAO Shi-qun.The designing and implementation of deductive machine for a deductive database system[J]. Computer Engineering, 2002,29(11):134-136. (in Chinese)
