计算机工程与应用 ›› 2017, Vol. 53 ›› Issue (15): 101-105.DOI: 10.3778/j.issn.1002-8331.1703-0507

• 大数据与云计算 • 上一篇    下一篇

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

霍颖瑜1,马  莉1,胡敬文2,钟  勇1   

  1. 1.佛山科学技术学院 电子信息工程学院,广东 佛山 528000
    2.佛山广播电视大学 理工教研室,广东 佛山 528000
  • 出版日期:2017-08-01 发布日期:2017-08-14

Distributed temporal logic extended updatable datalog and its application

HUO Yingyu1, MA Li1, HU Jingwen2, ZHONG Yong1   

  1. 1.Electronic and Information Engineering School, Foshan University, Foshan, Guangdong 528000, China
    2.Science and Engineering Teaching Room, Foshan Radio and Television University, Foshan, Guangdong 528000, China
  • Online:2017-08-01 Published:2017-08-14

摘要: 针对现有的分布式逻辑语言缺乏完整时态表达力等问题,将分布式时态逻辑谓词引入Datalog规则,提出TU-Datalog语言。该语言通过融入U-Datalog的非即时性更新语义,形成完全声明式具有强大时态表达力的逻辑编程语言和环境。通过扩展U-Datalog逻辑固定点语义,提出TU-Datalog语言的固定点时态演化规则,并对该语言的语法、语义、评价算法进行了研究,最后对该语言的应用做了说明和示例。

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

Abstract: Focused on the problem that current distributed logic languages are short of temporal expressiveness, the paper presents TU-Datalog language by incorporating distributed temporal logic into Datalog rules, which makes the language a pure declarative logic programming language and environment with powerful temporal expressiveness based on non-immediate update semantics of U-Datalog. The paper illuminates the temporal evolved rules of fixpoint of the language by extending the fixpoint language of U-Datalog. The syntax, semantics and evaluation algorithms of the language are explained. And the application of the language is discussed and exampled.

Key words: TU-Datalog, distributed temporal logic, social network, access control