Compositional Algebra for Interactive Data Access