摘要
本文综述了可演绎系统目前的研究情况,认为以 DATALOG 为代表的演绎数据库系统进化为实用系统是困难的。文中简介了一个基于 PROLOG 的可实用的可演绎系统,还对进一步的研究内容及其原因进行了讨论。
出处
《计算机科学》
CSCD
北大核心
1993年第3期23-25,共3页
Computer Science
同被引文献20
-
1高全泉.Prolog语言实用化新进展[J].计算机科学,1994,21(2):1-5. 被引量：4
-
2Raghu Ramakrishnan, Jeffrey D Ullman. A survey of deductive database systems[M]. J. Log. Program, 1995, 23(2):125-149.
-
3Raghu Ramakrishnan, Johannes Gehrke. Database management systems[J]. Mc. Graw Hill, 2003.
-
4Li Lei. The research of deductive systen [ J ]. Computer Science, 1993,20, (3) :23-25.
-
5Utkarsh Srivastava, Kamesh Munagala, Jennifer Widom. Operator placement for in-network stream query processing[ C]. In PODS, 2005, 250-258.
-
6Shawn R Jeffery, Oustavo Alonso, Michael J Franklin, et al. Declarative support for sensor data cleaning[ C]. In Pervasive, 2006, 83-100.
-
7Boon Thau Leo, Joseph M Hellerstein, Ion Stoica, et al. Declarative routing: extensible routing with declarative queries [ C]. In Proceedings of ACM Sigcomm. 2005.
-
8Boon Thau Loo, Tyson Condie, Joseph M Hellerstein, et al. Implementing declarative overlays[C]. In SOSP, 2005, 75-90.
-
9Boon Thau Loo, Tyson Condie, Minos Garofalakis, etal. Declarative networking: language, execution and optimization[ C]. Proceedings of the ACM Sigmod International, Conference on Management of Data, Chicago, Illinois, USA,2006,27-29.
-
10Gustavo Alonso, Evangelos Kranakis, Cindy Sawchuk, et al. Probabilistic protocols for node discovery in Ad Hoc multi-channel broadcast networks [ C ]. In ADHOC-NOW, 2003, 104-115.
-
1张小红,何华灿,李伟华.泛逻辑的基本形式演绎系统UL及其可靠性[J].计算机科学,2003,30(11):21-24. 被引量：3
-
2王汝传.编译组合理论的研究[J].南京邮电学院学报,1997,17(3):71-75.
-
3安向明,杨艳娟.家庭知识系统的构造与搜索推理实现[J].大庆师范学院学报,2011,31(3):10-12. 被引量：1
-
4郑朝华,彭桂芸,刘清.基于缺省理论演绎的规则型T-R程序生成系统[J].小型微型计算机系统,1997,18(11):19-26.
-
5陆汝钤,应明生.知识推理的一个模型[J].中国科学（E辑）,1998,28(4):363-369. 被引量：9
-
6LI Wei,SUI YueFei,SUN MeiYing.The sound and complete R-calculus for revising propositional theories[J].Science China(Information Sciences),2015,58(9):1-12. 被引量：2
-
7权义宁,胡予濮,李新社.P2P网络中基于模糊推理的信任综合评判[J].通信学报,2009,30(8):124-130. 被引量：2
-
8茹戈华,许运为,石树刚,郑振楣.建立在WDDBS上的演绎系统WDeDB[J].计算机与数字工程,1994,22(1):22-28.
-
9于江生.句法范畴的代数结构与演绎系统[J].中文信息学报,2001,15(2):9-15.
-
10罗敏霞,何华灿.理想状态下泛逻辑的形式演绎系统β[J].计算机科学,2004,31(3):95-98.
