• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Programming languages and systems >A Deductive Database with Datalog and SQL Query Languages
【24h】

A Deductive Database with Datalog and SQL Query Languages

机译：具有数据记录和SQL查询语言的演绎数据库

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

摘要

This paper introduces Datalog Educational System (DES), a deductive database which supports both Datalog and SQL as query languages. Since its inception, this system is targeted to educational purposes rather to develop an efficient, competitive system with respect to other existing systems. As distinguishing features, it is free, open-source, multiplatform, interactive, portable, GUI-enabled, implemented following ISO-Prolog and supports extensions to pure Datalog in the form of stratified negation, strong constraints, types, metapredicates, and duplicates. Also, test case generation for SQL views and declarative debugging for Datalog programs and SQL views are supported. SQL statements, following ISO standard, are compiled to Datalog programs and solved by its inference engine. Nonetheless, ODBC connections are also supported, which enables access to external DBMSs and benefit from their solving performance, persistency and scalability.
机译：本文介绍了Datalog教育系统（DES），这是一个同时支持Datalog和SQL作为查询语言的演绎数据库。自成立以来，该系统的目标是教育目的，而不是相对于其他现有系统来开发一种高效，有竞争力的系统。作为区别功能，它是免费的，开源的，多平台的，交互式的，可移植的，支持GUI的，遵循ISO-Prolog实施，并支持分层否定，强约束，类型，元谓词和重复项形式的纯Datalog扩展。此外，还支持针对SQL视图的测试用例生成以及针对Datalog程序和SQL视图的声明式调试。遵循ISO标准的SQL语句被编译为Datalog程序，并由其推理引擎解决。但是，还支持ODBC连接，从而可以访问外部DBMS，并受益于其解决方案的性能，持久性和可伸缩性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号