{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:XCC2OWT24UFNRVSAM2DPIJP5SI","short_pith_number":"pith:XCC2OWT2","canonical_record":{"source":{"id":"2011.09753","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DB","submitted_at":"2020-11-19T10:10:21Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"8c23d8cefd6f5392412ec218b6a1e8114883244f68a90c9953645cdf548af983","abstract_canon_sha256":"04403c3d998a817a38d5162707bf5dd991d8c108747ce08e9a67a0978ea81f47"},"schema_version":"1.0"},"canonical_sha256":"b885a75a7ae50ad8d6406686f425fd921c80e8ce7db72f1f3e901f88c0d2bfba","source":{"kind":"arxiv","id":"2011.09753","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2011.09753","created_at":"2026-07-05T02:18:32Z"},{"alias_kind":"arxiv_version","alias_value":"2011.09753v5","created_at":"2026-07-05T02:18:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2011.09753","created_at":"2026-07-05T02:18:32Z"},{"alias_kind":"pith_short_12","alias_value":"XCC2OWT24UFN","created_at":"2026-07-05T02:18:32Z"},{"alias_kind":"pith_short_16","alias_value":"XCC2OWT24UFNRVSA","created_at":"2026-07-05T02:18:32Z"},{"alias_kind":"pith_short_8","alias_value":"XCC2OWT2","created_at":"2026-07-05T02:18:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:XCC2OWT24UFNRVSAM2DPIJP5SI","target":"record","payload":{"canonical_record":{"source":{"id":"2011.09753","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DB","submitted_at":"2020-11-19T10:10:21Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"8c23d8cefd6f5392412ec218b6a1e8114883244f68a90c9953645cdf548af983","abstract_canon_sha256":"04403c3d998a817a38d5162707bf5dd991d8c108747ce08e9a67a0978ea81f47"},"schema_version":"1.0"},"canonical_sha256":"b885a75a7ae50ad8d6406686f425fd921c80e8ce7db72f1f3e901f88c0d2bfba","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:18:32.762571Z","signature_b64":"EeXiYE5gq8IYshcr8LTVkwJDEQTrNjBer10HY2tt7Q74ZpOG/aBOlvfDdPMIJSy/5uQWxSYfYzPoF1utXZjTBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b885a75a7ae50ad8d6406686f425fd921c80e8ce7db72f1f3e901f88c0d2bfba","last_reissued_at":"2026-07-05T02:18:32.762168Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:18:32.762168Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2011.09753","source_version":5,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T02:18:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Dct35gkkXO0wrBCE1Sx5Rs9EnPYrwrfL+ax4LVKeLqkR1LZSBj8pSmczumDNBl5NPTMADrurbl8gaD0JEVjyBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-16T14:51:56.344385Z"},"content_sha256":"498a47cc4527a96f0f6483a060e919141ca3d8cecc4ba248ee66cec33ecc251c","schema_version":"1.0","event_id":"sha256:498a47cc4527a96f0f6483a060e919141ca3d8cecc4ba248ee66cec33ecc251c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:XCC2OWT24UFNRVSAM2DPIJP5SI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Checking Causal Consistency of Distributed Databases","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.DB","authors_text":"Ahmed Bouajjani, Constantin Enea, Mohammed Erradi, Rachid Zennou, Ranadeep Biswas","submitted_at":"2020-11-19T10:10:21Z","abstract_excerpt":"The CAP Theorem shows that (strong) Consistency, Availability, and Partition tolerance are impossible to be ensured together. Causal consistency is one of the weak consistency models that can be implemented to ensure availability and partition tolerance in distributed systems. In this work, we propose a tool to check automatically the conformance of distributed/concurrent systems executions to causal consistency models. Our approach consists in reducing the problem of checking if an execution is causally consistent to solving Datalog queries. The reduction is based on complete characterization"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2011.09753","kind":"arxiv","version":5},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2011.09753/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T02:18:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/hkDtZEPbh6pVKJ36DBzgn6A1DAREhctZVLHUICxO5bAW3B+oPyDsk4snMkk54W9g253Po22K8swMenrPaVRAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-16T14:51:56.344768Z"},"content_sha256":"f2ea3f18e351629307220491bac36995284ab585fdddd69de1fc7af950be9827","schema_version":"1.0","event_id":"sha256:f2ea3f18e351629307220491bac36995284ab585fdddd69de1fc7af950be9827"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XCC2OWT24UFNRVSAM2DPIJP5SI/bundle.json","state_url":"https://pith.science/pith/XCC2OWT24UFNRVSAM2DPIJP5SI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XCC2OWT24UFNRVSAM2DPIJP5SI/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-16T14:51:56Z","links":{"resolver":"https://pith.science/pith/XCC2OWT24UFNRVSAM2DPIJP5SI","bundle":"https://pith.science/pith/XCC2OWT24UFNRVSAM2DPIJP5SI/bundle.json","state":"https://pith.science/pith/XCC2OWT24UFNRVSAM2DPIJP5SI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XCC2OWT24UFNRVSAM2DPIJP5SI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:XCC2OWT24UFNRVSAM2DPIJP5SI","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"04403c3d998a817a38d5162707bf5dd991d8c108747ce08e9a67a0978ea81f47","cross_cats_sorted":["cs.DC"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DB","submitted_at":"2020-11-19T10:10:21Z","title_canon_sha256":"8c23d8cefd6f5392412ec218b6a1e8114883244f68a90c9953645cdf548af983"},"schema_version":"1.0","source":{"id":"2011.09753","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2011.09753","created_at":"2026-07-05T02:18:32Z"},{"alias_kind":"arxiv_version","alias_value":"2011.09753v5","created_at":"2026-07-05T02:18:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2011.09753","created_at":"2026-07-05T02:18:32Z"},{"alias_kind":"pith_short_12","alias_value":"XCC2OWT24UFN","created_at":"2026-07-05T02:18:32Z"},{"alias_kind":"pith_short_16","alias_value":"XCC2OWT24UFNRVSA","created_at":"2026-07-05T02:18:32Z"},{"alias_kind":"pith_short_8","alias_value":"XCC2OWT2","created_at":"2026-07-05T02:18:32Z"}],"graph_snapshots":[{"event_id":"sha256:f2ea3f18e351629307220491bac36995284ab585fdddd69de1fc7af950be9827","target":"graph","created_at":"2026-07-05T02:18:32Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2011.09753/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The CAP Theorem shows that (strong) Consistency, Availability, and Partition tolerance are impossible to be ensured together. Causal consistency is one of the weak consistency models that can be implemented to ensure availability and partition tolerance in distributed systems. In this work, we propose a tool to check automatically the conformance of distributed/concurrent systems executions to causal consistency models. Our approach consists in reducing the problem of checking if an execution is causally consistent to solving Datalog queries. The reduction is based on complete characterization","authors_text":"Ahmed Bouajjani, Constantin Enea, Mohammed Erradi, Rachid Zennou, Ranadeep Biswas","cross_cats":["cs.DC"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DB","submitted_at":"2020-11-19T10:10:21Z","title":"Checking Causal Consistency of Distributed Databases"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2011.09753","kind":"arxiv","version":5},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:498a47cc4527a96f0f6483a060e919141ca3d8cecc4ba248ee66cec33ecc251c","target":"record","created_at":"2026-07-05T02:18:32Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"04403c3d998a817a38d5162707bf5dd991d8c108747ce08e9a67a0978ea81f47","cross_cats_sorted":["cs.DC"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.DB","submitted_at":"2020-11-19T10:10:21Z","title_canon_sha256":"8c23d8cefd6f5392412ec218b6a1e8114883244f68a90c9953645cdf548af983"},"schema_version":"1.0","source":{"id":"2011.09753","kind":"arxiv","version":5}},"canonical_sha256":"b885a75a7ae50ad8d6406686f425fd921c80e8ce7db72f1f3e901f88c0d2bfba","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b885a75a7ae50ad8d6406686f425fd921c80e8ce7db72f1f3e901f88c0d2bfba","first_computed_at":"2026-07-05T02:18:32.762168Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:18:32.762168Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EeXiYE5gq8IYshcr8LTVkwJDEQTrNjBer10HY2tt7Q74ZpOG/aBOlvfDdPMIJSy/5uQWxSYfYzPoF1utXZjTBA==","signature_status":"signed_v1","signed_at":"2026-07-05T02:18:32.762571Z","signed_message":"canonical_sha256_bytes"},"source_id":"2011.09753","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:498a47cc4527a96f0f6483a060e919141ca3d8cecc4ba248ee66cec33ecc251c","sha256:f2ea3f18e351629307220491bac36995284ab585fdddd69de1fc7af950be9827"],"state_sha256":"facc26a4a98f34b13861b8ffcce7bb52f6446873277a6c5af68f87a096bb6669"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gMw0UYLa4VblKoE9zrqnofzxR9pTs9wto7/dwJblM3m2S8k2oMR3RZnoxV4CCg9OblVo2G3vkczhwRvRS5oKBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-16T14:51:56.346902Z","bundle_sha256":"42d67c5ba064d55ae0bd790f2e642e314515cb145001636ae0462cfa3f89e170"}}