权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

ALIEN: Abstractions, Languages, and Implementation Techniques That Cross the Program/Query Divide

ALIEN：跨越程序/查询鸿沟的抽象、语言和实现技术

基本信息

批准号：
282458149
负责人：
Professor Dr. Torsten Grust
金额：
--
依托单位：
Lehrstuhl für Datenbanksysteme
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2016
资助国家：
德国
起止时间：
2015-12-31 至 2020-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/282458149?language=en
关键词：
ALIEN Abstractions Languages Implementation Techniques

项目摘要

Database languages are well-suited to describe queries and operations on large data sets in a declarative way together with powerful optimizations that lead to efficient execution of those operations. Programming languages, on the other hand, excel in generality, abstraction, and low-level optimizations. The goal of this project is a systematic transfer of ideas and technologies from database languages to programming languages and vice versa, motivated by the observation that many current trends in these two research communities can be seen as an "envious peek over the fence."On one hand, we want to bring standard database techniques like declarative queries, query optimization, indexing, and incremental view maintenance to the programming language world. This is challenging and requires modifications to and generalizations of the existing techniques to account for the more general programming model of general-purpose languages. On the other hand, we want to enrich database languages with abstractions, analyses, and implementation techniques from general-purpose (functional) languages. More specifically, we want to increase the expressiveness of database languages with support for algebraic data types, higher-order functions, and generic programming. We want to use analysis and implementation techniques like program slicing, flattening, and defunctionalization to improve the analysis and efficient execution of database programs.In both cases, we aim to not modify existing programming- or database languages but rather use embedding or compilation techniques to incorporate those new techniques on top of the existing, proven technology. The goal is to establish a low barrier to adopt our techniques in practical applications. The final step in this project is the definition of one expressive programming language with two implementations: one that compiles to standard database system, and one that is embedded in (or compiled to) a functional programming language. With this new testbed language it will be possible to reuse libraries and programming techniques across the technology barrier, and to change the division of program functionality between the database and the general-purpose host on-the-fly.

数据库语言非常适合以声明性的方式描述对大型数据集的查询和操作，以及能够有效执行这些操作的强大优化。另一方面，编程语言擅长通用性、抽象性和低级优化。这个项目的目标是将思想和技术从数据库语言系统地转移到编程语言，反之亦然，其动机是观察到这两个研究社区的许多当前趋势可以被视为“嫉妒的窥视”。一方面，我们希望为编程语言世界带来标准的数据库技术，如声明性查询、查询优化、索引和增量视图维护。这是具有挑战性的，需要对现有技术进行修改和一般化，以解释通用语言的更通用的编程模型。另一方面，我们希望用通用（函数式）语言的抽象、分析和实现技术来丰富数据库语言。更具体地说，我们希望通过支持代数数据类型、高阶函数和泛型编程来增强数据库语言的表达能力。我们希望使用分析和实现技术，如程序切片、扁平化和去功能化，来改进数据库程序的分析和高效执行。在这两种情况下，我们的目标都不是修改现有的编程语言或数据库语言，而是使用嵌入或编译技术将这些新技术合并到现有的、经过验证的技术之上。我们的目标是为我们的技术在实际应用中建立一个低门槛。本项目的最后一步是定义一种具有两种实现的表达性编程语言：一种编译为标准数据库系统，另一种嵌入（或编译为）函数式编程语言。有了这种新的测试平台语言，就有可能跨越技术障碍重用库和编程技术，并实时改变数据库和通用主机之间的程序功能划分。