Stern School of Business >
IOMS: Information Systems Working Papers >
Please use this identifier to cite or link to this item:
|Title: ||FORMAL SEMANTICS FOR TIME IN DATABASES|
|Authors: ||Clifford, James|
Warren, David S.
|Keywords: ||relational database|
|Issue Date: ||Apr-1982|
|Publisher: ||Stern School of Business, New York University|
|Series/Report no.: ||IS-82-50|
|Abstract: ||The concept of an historical database is introduced as a tool for
modelling the dynamic nature of some part of the real world. Just as first-order
logic has been shown to be a useful formalism for expressing and
understanding the underlying semantics of the relational database model,
intensional logic is presented as an analogous formalism for expressing and
understanding the temporal semantics involved in an historical database.
The various components of the relational model, as extended to include
historical relations, are discussed in terms of the model theory for the logic
ILs, a variation of the logic IL formulated by Richard Montague. The
modal concepts of intensional and extensional data constraints and
queries are introduced and contrasted. Finally, the potential application of
these ideas to the problem of Natural Language Database Querying is discussed.|
|Appears in Collections:||IOMS: Information Systems Working Papers|
Items in Faculty Digital Archive are protected by copyright, with all rights reserved, unless otherwise indicated.