历史数据库的前兆依赖及其数学性质

本文提出一种新的、易于实现的处理历史性数据的信息系统的数学模型,即带时标的关系数据库+历史规则库=历史数据库。形式化了历史范畴的若干概念,并讨论了一类特殊的历史规则——前兆依赖的性质及其演绎公理系统,并证明了该公理系统的正确性和完备性,证明了历史规则真值集的空虚性问题,无限性问题,等价问题和包含问题都是不可判定的。