Online, asynchronous schema change in F1

Ian Rae, Eric Rollins, Jeff Shute, Sukhdeep Sodhi, Radek Vingrale
PVLDB 6(11),1045-1056

We introduce a protocol for schema evolution in a globally distributed database management system with shared data, stateless servers, and no global membership. Our protocol is asynchronous--it allows different servers in the database system to transition to a new schema at different times--and online--all servers can access and update all data during a schema change. We provide a formal model for determining the correctness of schema changes under these conditions, and we demonstrate that many common schema changes can cause anomalies and database corruption.

Syndicate content