Enabling efficient process mining on large data sets: realizing an in-database process mining operator · Study