Iakovos Motakis Carlo Zaniolo Formal Semantics for Composite Temporal Events in Active Database Rules. 291-325 1997 7 Journal of Systems Integration 3/4 db/journals/jsi/jsi7.html#MotakisZ97