Modularizing the Formal Description of a Database System
Modularizing the Formal Description of a Database System
复制标题
模块化数据库系统的形式描述
DOI：
--
复制
发表时间：
1990
期刊：
影响因子：
--
通讯作者：
Cliff B. Jones
中科院分区：
文献类型：
--
作者：
J. Fitzgerald;Cliff B. Jones
规范语言已经被提出，并且正在开发中，它提供了将规范分割成单独的组件或模块的方法。重要的是，此类语言能够应对实际规范任务所需的模块化。本文基于现有数据库系统的描述提出了模块化的挑战问题。所选择的模块化的动机是需要分离相干的单元，可以推断出有用的属性。
Specification languages have been proposed, and are being developed, which offer ways of splitting specifications into separate components or modules. It is important that such languages are able to cope with modularizations which are required by realistic specification tasks. This paper offers a challenge problem in modularization based on a description is of an existing database system. The chosen modularization is motivated by the need to separate coherent units about which useful properties can be deduced.