On temporal deductive databases

Mehmet A. Orgun*

*Corresponding author for this work

Research output: Contribution to journalArticle

15 Citations (Scopus)

Abstract

This article introduces a temporal deductive database system featuring a logic programming language and an algebraic front-end. The language, called Temporal DATALOG, is an extension of DATALOG based on a linear-time temporal logic in which the flow of time is modeled by the set of natural numbers. Programs of Temporal DATALOG are considered as temporal deductive databases, specifying temporal relationships among data and providing base relations to the algebraic front-end. The minimum model of a given Temporal DATALOG program is regarded as the temporal database the program models intensionally. The algebraic front-end, called TRA, is a point-wise extension of the relational algebra upon the set of natural numbers. When needed during the evaluation of TRA expressions, slices of temporal relations over intervals can be retrieved from a given temporal deductive database by bottom-up evaluation strategies A modular extension of Temporal DATALOG is also proposed, through which temporal relations created during the evaluation of TRA expressions may be fed back to the deductive part for further manipulation. Modules therefore enable the algebra to have full access to the deductive capabilities of Temporal DATALOG and to extend it with nonstandard algebraic operators. This article also shows that the temporal operators of TRA can be simulated in Temporal DATALOG by program clauses.

Original languageEnglish
Pages (from-to)235-259
Number of pages25
JournalComputational Intelligence
Volume12
Issue number2
Publication statusPublished - May 1996

Keywords

  • Declarative semantics
  • Deductive databases
  • Logic programming
  • Modules
  • Temporal algebras
  • Temporal databases
  • Temporal datalog

Fingerprint Dive into the research topics of 'On temporal deductive databases'. Together they form a unique fingerprint.

  • Cite this