Distributed temporal logic extended updatable datalog and its application

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

Computer Engineering and Applications ›› 2017, Vol. 53 ›› Issue (15): 101-105.DOI: 10.3778/j.issn.1002-8331.1703-0507

Previous Articles Next Articles

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

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

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

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

Abstract

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

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

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

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

[1]	CUI Zengle, QIAN Xiaodong. Research on Optimization of Information Spreading Model of Blockchain Social Network [J]. Computer Engineering and Applications, 2021, 57(7): 59-69.
[2]	MENG Xiangfu, WANG Dandan, ZHANG Feng. Overview of Spatial Keyword Queries [J]. Computer Engineering and Applications, 2021, 57(20): 13-24.
[3]	CHEN Shujuan, XU Yabin. Opinion Leader Mining Method for Theme Community [J]. Computer Engineering and Applications, 2021, 57(2): 156-163.
[4]	ZHANG Xueting, CHENG Hua, FANG Yiquan. Prediction of Co-authorship Based on Meta-Path and Node Attributes [J]. Computer Engineering and Applications, 2021, 57(2): 164-169.
[5]	WANG Yingbo, SUN Yongdi. GNN-Based Matrix Factorization Recommendation Algorithm [J]. Computer Engineering and Applications, 2021, 57(19): 129-134.
[6]	WEI Dingfeng, LI Liang, CHAI Jing. Social Recommendation Algorithm by Fusing Item Information [J]. Computer Engineering and Applications, 2021, 57(19): 198-204.
[7]	XIA Ying, ZHANG Jinfeng. POI Recommendation Fusing Social Relations and Local Geographic Factors [J]. Computer Engineering and Applications, 2021, 57(15): 133-139.
[8]	YOU Yun, WAN Changxuan, JIANG Tengjiao. Project Default Risk Prediction Considering Social Network in P2P Lending [J]. Computer Engineering and Applications, 2021, 57(13): 239-245.
[9]	YU Lingfei, GONG Haigang. Cooperation and Contribution Based Selfish Routing Protocol for Mobile Social Networks [J]. Computer Engineering and Applications, 2021, 57(1): 134-140.
[10]	YU Bo, TAI Xianqing, MA Zhijie. Study on Attribute and Trust-Based RBAC Model in Cloud Computing [J]. Computer Engineering and Applications, 2020, 56(9): 84-92.
[11]	WU Bo, LIU Yi. Data Deduplication Scheme with Dynamic Ownership Management Based on RCE in Cloud Storage [J]. Computer Engineering and Applications, 2020, 56(5): 101-108.
[12]	LI Weiyong, KONG Feng, ZHANG Wei, CHEN Yunfang. Node-Diffusing Capability of Biased Random Walks of Information Diffusion Method [J]. Computer Engineering and Applications, 2020, 56(24): 123-129.
[13]	LIN Qianru, WANG Bo, LIU Yunqing, LIU Xiaoyu, LIU Weipeng. Election Forecast Model Based on Information of Polls and Sentiment Analysis of Netizen [J]. Computer Engineering and Applications, 2020, 56(24): 130-136.
[14]	ZHAO Liang, CHEN Pinghua, LIAO Weiping. Social Recommendation Based on Latent Factors of Social Network Users [J]. Computer Engineering and Applications, 2020, 56(24): 169-174.
[15]	PIAO Yangheran, CUI Xiaohui. Review on User Privacy Inference and Protection in Social Networks [J]. Computer Engineering and Applications, 2020, 56(19): 1-12.

Distributed temporal logic extended updatable datalog and its application

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics