Database Theory in Action: Yannakakis' Algorithm | Synapse