A logical framework for temporal deductive databases

  title={A logical framework for temporal deductive databases},
  author={Suryanarayana M. Sripada},
Temporal deductive databases are deductive databases with an ability to represent both valid time and transaction time. The work is based on the Event Calculus of Kowalski & Sergot. Event Calculus is a treatment of time, based on the notion of events, in first-order classical logic augmented with negation as failure. It formalizes the semantics of valid time in deductive databases and offers capability for the semantic validation of updates and default reasoning. In this paper, the Event… CONTINUE READING
21 Citations
15 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 21 extracted citations


Publications referenced by this paper.

Similar Papers

Loading similar papers…