Datalog逻辑程序调用语义及其应用研究  被引量:1

Research on Call Semantic of Datalog Logic Program and its Application

在线阅读下载全文

作  者:钟勇[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[自动化与计算机技术—计算机系统结构]

 

参考文献:

正在载入数据...

 

二级参考文献:

正在载入数据...

 

耦合文献:

正在载入数据...

 

引证文献:

正在载入数据...

 

二级引证文献:

正在载入数据...

 

同被引文献:

正在载入数据...

 

相关期刊文献:

正在载入数据...

相关的主题
相关的作者对象
相关的机构对象