Materialize - https://materialize.com/

I'm very curious to try it out for incremental consistency checking (i.e. does all the data satisfy a set of predicates)