×
苏珊娜·尼娃；费尔南多·Sáenz-Pérez；詹姆·桑切斯·埃尔南德斯

HR-SQL：使用假设推理扩展SQL，并改进当前数据库系统的递归。 （英语） Zbl 1435.68077号

Inf.计算。 271，文章ID 104485，38 p.（2020）.
摘要：在这项工作中，我们提出了一种关系数据库语言（称为HR-SQL）的形式化，并以对比的实现为后盾，该语言在两个方面扩展了SQL。一方面，包括非线性和相互递归。另一方面，包括假设关系和查询。关于表达性，HR-SQL允许一种新形式的假设推理，与递归定义完全集成。此外，还添加了聚合函数。关于形式化，扩展语言基于基于逻辑编程技术的分层不动点语义。我们包括此类不动点存在的结果。提出了一种将含有假设定义的数据库转换为无假设等价数据库的算法及其正确性证明。关于实现，我们在这里介绍了一个系统，它融合了上述优点，并在几个领域增强了以前的实现。当前的HR-SQL系统针对几个最先进的关系数据库系统，可以与任何基于SQL的系统一起使用，只需在实现中进行少量修改。

MSC公司：

第68页，共15页 数据库理论

关键词：

关系数据库；SQL语言；递归；假设性查询；定点语义

软件：

伊西查尔；甲骨文公司；酸性；HR-SQL公司
PDF格式BibTeX公司 XML格式引用
\textit{S.Nieva}等人，《信息计算》。271，文章ID 104485，38 p.（2020；Zbl 1435.68077）
全文： 内政部

参考文献：

[1] 阿比特布尔，S。；船体，R。；维亚努，V.，《数据库基础》（1995），艾迪森·韦斯利·兹比尔0848.68031
[2] Alvarez-Picallo，M。；Eyers-Taylor，A。；Peyton Jones，M。；Ong，C.-H.L.，《固定增量计算》（Caires，L.，编程语言和系统（2019），施普林格国际出版公司），525-552
[3] 阿兰达·洛佩斯，G。；尼瓦，S。；Sáenz-Pérez，F。；Sánchez-Hernández，J.，基于遗传Harrop公式实现约束演绎数据库的不动点语义，（第十一届国际ACM SIGPLAN声明式编程原理与实践研讨会论文集（PPDP'09）（2009），ACM出版社），117-128
[4] Aranda-López，G。；Nieva，S。；Sáenz-Pérez，F。；Sánchez-Hernández，J.，《将SQL中更广泛的递归覆盖形式化》，（声明性语言实用方面研讨会（PADL’13）。声明性语言的实践方面专题讨论会（PADL’13），LNCS，第7752卷（2013），93-108
[5] Aranda-López，G。；Nieva，S。；Sáenz-Pérez，F。；Sánchez-Hernández，J.，R-SQL：具有扩展递归的SQL数据库系统，EASST的电子通信，第64卷（2013），编程和计算机语言
[6] Aranda-López，G。；Nieva，S。；Sáenz-Pérez，F。；Sánchez-Hernández，J.，《将假设视图和扩展递归纳入sql数据库系统》（Mcmillan，K.；Middeldorp，A.；Sutcliffe，G.；Voronkov，A.，LPAR-19）。LPAR-19，EPiC系列，第26卷（2014），EasyChair），9-22
[7] 阿雷纳斯，M。；Bertossi，L.，数据库中的假设时间推理，J.Intell。信息系统。，19, 2, 231-259 (2002)
[8] 巴尔宾，I。；Ramamohanarao，K.，递归查询求值微分方法的推广，J.Log。程序。，4, 3, 259-262 (1987) ·Zbl 0636.68125号
[9] Balmin，A。；Papadimitriou，T。；Papakonstantinou，Y.，OLAP环境中的假设查询，（第26届超大数据库国际会议论文集，VLDB’00（2000），Morgan Kaufmann Publishers Inc.），220-231
[10] E.贝尔蒂诺。；卡塔尼亚，B。；Gori，R.，增强U数据日志语言的表达能力，理论与实践。日志。程序。，1, 1, 105-122 (2001) ·Zbl 1066.68521号
[11] Bonner，A。；Kifer，M.，《数据库事务编程逻辑》（Chomicki，J.；Saake，G.，《数据和信息系统逻辑》，《数据库和信息系统的逻辑》，Springer工程和计算机科学国际丛书，第436卷（1998年），Springer-US），第117-166页·Zbl 0908.03037号
[12] Bonner，A.J.，《假设数据日志：否定和线性递归》（ACM数据库系统原理研讨会（PODS）（1989）），286-300
[13] Bonner，A.J。；McCarty，L.T.，《将否定作为失败添加到直觉主义逻辑编程中》（Lusk，E.L.；Overbeek，R.A.，《逻辑编程》，《北美会议论文集》（1989），麻省理工学院出版社），681-703
[14] Chen，W.，《逻辑查询、批量更新和假设推理编程》，IEEE Trans。知识。数据工程，9587-599（1995）
[15] Christiansen，H。；Andreasen，T.，假设数据库查询的实用方法，（逻辑数据库中的事务和变化。逻辑数据库中的事务和变化，LNCS，第1472卷（1998年），Springer），340-355
[16] 科恩，S。；吉尔，J.Y。；Zarivach，E.，无限数据库上的数据日志程序，重访，（数据库编程语言：第11届国际研讨会，DBPL 2007。数据库编程语言：第11届国际研讨会，2007年DBPL，奥地利维也纳，2007年9月23日至24日，修订论文集（2007），施普林格柏林-海德堡：施普林格-柏林-海德堡，32-47
[17] Dietrich，S.，《理解关系数据库查询语言》（2001），普伦蒂斯·霍尔出版社
[18] 芬克尔斯坦，S.J。；马托斯，N。；穆米克，I.S。；Pirahesh，H.，用SQL表示递归查询（1996），技术报告，ISO
[19] Garcia-Molina，H。；乌尔曼，J.D。；Widom，J.，《数据库系统-全书》（2009），培生教育
[20] Golfarelli，M。；Rizzi，S.，《商业智能中的假设模拟建模》，《国际数据仓库》。Min.，5，4，24-43（2009年）
[21] 格林·T·J。；黄S.S。；Loo，B.T。；Zhou，W.，数据日志和递归查询处理，Found。趋势数据库，5，2，105-195（2013年11月）·Zbl 1278.68087号
[22] 格里芬，T。；Hull，R.，实现假设查询的框架，（SIGMOD会议（1997）），231-242
[23] Hilkevich，Z.，《Oracle SQL Tricks and Workarounds:Oracle SQL Excellence专家指南》（2011），AuthorHouse:AuthorHouse Bloomington，IN，USA
[24] 胡茨马，M.A.W。；Apers，P.M.G.，递归查询的代数优化，数据知识。工程师，7299-325（1991）
[25] Inmon，W.H.，《构建数据仓库》（2005），QED Information Sciences，Inc。
[26] ISO/IEC，SQL:2011 ISO/IEC 9075（1-4,9-11,13,14）：2011标准，2011年。
[27] Kaser，O。；罗马克里希南，C.R。；Pawagi，S.，《关于间接递归到直接递归的转换》，ACM Lett。程序。语言系统。，2, 1-4, 151-164 (1993)
[28] Kowalski，R.A.，《数据描述逻辑》（Logic and data Bases，1977），第77-103页
[29] 穆米克，I.S。；Pirahesh，H.，《关系数据库系统中魔法集的实现》，（ACM SIGMOD国际数据管理会议记录，第23卷（1994年）），103-114
[30] Nieva，S。；Sáenz-Pérez，F。；Sánchez-Hernández，J.，基于带否定的遗传Harrop公式将约束演绎数据库语言形式化，（FLOPS’08）。FLOPS’08，LNCS，第4989卷（2008），Springer-Verlag），289-304·Zbl 1137.68339号
[31] Oracle，《数据库数据仓库指南》，11g Release 2（11.2）Part Number E25554-01，2011年。
[32] Ordonez，C.，SQL中线性递归查询的优化，IEEE Trans。知识。数据工程，22，2，264-277（2010）
[33] Ramamohanarao，K。；Harland，J.，演绎数据库语言和系统简介，VLDB J.，3，2，107-122（1994）
[34] Reiter，R.，走向关系数据库理论的逻辑重建，（关于概念建模（Intervale）（1982）），191-233
[35] Revesz，P.Z.，约束数据库的安全查询语言，ACM Trans。数据库系统。，58-99年3月23日
[36] Revesz，P.Z.，约束数据库简介（2002），施普林格·Zbl 0995.68035号
[37] Sáenz-Pérez，F.，ACIDE:一个可为LaTeX配置的集成开发环境，PracTeX J.，2007，3（2007年8月），在线阅读
[38] Sáenz-Pérez，F.，实施表格化假设数据日志，（第25届IEEE人工智能工具国际会议论文集，ICTAI’13（2013）），596-601
[39] Sáenz-Pérez，F.，Datalog教育系统（2016）
[40] Shepherdson，J.，逻辑编程中的否定（Minker，J.），演绎数据库和逻辑编程基础（1988），考夫曼，19-88·Zbl 0718.68020号
[41] Stonebraker，M。；Keller，K.，《将专家知识和假设数据库嵌入数据库系统》（1980年ACM SIGMOD国际数据管理会议，SIGMOD'80（1980），ACM），58-66
[42] Tarski，A.，格理论不动点定理及其应用，Pac。数学杂志。，5, 285-309 (1955) ·Zbl 0064.26004号
[43] Terracina，G。；塞拉利昂，北卡罗来纳州。；Lio，V。；Panetta，C.，《数据库和逻辑编程系统中递归查询的实验》，理论与实践。日志。程序。，8, 2, 129-165 (2008) ·Zbl 1142.68338号
[44] Ullman，J.，数据库和知识库系统卷。I（经典数据库系统）和II（新技术）（1995），计算机科学出版社
[45] Watson，H.J。；Wixom，B.H.，《商业智能的现状》，《计算机》，第40、9、96-99页（2007年）
[46] Zaniolo，C。；Ceri，S。；Faloutsos，C。；雪草，R.T。；Subrahmanian，V.S。；Zicari，R.，《高级数据库系统》（1997），摩根考夫曼出版社·Zbl 0877.68037号
[47] Zhang，Y。；陈，H。；Sheng，H。；Wu，Z.，将假设查询应用于电子商务系统以支持预订和个人偏好，（第11届国际数据库工程与应用研讨会论文集，IDEAS’07（2007），IEEE计算机学会），46-53
[48] 周，G。；陈，H。；Zhang，Y.，多维数据集的假设查询，（Wang，S.；Yu，L.；Wen，F.；He，S.，Fang，Y.；Lai，K.K.，BIFE（2009），IEEE计算机学会），539-543
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。