Towards advanced data management systems

本研究旨在开发先进的数据管理技术，使用和/或扩展现有的数据库理论和技术，用于建模数据和处理众多新兴应用程序中所需的查询。这种数据的例子包括逻辑数据，不确定性数据，Web日志，序列数据等，我们的重点是逻辑数据和序列数据。我们认为逻辑数据在信息集成和研究查询重写和评价的合取查询使用视图，其中的查询和视图是逻辑规则可能扩展的约束，这是线性算术比较。文献讨论了属性比较，并为某些类的connstraints实际的解决方案，以找到最大限度地包含重写，当存在时，查询，但不平等的比较。我们将在上面的上下文中为重写算法开发约束解析和优化模块。这扩展了我们在CoopIS 2005中的结果，在那里我们考虑了等式的线性算术表达式的约束。

This research aims at development of advanced data management techniques, which uses and/or extends existing database theory and technology for modeling data and processing queries required in numerous emerging applications. Examples of such data includes logical data, uncertainty data, web logs, sequence data, etc. Our focus is on logical data and sequence data. We consider logical data in information integration and study query rewriting and evaluation of conjunctive queries using views, where the queries and views are logical rules possibly extended with constraints which are linear arithmetic comparisons. Literature discusses attribute comparisons and for certain classes of connstraints practical solutions are developed to find maximally contained rewritings, when exists, for queries with all but inequality comparisons. We will develop constraints resolution and optimization modules for the rewriting algoritms in our context above. This extends our results in CoopIS 2005, where we considered constraints which are linear arithmetic expressions with equality.