A Theoretically-Sound Approach for OLAPing Uncertain and Imprecise Multidimensional Data Streams