论文部分内容阅读
为了处理象地震、气象、银行病历、人口统计等行业的具有很强的历史性的数据，该文提出一种新的、易于实现的处理历史性数据信息系统的数学模型，即带时标的关系数据库＋历史规则库＝历史数据库。量化了历史范畴的若干概念，并讨论了一类特殊的历史规则——前兆依赖的性质及其演绎公理系统。并且证明了该公理系统的正确性和完备性，证明了历史规则真值集的空虚性问题、无限性问题、等价问题和包含问题都是不可判定的。（本刊录）