|
|||||
|
|
| Datalog逻辑程序调用语义及其应用研究 | |
| 引用本文： | 钟勇,郭伟刚,钟昌乐,刘凤玉,李宁.Datalog逻辑程序调用语义及其应用研究[J].计算机科学,2010,37(1):170-175. |
| 作者姓名： | 钟勇 郭伟刚 钟昌乐 刘凤玉 李宁 |
| 作者单位： | 1. 南京理工大学计算机科学与技术博士后流动站,南京,210094;佛山科学技术学院信息与教育技术中心,佛山,528000 2. 佛山科学技术学院信息与教育技术中心,佛山,528000 3. 南京理工大学计算机科学与技术博士后流动站,南京,210094;南京理工大学计算机科学与技术学院,南京,210094 4. 佛山市泰达安全生产事务有限公司,佛山,528000 |
| 基金项目： | 中国博士后科学基金(20070421015);;广东省自然科学基金(8452800001001086);;江苏省博士后科研资助计划(0801045B);;佛山市科技发展专项资金(200701002);;国家自然科学基金(60673127);;国家863计划(2007AA01Z404)资助 |
| 摘 要： | 提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法。最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例。 |
| 关 键 词： | Datalog语言 逻辑程序 程序调用 数字版权保护 |
| 收稿时间： | 2009/2/18 0:00:00 |
| 修稿时间： | 2009/5/15 0:00:00 |
Research on Call Semantic of Datalog Logic Program and its Application |
|
| 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. | |
| Authors: | ZHONG Yong GUO Wei-gang ZHONG Chang-le LIU Feng-yu LI Ning |
| Affiliation: | Postdoctoral Mobile on Computer Application/a>;Nanjing University of Science and Technology/a>;Nanjing 210094/a>;China;Information and Educational Technology Center/a>;Foshan University/a>;Foshan 528000/a>;China;School of Computer Science and Technology/a>;China;Taida Safety Produce Routine Co./a>;LTD/a>;China |
| Abstract: | 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. |
| Keywords: | Datalog language Logic program Program call Digital rights management (DRM) |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |