On Sat, Jun 27, 2015 at 1:13 AM, Julian Hyde <[email protected]> wrote:
> Algebraic reasoning based on monotonicity can be extended to the other > models. If we start with the more complex models we'd soon we up to > our hubcaps in theoretical mud. > As you like. Flink has just had to rip up and repair a bunch of stuff precisely because they started with an assumption of monotonicity and had to move to a looser model. The practical impact was pretty substantial and substantially larger than the comments here would imply.
