检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:钟勇[1,2] 郭伟刚[2] 钟昌乐[2] 刘凤玉[1,3] 李宁
机构地区:[1]南京理工大学计算机科学与技术博士后流动站,南京210094 [2]佛山科学技术学院信息与教育技术中心,佛山528000 [3]南京理工大学计算机科学与技术学院,南京210094 [4]佛山市泰达安全生产事务有限公司,佛山528000
出 处:《计算机科学》2010年第1期170-175,共6页Computer Science
基 金:中国博士后科学基金(20070421015);广东省自然科学基金(8452800001001086);江苏省博士后科研资助计划(0801045B);佛山市科技发展专项资金(200701002);国家自然科学基金(60673127);国家863计划(2007AA01Z404)资助
摘 要:提出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.
关 键 词:Datalog语言 逻辑程序 程序调用 数字版权保护
分 类 号:TP309[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222