data stream

A data stream is an ordered pair $(s,\mathrm{\Delta })$

where:

1. $s$ is a sequence of tuples,

2. $\mathrm{\Delta }$ is the sequence of time intervals (i.e. rational or real numbers) and each ${\mathrm{\Delta }}_n>0$