Discovery of Equations and the Shared Operational Semantics in Distributed Autonomous Databases