Provided by:
University of Wisconsin-La Crosse
Topic:
Big Data
Format:
PDF
The authors introduce a protocol for schema evolution in a globally distributed database management system with shared data, stateless servers, and no global membership. Their 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. They provide a formal model for determining the correctness of schema changes under these conditions, and they demonstrate that many common schema changes can cause anomalies and database corruption.
