越来越明显的是，我们正处于几种新技术的边缘，这些新技术将以可承受的价格提供几乎无限的二级存储。 可以预期数据库应用程序将利用这种扩展的存储容量，在这方面特别有希望的领域是使用所谓的“非删除”或“历史”数据库。因此，有必要开始探索这些历史数据库的形式化模型。 -在一段时间内固有地面向数据存储的模型，并为时间与其他存储的数据项之间的交互提供形式语义。我们提出了这样的模型，即历史数据库模型（HDBM），并定义了其模型根据基本逻辑模型的语义。 为此，我们使用语言IL-s及其模型理论，这是理查德·蒙塔古（Richard Montague）的具有内涵的高阶lambda微积分的简化版本。 HDBM被定义为关系数据库模型的扩展，并结合了“时间戳记”数据库中记录的事实的杰出STATE属性。 直觉上，可以将这种数据库视为一组通常意义上的三维关系。 形式语义是根据对象（键的值）定义的，这些对象由不变或不变的实体标识，而这些对象的属性（非键的属性的值）则在各个概念中被标识为内涵模型。 提出并讨论了将数据库编码为逻辑模型的两种可能方式。广泛接受的观点是，一阶逻辑提供了关系数据库模型语义的形式化，这有助于阐明关系数据库理论中的许多问题。 我们认为，更丰富的逻辑IL-s带有“相对于某一时刻的表示法”的内置概念，并具有命名高阶对象的能力，是提供类似形式形式的合适工具。最后，我们简要讨论使用IL-s作为目标语言来解释自然语言查询片段（定义为Montague语法）的工作，并指出一些有趣的主题，以供进一步研究。时间和数据库的一般区域。
