SnappyData-一个构建在Spark上的支持实时HTAP场景的解决方案