Implementing an Object-Oriented Deductive Database Using Temporal Reasoning

Research paper by IGI Global

Indexed on: 22 Dec '17Published on: 01 Oct '96Published in: Journal of Database Management


Authors: Nihan Kesim (Bilkent University, Turkey), Marek Sergot (Imperial College, UK)Volume/Issue: 7/4ISSN: 1063-8016EISSN: 1533-8010DOI: 10.4018/jdm.1996100103Date Posted: 10/1/1996 12:00:00 AM Abstract A general approach for temporal reasoning, the event calculus, has been modified and applied to the development of a historical deductive object base. The event calculus is a theory of time in first-order logic augmented with negation as failure. It is shown how an object-based variant of the event calculus may be used for representing changes to the states of objects. We first present the formulation and describe the maintenance of a historical object-oriented database by the use of events. The resulting formalization can be executed as a logic program. We then discuss the implementation of a practical database system based on the theory we develop. The additional detail needed to develop a system of realistic scale is outlined. The aim is to present the object-based event calculus as a unifying framework for the implementation of a deductive and object-oriented database system. This article is available on IGI Global’s premier research database, InfoSci-Journals. To obtain a copy of this article, click here. For more information about the Journal of Database Management (JDM) click here.