Models and Technologies for Advanced Information Bases

该项目旨在研究开发未来信息库的基础技术。因此，我们的研究涵盖了数据库的各个方面，从空间数据库模型到理论计算机科学的应用，再到数据工程。以下是一些例子。(a)提出了一种基于拓扑理论的“细胞复合体”的空间数据建模方法。这允许使用拓扑操作和解析几何操作检索空间数据。(b)介绍了一种保证对象数据库管理系统中视图、程序等部分正确性的方法。这是基于这些部分的集合理论规范。(c)组合理论应用于数据库查询评价。将该理论应用于相对较小的数据库时，成功地进行了优化。(d)利用布尔代数理论分析数据库中的数据。它允许挖掘隐藏在数据库中的有用事实。(e)提出并设计了一种用于数据库应用的数据编程语言。该语言统一了数据库和编程语言。(f)提出了一种新的并行数据挖掘方法。该算法在关联规则挖掘中表现出良好的性能。

The project aims at the research on basic technologies for developing future information bases. As the result our research covers various aspects of databases from spatial database model to applications of theoritical computer science to data engineering. The followings are some examples.(a) A spatial data modeling method based on 'cell complex' which comes from the topology theory was proposed. This allows retrieval of spatial data using topological operations as well as analitical geometry ones.(b) A method to assure the correctness of the parts of an object database management system such as views, programs, and so on was intriduced. This is based on the set-theoritical specification of these parts.(c) The combinatorial theory was applied to database qury evaluation. Opimization based on the theory was successfully performed when it is applied to relatively-small databases.(d) Theory of Boolean algebra was used tu analyse data in databases. It allows to mine useful facts hidden in the databases.(e) A data programming language was proposed and designed for database applications. The languge unifies database and programming languge.(f) A new method for parallel data mining was presented. It shows a good performance for association rule mining.