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

来源：计算机工程与应用杂志2017年第15期北京时间：

作者：霍颖瑜1，马 莉1，胡敬文2，钟 勇1

单位：1.佛山科学技术学院 电子信息工程学院，广东 佛山 528000；2.佛山广播电视大学 理工教研室，广东 佛山 528000

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

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