The Relational Database Engine: An Efficient Validator of Temporal Properties on Event Traces | IEEE Conference Publication | IEEE Xplore