A Non-standard Temporal Deductive Database System

A new temporal deductive database system supporting a non-standard model of time is introduced. It consists of Non-standard Temporal D ( ) and Non-standard Temporal Relational Algebra ( ). The time line consists of non-standard reals that are of the form r, z , wherer R andz Z using the natural order. Each realrdetermines a macro-instant, and each pair r, z defines a micro-instant. The set of macro-instants forms a dense order, thereby allowing different relations to be valid at different moments, with independent rates of evolution. The micro-instants ensure that all intervals are closed, thereby simplifying the semantics.At the same time, it becomes possible to define a discrete memory operator. The language is an extension of D in which the fact base is augmented with interval time-stamps and in which rules are an extension of generalized Horn clauses that allow a memory operator ”;“ and allow time-stamped atoms in the body. The language is a pointwise extension of the relational algebra over the time line. To do this, three temporal operators are added to the relational algebra.