Phase 1: Inbound events are converted to insertion and deletion of the tuples.
Phase 2: Rules are evaluated according to these changes (To a fix point).
Phase 3: Changes are made durable (atomic operation) and outbound events are emitted.