Sciweavers

DEDUCTIVE
1996
105views Database» more  DEDUCTIVE 1996»
13 years 6 months ago
Stable Semantics of Temporal Deductive Databases
We de ne a preferential semantics based on stable generated models for a very general class of temporal deductive databases. We allow two kinds of temporal information to be repre...
Heinrich Herre, Gerd Wagner