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.
Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:34503 |
Date | 12 July 2019 |
Creators | Herre, Heinrich, Wagner, Gerd |
Publisher | Universität Leipzig |
Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
Language | English |
Detected Language | English |
Type | info:eu-repo/semantics/publishedVersion, doc-type:book, info:eu-repo/semantics/book, doc-type:Text |
Source | Report / Institut für Informatik, Report / Institut für Informatik |
Rights | info:eu-repo/semantics/openAccess |
Relation | urn:nbn:de:bsz:15-qucosa2-343029, qucosa:34302 |
Page generated in 0.0017 seconds