Stable Semantics of Temporal Deduktive Databases

Authors: 
Herre, Heinrich
Wagner, Gerd
Year: 
1996
Language: 
English
Abstract: 
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.
Appeared / Erschienen in: 
Report Nr. 7/1996 des Institutes für Informatik der Universität Leipzig, (erschienen in Proc. of Post-Conf. Workshop on Logic Programming and Deductive Databases, JICSLP'96)
Pubdate / Erscheinungsdatum: 
1996
Pages / Seitenanzahl: 
14
AttachmentSize
1996-3.pdf224 KB