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.0018 seconds