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

Jason Vallet, Aouatef Mrad, Sylvain Hall, ric Beaudet

Browse the full EDOC paper archive.