unlimitedsecondary storage at affordable prices. Database applicationscan be expected to take advantage of this expanded storagecapacity … timeand the other stored data items.We present such a model, the Historical Database Model (HDBM),and define its semantics in … Richard Montague's higher-orderlambda calculus with intensions. The HDBM is defined as anextension of the relational database …