Trial Implementation Conceptual Schema Modelling Facility

本研究的主要成果包括以下三个方面：（1）概念模式建模工具的尝试性实现（单线程环境）（2）概念模式建模工具的尝试性实现（多线程环境）（3）概念数据模型标准规范的研究（1）是本研究的核心。我们已经实现了一个数据建模设施，不一定有限的Meta数据结构出现。使用的编程语言是Prograph，所获得的结果发表在研讨会上或作为一本书中的论文。(2)用面向对象的程序设计语言实现了类似的建模工具，但没有达到预期的效果。我们尝试了在Macintosh上实现，但是由于面向对象的平台SOM不稳定，遇到了很多麻烦，我们最初尝试了面向对象的数据库Neo Access，但是这个软件包很难使用，我们不得不在项目的中途更换数据库工具。我们的实现是一种数据库管理系统，其中要求充分利用多线程操作系统组件，我们不能采取错误的原因不明。(3)与此研究项目并行，我们向国际标准化组织提出了类似的规范，但我们无法说服代表许多国家的专家。我们发现，即使一个规范被明确地陈述，这也不足以说服许多国家机构，重要的是，拟议的规范必须具有世界上一致认可的一些理论或客观属性（例如数学）。因此，我们研究了用谓词演算来处理传统数据模型的可能性，发现数据模型可以用谓词演算的公式来表示。在逻辑中，公式的完备性或不完备性是众所周知的，我们可以更容易地说服专家。

The results of this research are composed of the following three topics :(1) Trial Implementation of Conceptual Schema Modelling Facility (Single thread environment)(2) Trial Implementation of Conceptual Schema Modelling Facility (multi-thread environment)(3) Investigation of the standard specification of Conceptual Data Model(1) is the kernel of this research. We have implemented a data modelling facility where not necessarily finite meta data structure appears. The programming language used was Prograph and the obtained results are published in a symposium or as a paper in a book.(2) was to implement the similar modelling facility using object-oriented programming language, but we could not get the expectedresults. We tried the implementation using Macintosh, but the object-oriented platform SOM was not stable and we met a lot of troubles.At first, we tried object-oriented database Neo Access, but this package was very difficult to use and we have to change database tool in the middle of our project. Our implementation is a kind of DBMS where full uses of multi-threaded operationg system component were required and we could not take bugs whose causes were unknown.(3) Parrel to this research project, we proposed similar specification to the international standardization group, but we could not persuade experts who represented many nations. We have found that even if a specification is clearly stated, that is not enough to persuade many national bodies.It is important that the proposed specification must has some theoretical or objective properties (e.g.mathematics) that is unanimously admitted in the world. Therefore, we investigated the possibility to treat conventional data model by predicate calculus, and have found that a data model can be represented by a formula of predicate calculus. In logic, completeness or imcompleteness of the formula is well-known and we can persuade experts more easily.