• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>AI communications >Semi-Inflationary DATALOG: A declarative database language with procedural features
【24h】

Semi-Inflationary DATALOG: A declarative database language with procedural features

机译：半通货的DATALOG：具有程序功能的声明性数据库语言

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

摘要

This paper presents a rule-based database language which extends stratified DATALOG by adding a controlled form of inflationary fixpoint, immersed in a context of classical stratified negation with least fixpoint. The proposed language, called Semi-Inflationary DATALOG (DATALOG~(@*)) for short), smoothly combines the declarative purity of stratified negation with the procedural style of the inflationary fixpoint, DATALOG~(@*)) is particularly suitable to express algorithms in a mixed style: declarative rules, whenever it is natural and convenient, and procedural ones, any time it is easier to list the sequence of single actions. In the latter case, in order not to oblige the programmer to supply unnecessary procedural details, a number of choice constructs are available to express don't care non-determinism. The semantics of a DATALOG~(@*)) program is given using stable models by means of rule rewriting into a DATALOG program with choice and XY-stratification. In addition the complexity and expressive power of DATALOG~(@*)) queries is precisely characterized and some lights are put on the related class NQPTIME as well.
机译：本文提出了一种基于规则的数据库语言，该语言通过添加受控形式的通货膨胀定点扩展了分层DATALOG，沉浸在最小定点的经典分层否定条件下。所提议的语言称为半通货膨胀的DATALOG（简称DATALOG〜（@ *）），它平滑地结合了分层否定的声明性纯正性和通货膨胀定点的程序样式，DATALOG〜（@ *））特别适合于表达混合风格的算法：声明性规则（只要自然且方便），以及程序性规则，则更容易列出单个操作的序列。在后一种情况下，为了不强迫程序员提供不必要的过程细节，可以使用许多选择结构来表示“不在乎”非确定性。通过使用规则和XY分层将规则重写到DATALOG程序中，使用稳定的模型来给出DATALOG〜（@ *））程序的语义。此外，还精确地描述了DATALOG〜（@ *））查询的复杂性和表达能力，并且在相关类NQPTIME上也有一些亮点。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号