Ampersand, Data Migration, generative software, Incremental software deployment, invariants, relation algebra, Schema change, Zero Downtime.