论文部分内容阅读
本文定义了用于描述简单数学业务规则的基于逻辑的简单MBR语言和简单MBR程序，证明简单MBR程序存在一个最小模型，而且这个最小模型是有限的，简单MBR程序的说明性语义也由这个最小模型给定，并给出了构造简单MBR程序最小模型的完备的算法。简单MBR程序在广东国旅管理信息系统中的应用表明，与传统程序相比，简单MBR程序可以在程序外部说明性地定义简单数学业务规则，更易于理解、易于维护。