RT DW A1 Power, Conor. T1 Algebraic Approaches to Distributed Data Systems