Antidote SQL：可能时宽松，必要时严格
Antidote SQL: Relaxed When Possible, Strict When Necessary
摘要：
地理复制需要在低延迟、高可用性和强一致性之间进行权衡。虽然NoSQL数据库支持低延迟和高可用性，放松一致性，但最近的云数据库支持强一致性和易于编程，同时仍然提供高可扩展性。在本文中，我们提出了解毒剂SQL，一个数据库系统，允许应用程序开发人员放松SQL一致性时可能的。与NoSQL数据库不同，即使在宽松的一致性下，我们的方法也会强制执行主键码、外键和检查SQL约束，这足以保证许多应用程序的正确性。为此，我们定义了并发语义的SQL约束下放松一致性，并展示了如何有效地实现这种语义。对于需要严格的SQL一致性的应用程序，Antidote SQL提供了对这种语义的支持，但代价是需要在副本之间进行协调。
英文摘要：
Geo-replication poses an inherent trade-off between low latency, high availability and strong consistency. While NoSQL databases favor low latency and high availability, relaxing consistency, more recent cloud databases favor strong consistency and ease of programming, while still providing high scalability. In this paper, we present Antidote SQL, a database system that allows application developers to relax SQL consistency when possible. Unlike NoSQL databases, our approach enforces primary key, foreign key and check SQL constraints even under relaxed consistency, which is sufficient for guaranteeing the correctness of many applications. To this end, we defined concurrency semantics for SQL constraints under relaxed consistency and show how to implement such semantics efficiently. For applications that require strict SQL consistency, Antidote SQL provides support for such semantics at the cost of requiring coordination among replicas.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
