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.