摘要
提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法。最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例。
The paper firstly gave the call semantic and call predicates of datalog logic programs,and discussed the opera- tional 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.
出处
《计算机科学》
CSCD
北大核心
2010年第1期170-175,共6页
Computer Science
基金
中国博士后科学基金(20070421015)
广东省自然科学基金(8452800001001086)
江苏省博士后科研资助计划(0801045B)
佛山市科技发展专项资金(200701002)
国家自然科学基金(60673127)
国家863计划(2007AA01Z404)资助
