Stream Data Management (Springer US, 2020)