...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Theory and Practice of Logic Programming >Applying Constraint Logic Programming to SQL Semantic Analysis
【24h】

Applying Constraint Logic Programming to SQL Semantic Analysis

机译：将约束逻辑编程应用于SQL语义分析

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

摘要

This paper proposes the use of Constraint Logic Programming (CLP) to model SQL queries in a data-independent abstract layer by focusing on some semantic properties for signalling possible errors in such queries. First, we define a translation from SQL to Datalog, and from Datalog to CLP, so that solving this CLP program will give information about inconsistency, tautology, and possible simplifications. We use different constraint domains which are mapped to SQL types, and propose them to cooperate for improving accuracy. Our approach leverages a deductive system that includes SQL and Datalog, and we present an implementation in this system which is currently being tested in classroom, showing its advantages and differences with respect to other approaches, as well as some performance data.
机译：本文提出了使用约束逻辑编程（CLP）在数据独立的抽象层中对SQL查询进行建模的方法，该方法着重于一些语义属性，以表示此类查询中可能的错误。首先，我们定义了从SQL到Datalog以及从Datalog到CLP的转换，以便解决此CLP程序将提供有关不一致，重言式和可能的简化的信息。我们使用映射到SQL类型的不同约束域，并建议它们进行协作以提高准确性。我们的方法利用了一个包含SQL和Datalog的演绎系统，我们介绍了该系统的一种实现，该实现目前正在教室中进行测试，显示了其相对于其他方法的优缺点以及一些性能数据。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号