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.