The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces

Trace validation is the process of analyzing a log produced by a system to discover violations of some specification involving sequences of events. This paper presents a translation of Linear Temporal Logic properties into equivalent SQL expressions. Experimental results on four different scenarios show that off-the-shelf database engines outperform seven different trace validation techniques from past literature, sometimes by orders of magnitude.