Computational Logic Lab Seminar
Date and Time: Thursday Feb. 12, 2004 @ 1:30pm
Place: ASB 9705
Speaker: Mayu Ishida, Simon Fraser University
From CTL to Datalog
Expressing temporal properties in Datalog is useful for the following reasons:
- Datalog is a declarative query language with clear semantics.
- It has polynomial data complexity.
- Datalog is suited for main-memory databases as well as for databases stored on disk.
We will present how we can "translate" formulas of CTL, which is
a popular temporal logic, to formulas of Datalog. (We will explain what we mean
by the term "translation".)
Our presentation is based on the paper with the same title.