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

doi:10.3778/j.issn.1002-8331.1703-0507

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

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

霍颖瑜1，马莉1，胡敬文2，钟勇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.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

摘要/Abstract

摘要： 针对现有的分布式逻辑语言缺乏完整时态表达力等问题，将分布式时态逻辑谓词引入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

霍颖瑜1，马莉1，胡敬文2，钟勇1. 可更新Datalog的分布式时态逻辑扩展及应用[J]. 计算机工程与应用, 2017, 53(15): 101-105.

HUO Yingyu1, MA Li1, HU Jingwen2, ZHONG Yong1. Distributed temporal logic extended updatable datalog and its application[J]. Computer Engineering and Applications, 2017, 53(15): 101-105.

[1]	崔增乐，钱晓东. 区块链社交网络信息传播模型的优化研究[J]. 计算机工程与应用, 2021, 57(7): 59-69.
[2]	孟祥福，王丹丹，张峰. 空间关键字查询综述[J]. 计算机工程与应用, 2021, 57(20): 13-24.
[3]	陈淑娟，徐雅斌. 面向主题社团的意见领袖挖掘方法[J]. 计算机工程与应用, 2021, 57(2): 156-163.
[4]	王英博，孙永荻. 基于GNN的矩阵分解推荐算法[J]. 计算机工程与应用, 2021, 57(19): 129-134.
[5]	卫鼎峰，李梁，柴晶. 融合物品信息的社会化推荐算法[J]. 计算机工程与应用, 2021, 57(19): 198-204.
[6]	夏英，张金凤. 融合社交关系和局部地理因素的兴趣点推荐[J]. 计算机工程与应用, 2021, 57(15): 133-139.
[7]	余波，台宪青，马治杰. 云计算环境下基于属性和信任的RBAC模型研究[J]. 计算机工程与应用, 2020, 56(9): 84-92.
[8]	吴波，柳毅. 基于RCE的云存储动态所有权管理数据去重方案[J]. 计算机工程与应用, 2020, 56(5): 101-108.
[9]	李维勇，孔枫，张伟，陈云芳. 节点传播能力的偏好随机行走的信息传播方法[J]. 计算机工程与应用, 2020, 56(24): 123-129.
[10]	林倩茹，王博，刘云清，刘小煜，刘威鹏. 基于民调与网民情感倾向性的选情预测模型[J]. 计算机工程与应用, 2020, 56(24): 130-136.
[11]	赵亮，陈平华，廖威平. 融合社交网络用户潜在因子的社会化推荐[J]. 计算机工程与应用, 2020, 56(24): 169-174.
[12]	朴杨鹤然，崔晓晖. 社交网络中用户隐私推理与保护研究综述[J]. 计算机工程与应用, 2020, 56(19): 1-12.
[13]	方劲皓，钱晓东. 改进的SCIR模型中社交网络信息传播研究[J]. 计算机工程与应用, 2020, 56(19): 105-113.
[14]	古丽米热·尔肯，努尔买买提·黑力力. 基于CP-ABE重加密的敏感数据访问控制限制方案[J]. 计算机工程与应用, 2020, 56(18): 69-76.
[15]	尹龙潇，伍忠东. 密文策略属性加密中的撤销控制方案[J]. 计算机工程与应用, 2020, 56(13): 100-105.

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

Distributed temporal logic extended updatable datalog and its application

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics