Efficient Temporal Datalog Materialisation for Composite Event Recognition (ArXiv cs.LO Recent Papers, 2026)