Models and Technologies for Advanced Information Bases

点击翻译按钮获取中文摘要

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.