DatabaseSupported Program Execution

我们继续研究数据库支持的编程环境，在这种环境中，开发人员不再需要掌握两种语言（编程和数据库语言）来构建高效的数据丰富的应用程序。相反，开发人员继续使用编程语言中众所周知的结构和习惯用法来执行数据库操作。新的编译技术识别程序片段，这些片段可以由底层数据库系统（与编程语言运行时系统相反）在接近数据的地方进行评估。实际上，数据库系统充当语言运行时系统的一个功能强大且可扩展的协处理器。在这个项目的延续中，我们扩展了数据库支持的程序执行，以包含表达数据密集型算法所必需的惯用语言结构：迭代结构的新泛化（泛化单元推导）、高阶函数或闭包。此外，新的数据库操作嵌入技术旨在消除宿主语言和数据库语言之间令人讨厌的接缝。每当对数据项的操作相互独立时，我们就会更加努力地从中受益。新的编译策略发出矢量指令，现代数据库内核、cpu和其他平台可以利用这些指令来执行数据并行计算。同时，我们对编译器内部进行了模块化和重新组织，以整合新的强大优化，并在更多的使用场景中利用该项目。

We continue our research into database-supported programming environments in which developers are no longer required to be bilingual (programming and database language) to construct efficient data-rich applications. Instead, developers continue to use the well-known constructs and idioms of the programming language to perform database operations. New compilation techniques identify program fragments that can be evaluated by an underlying database system (as opposed to the pro- gramming language runtime system), close to the data. In effect, the database system acts as a capable and scalable co-processor to the language runtime system.In this continuation of the project, we extend database-supported program execution to embrace idiomatic language constructs that are essential in expressing data-intensive algorithms: new generalizations of iterative constructs (generalized monad comprehensions), higher-order functions, or closures. Further, new embedding techniques for database operations aim to remove irritating seams between the host language and the database language.Whenever operations on data items are mutually independent, we now try harder to benefit. New compilation strategies emit vector instructions which can be exploited by modern database kernels, CPUs, and other platforms to perform data-parallel evaluation. At the same time, we modularize and re-organize compiler internals to incorporate new powerful optimizations and to exploit the project in more usage scenarios.