1 |
Stable Semantics of Temporal Deductive DatabasesHerre, Heinrich, Wagner, Gerd 12 July 2019 (has links)
We define 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 represented and queried: timepoint and timestamp formulas, and show how each of
them can be translated into the other. Because of their generality, our formalism and
our semantics can serve as a basis for comparing and extending other temporal deductive
database frameworks.
|
Page generated in 0.1119 seconds