• 散居

  • 在14篇文章中引用[sw02659]
  • 上下文包括确定查询完成,处理查询 重写,支持查询终止并防止多次计算。。。
  • Ontop公司

  • 引用15篇文章[sw22931]
  • Ontop技术树见证查询 重写,-映射正在编译具有本体层次结构的R2RML映射。。。完整性约束系统生成可伸缩SQL查询...
  • 格兰根

  • 引用21篇文章[sw00387]
  • 持久数据存储和查询. 图形重写高层。。。
  • ProbView公司

  • 27条引用[sw09438]
  • 策略可以用多项式时间计算,查询在概率的正片段中。。。通过实验证明重写某些类型的查询其他等价形式通常。。。
  • 卡里布

  • 在14篇文章中引用[sw10064]
  • 其中程序是重写系统和查询评估包括重写一块地。。。
  • 木材

  • 引用了20篇文章[sw02327]
  • 关系的标准组件查询处理,包括代数重写以及基于成本的优化器。。。
  • 格拉尔

  • 引用3篇文章[sw27338]
  • 数据类型,前向链接和查询 重写算法,可判定性的结构分析。。。更详细地描述查询 重写算法,依赖于原始技术,并报告。。。
  • 霍特SQL

  • 引用2篇文章[sw27484]
  • HoTTSQL:证明查询 重写具有一价SQL语义。每个数据库系统都包含查询优化器。。。那就是表演查询 重写. 不幸的是查询优化器仍然是一项极具挑战性的任务。部分。。。丰富的特点查询语言,它使推理重写规则很难。在本文中。。。研究文献(例如,魔术集重写)和现实世界查询优化器(例如,子查询消除)。几个。。。
  • 伊兹

  • 引用2篇文章[sw10113]
  • 关系数据库中的约束挖掘查询 重写在数据集成系统中。根据。。。
  • SQL证书

  • 1条引用[sw28676]
  • 选择用于编译的相应代数查询. 我们建议使用SQLCert,一个由三个。。。编译器的逻辑优化是基于代数的重写,我们还定义了外部的一个Coq机械化。。。实践中常用(SQL查询)重写为乐观者提供了有力的保证。正在做。。。
  • 帕穆德

  • 引用了30篇文章[sw08422]
  • 概率目标系统。我们介绍一个重写-基于规范语言的概率并发建模语言。。。同时讨论。具体来说,我们引入查询被称为定量时间表达的语言。。。
  • 锤子

  • 1条引用[sw27958]
  • 数据库。因此查询发动机负责重写适应盲人查询... 的各种实现查询发动机重写算法或得到。。。
  • 伊朱利恩

  • 参考6篇文章[sw09903]
  • 介绍iJulienne,一个条件跟踪分析器重写逻辑理论可以用来。。。伊朱利恩也被赋予了痕迹查询增加灵活性和减少力量的机制。。。
  • 黄蜂

  • 参考6篇文章[sw21362]
  • 基于图的逻辑程序设计解释器重写在线性时间算法上显示。。。用作断言查询由Horn从句否定的析取组成。。。
  • XPTO公司

  • 引用2篇文章[sw15781]
  • XML的著名特性查询语言,允许在没有穷尽。。。特点和适应能力重写XPath专用化和优化系统。。。生成包含优化的Haskell程序查询作为Haskell函数。前端本身。。。
  • PSOA2TPP

  • 1条引用[sw07648]
  • 使用开源的VampirePrime reasoner,使查询回答和牵连以及一致性。。。我们开发的语法。我们讨论如何重写原PSOA/PS语法成。。。翻译阶段。我们把翻译和查询代码到RESTfulWeb服务中以方便。。。
  • JChemPaint公司

  • 引用2篇文章[sw26087]
  • 想要提交一个结构查询在数据库里,准备一个分子的起始结构。。。给定的结构不必重写这个标准的软件一次又一次。。。
  • 数学软件

  • 引用5957篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。