• 主题
高级搜索  >
历史搜索 清空历史
首页> 中文期刊>计算机科学 >Datalog逻辑程序调用语义及其应用研究

Datalog逻辑程序调用语义及其应用研究

     
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义.提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法.最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例.

著录项

  • 来源
    《计算机科学》|2010年第1期|170-175|共6页
  • 作者

    钟勇; 郭伟刚; 钟昌乐; 刘凤玉; 李宁;

  • 作者单位

    南京理工大学计算机科学与技术博士后流动站,南京,210094;

    佛山科学技术学院信息与教育技术中心,佛山,528000;

    佛山科学技术学院信息与教育技术中心,佛山,528000;

    佛山科学技术学院信息与教育技术中心,佛山,528000;

    南京理工大学计算机科学与技术博士后流动站,南京,210094;

    南京理工大学计算机科学与技术学院,南京,210094;

    佛山市泰达安全生产事务有限公司,佛山,528000;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类 安全保密;
  • 关键词

    Datalog语言; 逻辑程序; 程序调用; 数字版权保护;

  • 入库时间 2023-07-24 19:22:46

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号