SevenDB: A high-performance reactive, scalable, in-memory database