• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Data & Knowledge Engineering >Extending Datalog with arrays
【24h】

Extending Datalog with arrays

机译：用数组扩展数据记录

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this paper the problem of extending the logic database language Datalog with primitives to support array definitions and manipulations is addressed. The syntax and the semantics of this language, called Datalog~A, are given by showing that model theoretic properties of ordinary Datalog extend to Datalog~A. Datalog~A fixpoint semantics and its implementation are also studied and presented. Sufficient conditions assuring program evaluation convergence when manipulating real-valued arrays are finally discussed.
机译：在本文中，解决了使用原语扩展逻辑数据库语言Datalog以支持数组定义和操作的问题。通过显示普通Datalog的模型理论特性扩展到Datalog_A，可以给出这种语言的语法和语义，即Datalog_A。还研究并介绍了Datalog〜Fixpoint语义及其实现。最后讨论了在处理实值数组时确保程序评估收敛的充分条件。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号