论文部分内容阅读
尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作“细精度”的语义刻画．只有这样才能准确地在数据库中反映时间和时间属性的本质特点，并应用于与时间轴模型直接相关的时态查询语言．因此，从分析时间轴的性质出发，对时间轴的序关系和谓词逻辑性质进行了研究和阐述．随后分别用经典的时态逻辑TenseLogic和动态逻辑对时态数据库的时间轴进行了公理化建模，这样刻画的目的是为了“细精度”