• About
  • Policies
  • What is open access
  • Library
  • Contact
Advanced search
      View Item 
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Economics, Administrative And Social Sciences
      • Department of International Relations
      • View Item
      •   BUIR Home
      • Scholarly Publications
      • Faculty of Economics, Administrative And Social Sciences
      • Department of International Relations
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Implementing an object-oriented deductive database using temporal reasoning

      Thumbnail
      View / Download
      124.0 Kb
      Author(s)
      Kesim, N.
      Sergot, M.
      Date
      1996
      Source Title
      Journal of Database Management
      Print ISSN
      1063-8016
      Electronic ISSN
      1533-8010
      Publisher
      IGI Global
      Volume
      7
      Issue
      4
      Pages
      21 - 34
      Language
      English
      Type
      Article
      Item Usage Stats
      196
      views
      179
      downloads
      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.
      Permalink
      http://hdl.handle.net/11693/48480
      Published Version (Please cite this version)
      https://doi.org/10.4018/jdm.1996100103
      Collections
      • Department of International Relations 571
      Show full item record

      Browse

      All of BUIRCommunities & CollectionsTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartmentsCoursesThis CollectionTitlesAuthorsAdvisorsBy Issue DateKeywordsTypeDepartmentsCourses

      My Account

      Login

      Statistics

      View Usage StatisticsView Google Analytics Statistics

      Bilkent University

      If you have trouble accessing this page and need to request an alternate format, contact the User and Access Services. Phone: (312) 290 1298
      © Bilkent University - Library IT

      Contact Us | Send Feedback | Off-Campus Access | Admin | Privacy