WCOJ - DBSP, ZSets and Datalog

Edit(2026-04-30): There are some issues with the complexity claims below. I am working on some udates to the WCOJ series. Also see the edit at the top of WCOJ - WCOJ meets DBSP.