Computer Science ›› 2010, Vol. 37 ›› Issue (1): 170-175.
Previous Articles Next Articles
ZHONG Yong,GUO Wei-gang,ZHONG Chang-le,LIU Feng-yu,LI Ning
Online:
Published:
Abstract: The paper firstly gave the call semantic and call predicates of datalog logic programs, and discussed the operational and fixpoint semantics of U-datalog programs with call predicates. Then the algorithms that evaluate U-Datalog programs with call predicates under definite stratified calls were presented. Finally, applications of the call semantic of datalog programs in digital rights management were explained and demonstrated.
Key words: Datalog language, Logic program, Program call, Digital rights management(DRM)
ZHONG Yong,GUO Wei-gang,ZHONG Chang-le,LIU Feng-yu,LI Ning. Research on Call Semantic of Datalog Logic Program and its Application[J].Computer Science, 2010, 37(1): 170-175.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2010/V37/I1/170
Cited