Show simple item record

dc.contributor.authorKesim, N.en_US
dc.contributor.authorSergot, M.en_US
dc.date.accessioned2015-07-28T11:55:58Z
dc.date.available2015-07-28T11:55:58Z
dc.date.issued1996-10en_US
dc.identifier.issn1041-4347
dc.identifier.urihttp://hdl.handle.net/11693/10812
dc.description.abstractWe present a general approach for modeling temporal aspects of objects in a logic programming framework. Change is formulated in the context of a database which stores explicitly a record of all changes that have occurred to objects and thus (implicitly) all states of objects in the database. A snapshot of the database at any given time is an object-oriented database, in the sense that it supports an object-based data model. An object is viewed as a collection of simple atomic formulas, with support for an explicit notion of object identity, classes and inheritance. The event calculus is a treatment of time and change in first-order classical logic augmented with negation as failure. The paper develops a variant of the event calculus for representing changes to objects, including change in internal state of objects, creation and deletion of objects, and mutation of objects over time. The concluding sections present two natural and straightforward extensions, to deal with versioning of objects and schema evolution, and a sketch of implementation strategies for practical application to temporal object-oriented databases.en_US
dc.language.isoEnglishen_US
dc.source.titleIEEE Transactions on Knowledge and Data Engineeringen_US
dc.relation.isversionofhttp://dx.doi.org/10.1109/69.542026en_US
dc.subjectObject-oriented Databasesen_US
dc.subjectObject Versioningen_US
dc.subjectDeductive Databasesen_US
dc.subjectTemporal Databasesen_US
dc.subjectTemporal Reasoningen_US
dc.subjectEvent Calculusen_US
dc.subjectLogic Programmingen_US
dc.titleA logic programming framework for modelling temporal objectsen_US
dc.typeArticleen_US
dc.departmentDepartment of International Relationsen_US
dc.citation.spage724en_US
dc.citation.epage741en_US
dc.citation.volumeNumber8en_US
dc.citation.issueNumber5en_US
dc.identifier.doi10.1109/69.542026en_US
dc.publisherIEEEen_US
dc.identifier.eissn1558-2191


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record