RIA: Linear Constraint Databases

约束技术在编程语言中的结合，虽然是最近才出现的，但对于开发具有复杂建模需求的问题的软件解决方案来说，是一种很有前途的有效工具。本研究将成功的约束技术（包括线性不等式、线性规划、有限域和增量约束维护）与数据库技术结合在一起，形成了一个新的线性约束数据库框架。这些线性约束数据库的动机和目标是许多需要大量持久存储的应用领域，其特点是：(1)时空特征，(2)基于约束的设计和规划，以及(3)大规模（通常是线性规划）优化和分析。所提出的研究的挑战包括实现涉及约束的大型数据集的高效和声明性查询。考虑到当前的编程和数据库技术，约束编程技术与面向对象或关系数据库系统的成功集成是可能的。此外，考虑到对效率和高规格的要求，这是具有挑战性的。在许多重要的应用程序领域，成功集成的影响可能是显著的。此外，它有可能成为新一代数据库管理系统的组成部分。

The incorporation of constraint technology in programming languages, although very recent, is a promising and effective tool for the development of software solutions to problems with complex modeling requirements. This research incorporates successful constraint technology (involving linear inequalities, linear programming, finite domains, and incremental constraint maintenance) with database technology, in a new framework of Linear Constraint Databases. These Linear Constraint Databases are motivated by and aimed at a number of application domains that require large persistent storage and are characterized by (1) spatio-temporal features, (2) constraint-based design and planning, and (3) large-scale (usually linear programming) optimization and analysis. The challenge in the proposed research involves achieving both efficient and declarative querying of large data sets involving constraints. A successful integration of constraint programming techniques with object-oriented or relational database systems is possible, given the current programming and database state-of-the-art. Also, it is challenging, given the demands for efficiency and high level specification. The impact of a successful integration could be significant in a number of important application areas. Moreover, it has the potentialto be an integral part of a new eneration of database management systems.