续集 swMATH ID: 28677 软件作者： 张伯林，D.D.，博伊斯，R.F。 描述： SEQUEL：一种结构化的英语查询语言。本文介绍了一种结构化英语查询语言（SEQUEL）的数据操作工具，该语言可用于访问集成关系数据库中的数据。SEQUEL在不借助绑定变量和量词的概念的情况下，识别了一组表结构上的简单操作，可以证明这些操作与一阶谓词演算具有同等的能力。SEQUEL用户会看到一组一致的关键词英语模板，这些模板反映了人们如何使用表格获取信息。此外，SEQUEL用户能够以结构化的方式组成这些基本模板，以便形成更复杂的查询。SEQUEL旨在作为专业程序员和不经常使用的数据库用户的数据库子语言。 主页： https://dl.acm.org/citation.cfm？id=811515 相关软件： iSPARQL公司；github；EvoOnt公司；弦；HoTTSQL；SQL证书；Why3号机组；Q*证书；CertiCoq认证；CertiKOS公司；菲亚特；Coq/SS反射；伊莎贝尔；Coq公司；Matlab公司；MARTE公司 引用于： 4文件 全部的 前5名13位作者引用 1 苏迪尔·阿罗拉。 1 维罗尼克·本扎肯 1 菲利波·邦奇 1 伊芙琳·孔特让 1 川贝、顺 1 小岛庆二 1 秋湖坂田 1 Jens Seeber先生 1 巴布亚州索波辛斯基 1 高桥，Masami 1 吉福隆隆本 1 顺义托里 1 精一吉津美一（Yoshizumi，Seiichi） 2篇连载文章中引用 1 信息科学 1 国际计算机与信息科学杂志 在2个字段中引用 4 计算机科学（68至XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文