乔安·科斯塔·塞科；保罗·费雷拉；雨果·卢伦索 分布式和异构查询的基于功能的本地化。 （英语） Zbl 1475.68106号 J.功能。程序。 27，论文编号e26，36 p.（2017）. 摘要：以数据为中心的应用程序的一个关键方面是对存储在持久性存储库中的数据的操作，它正在从查询集中式关系数据库快速过渡到数据源星座的即席组合。使用查询操作扩展通用语言越来越流行，这是一种用于改进解释程序和编译器的推理和优化能力的工具。然而，在整合和编排不同和独立的数据源方面做得并不多。我们提出了一种抽象数据源的性质和位置的数据操作语言。我们定义了它的语义和一种面向类型的查询本地化机制，用于异构环境的开发工具，以有效地将它们编译成本地查询。我们引入了一个基于重写查询表达式的本地化过程，该表达式是合流的、终止的，并提供了站点功能和查询结构之间的最大映射。我们提供正式的类型安全结果，支持查询片段在远程站点上的合理分布。我们的方法也适用于通过丰富的用户界面进行交互式查询构造的环境，这些用户界面可以提供关于数据操作的即时反馈。此方法目前是移动和web应用程序开发平台的数据层的基础。 MSC公司： 第68页，共15页 数据库理论 68甲18 函数编程和lambda演算 第68季度第42季度 语法和重写系统 软件：微型ML；CDuce公司；克莱斯利；单足蹦跳；链接；网址（Ur/Web） PDF格式BibTeX公司 XML格式引用 \textit{J.Costa Seco}等人，J.Funct。程序。27，论文编号e26，36 p.（2017；Zbl 1475.68106） 全文： 内政部 参考文献： [1] Benzaken，V.，Castagna，G.&Frisch，A.（2003）CDuce:一种以XML为中心的通用语言。在第八届ACM SIGPLAN函数编程国际会议（ICFP'03）的会议记录中。美国纽约州纽约市：ACM，第51-63页·Zbl 1315.68046号 [2] Buneman，P。；利布金，L。；苏秋（D.Suciu）。；Tannen，V.公司。；Wong，L.，《理解语法》，ACM SIGMOD Rec.，23，87-96，（1994）·数字对象标识代码：10.1145/181550.181564 [3] Buneman，P。；Naqvi，S。；Tannen，V。；Wong，L.，《复杂对象和集合类型编程原理》，Theor。计算。科学。，149, 3-48, (1995) ·Zbl 0874.68092号 ·doi:10.1016/0304-3975（95）00024-Q [4] Cardelli，L.（1989）类型编程。在IFIP最新报告（编程概念的形式描述）中，Neuhold，Erich J.&Paul，M.（编辑）。美国纽约州纽约市：Springer-Verlag，第431-507页。 [5] Cardelli，L。；Ghelli，G。；Gordon，A.D.，环境演算类型，Inform。计算。，177, 160-194, (2002) ·Zbl 1093.68060号 ·doi:10.1016/S0890-5401（01）93121-9 [6] Cheney，J.、Lindley，S.和Wadler，P.（2013）《语言集成查询的实用理论》。第18届ACM SIGPLAN功能编程国际会议（ICFP’13）会议记录，美国纽约州纽约市：ACM，第403-416页·Zbl 1323.68102号 [7] Cheney，J.、Lindley，S.和Wadler，P.（2014）《查询分解：嵌套多集上查询的高效关系评估》。2014年ACM SIGMOD国际数据管理会议记录（SIGMOD'14）。美国纽约州纽约市：ACM，第1027-1038页。 [8] Chlipala，A.（2015）《Ur/Web：网络编程的简单模型》。第42届ACM SIGPLAN-SIGACT编程语言原理研讨会（POPL'15）会议记录。美国纽约州纽约市：ACM，第153-165页。 [9] Clark，J.和Derose，S.J.（1999）路径语言（XPath）1.0版。网址：www.w3.org/TR/xpath/ [10] Colby，L.S.（1989）嵌套关系的递归代数和查询优化。1989年ACM SIGMOD国际数据管理会议记录（SIGMOD’89）。美国纽约州纽约市：ACM，第273-283页。 [11] Cooper，E.（2009）脚本编写者的梦想：如何用自己的语言编写出色的SQL，并确保它会成功。第十二届数据库编程语言国际研讨会（DBPL'09）会议记录。柏林，海德堡：Springer-Verlag，第36-51页。 [12] Cooper，E.，Lindley，S.，Wadler，P.，&Yallop，J.（2007）链接：没有层的网络编程。第五届组件和对象形式化方法国际会议论文集（FMCO’06）。柏林，海德堡：Springer-Verlag，第266-296页。 [13] 戴维斯，R。；Pfenning，F.，阶段计算的模态分析，J.ACM，48，555-604，（2001）·Zbl 1323.68107号 ·doi:10.1145/382780.382785 [14] Fu，Y.，Ong，K.W.，&Papakonstantinou，Y.（2013）通过SQL++在统一应用程序状态上声明ajax web应用程序。数据库编程语言国际研讨会论文集。 [15] Grade，N.、Ferráo，L.和Seco，J.C.（2013）优化异构源上的数据查询。在第五届信息通报会会议记录中，信息论坛。 [16] Halevy，A.、Rajaraman，A.和Ordille，J.（2006）《数据整合：青少年时代》。第32届超大数据库国际会议论文集（2006年VLDB）。VLDB捐赠，第9-16页。 [17] Lindley，S.&Cheney，J.（2012）数据库集成的基于行的效果类型。第八届ACM SIGPLAN语言设计与实现类型研讨会（TLDI’12）会议记录。美国纽约州纽约市：ACM，第91-102页。 [18] Murphy，T.VII，Crary，K.&Harper，R.（2008）ML5的类型安全分布式编程。2007年11月5日至6日，在法国索菲亚·安蒂波利斯举行的值得信赖的全球计算：第三次研讨会上，Barthe，G.&Fournet，C.（eds）。柏林，海德堡：施普林格，第108-123页。 [19] 纽曼，M.H.A.，《关于“等价”组合定义的理论》，《数学年鉴》。，43, 223-243, (1942) ·Zbl 0060.1251 ·doi:10.2307/19968867 [20] .（2016）使用聚合-从数据库中获取和显示数据。技术文件。网址：www.outsystems.com/search/Fetch+and+Display+Data+from+the+Database [21] Papakonstantinou，Y。；古普塔，A。；Haas，L.，《中介系统中基于功能的查询重写》，《分布式并行数据库》，673-110，（1998）·doi:10.1023/A:1008646830769 [22] Peyton Jones，S.&Wadler，P.（2007）《综合理解》。在ACM SIGPLAN Haskell Workshop会议记录中（Haskell'07）。ACM，第61-72页。 [23] Robie，J.等人（2014）XQuery 3.0：一种XML查询语言。网址：www.w3.org/TR/xquery-30/ [24] Seco，J.C.、Lourenço，H.和Ferreira，P.（2015）一种用于异构环境中嵌套数据的通用数据操作语言。第15届数据库编程语言研讨会（DBPL’15）会议记录，第11-20页。 [25] Seco，J.C.、Ferreira，P.和Lourenço，H.（2017）分布式和异构查询的基于功能的本地化-带证据的扩展版本里斯本诺瓦大学技术报告。网址：网址：http://ctp.di.fct.unl.pt/jcs/papers/jfp-big-data-tech-report.pdf [26] Serrano，M.，Gallesio，E.&Loitsch，F.（2006）《Hop:一种用于编程web 2.0的语言》。在第21届面向对象编程、系统、语言和应用年度会议上，第975-985页。 [27] Silberschatz，A。；Korth，H。；Sudarshan，S.，数据库系统概念，（2006），美国纽约州纽约市：McGraw-Hill，纽约州纽约州美国 [28] Taylor，R.（2010）分布式数据库系统的查询优化。硕士论文，牛津大学，牛津大学。 [29] 瓦萨洛斯五世。；Papakonstantinou，Y.，《表达能力描述语言和查询重写算法》，J.Log。程序。，43, 75-122, (2000) ·Zbl 0949.68064号 ·doi:10.1016/S0743-1066（99）00026-6 [30] Wong，L.，Kleisli，功能查询系统，J.Funct。程序。，10, 19-56, (2000) ·doi:10.1017/S0956796899003585 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。