可更新Datalog的分布式时态逻辑扩展及应用  

Distributed temporal logic extended updatable datalog and its application

作　　者：霍颖瑜[1] 马莉[1] 胡敬文[2] 钟勇[1] HUO Yingyu;MA Li;HU Jingwen;ZHONG Yong(Electronic and Information Engineering School, Foshan University, Foshan, Guangdong 528000, China;Science and Engineering Teaching Room, Foshan Radio and Television University, Foshan, Guangdong 528000, China)

机构地区：[1]佛山科学技术学院电子信息工程学院,广东佛山528000 [2]佛山广播电视大学理工教研室,广东佛山528000

出　　处：《计算机工程与应用》2017年第15期101-105,共5页Computer Engineering and Applications

基　　金：国家自然科学基金(No.61373015);广东省自然科学基金(No.2015A030313638);广东省前沿与关键技术创新专项资金(No.2016B010113004);佛山科学技术学院科研项目

摘　　要：针对现有的分布式逻辑语言缺乏完整时态表达力等问题,将分布式时态逻辑谓词引入Datalog规则,提出TU-Datalog语言。该语言通过融入U-Datalog的非即时性更新语义,形成完全声明式具有强大时态表达力的逻辑编程语言和环境。通过扩展U-Datalog逻辑固定点语义,提出TU-Datalog语言的固定点时态演化规则,并对该语言的语法、语义、评价算法进行了研究,最后对该语言的应用做了说明和示例。Focused on the problem that current distributed logic languages are short of temporal expressiveness,the paperpresents TU-Datalog language by incorporating distributed temporal logic into Datalog rules,which makes the language apure declarative logic programming language and environment with powerful temporal expressiveness based on nonimmediateupdate semantics of U-Datalog.The paper illuminates the temporal evolved rules of fixpoint of the languageby extending the fixpoint language of U-Datalog.The syntax,semantics and evaluation algorithms of the languageare explained.And the application of the language is discussed and exampled.

关 键 词：TU-Datalog语言 分布式时态逻辑 社交网络 访问控制 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]