NoSQL schema evolution and big data migration at scale
An axiomatic basis for computer programming