@inbook{521957ff01ad4f32824e6413b2d198a3,
title = "Querying clocked databases",
abstract = "We propose a temporal extension of Datalog which can be used to model and query temporal databases with relations based on multiple clocks. The extension, called Clocked Temporal Datalog, is based on a clocked temporal logic in which each formula can be assigned a separate clock. A Clocked Temporal Datalog program consists of three parts: (1) a clock definition, (2) a clock assignment, and (3) a program body. The clock definition specifies all the available clocks. The clock assignment assigns to each predicate defined in the program body a clock from the clock definition. The meaning of the program body naturally depends on the provided clock definition and assignment. Therefore a Clocked Temporal Datalog program models intensionally a clocked (temporal) database in which each relation is defined over a clock.",
author = "Orgun, {Mehmet A.} and Chuchang Liu",
year = "1998",
language = "English",
isbn = "9783540650829",
volume = "1495",
series = "Lecture Notes in Computer Science",
publisher = "Springer, Springer Nature",
pages = "308--319",
editor = "Troels Andreasen and Henning Christiansen and Larsen, {Henrik Legind}",
booktitle = "Flexible Query Answering Systems",
address = "United States",
note = "3rd International Conference on Flexible Query Answering Systems, FQAS 1998 ; Conference date: 13-05-1998 Through 15-05-1998",
}