Skip navigation
Full metadata record
DC FieldValueLanguage
dc.contributor.authorClifford, James-
dc.contributor.authorWarren, David S.-
dc.date.accessioned2006-03-09T15:50:00Z-
dc.date.available2006-03-09T15:50:00Z-
dc.date.issued1982-04-
dc.identifier.urihttp://hdl.handle.net/2451/14600-
dc.description.abstractThe 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.en
dc.format.extent11457612 bytes-
dc.format.mimetypeapplication/pdf-
dc.languageEnglishEN
dc.language.isoen_US-
dc.publisherStern School of Business, New York Universityen
dc.relation.ispartofseriesIS-82-50-
dc.subjectrelational databaseen
dc.subjectentity-relationship modelen
dc.subjectintensional logicen
dc.subjecthistorical databasesen
dc.subjecttemporal semanticsen
dc.titleFORMAL SEMANTICS FOR TIME IN DATABASESen
dc.typeWorking Paperen
dc.description.seriesInformation Systems Working Papers SeriesEN
Appears in Collections:IOMS: Information Systems Working Papers

Files in This Item:
File Description SizeFormat 
IS-82-50.pdf11.19 MBAdobe PDFView/Open


Items in FDA are protected by copyright, with all rights reserved, unless otherwise indicated.