{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:HXCQ7EKHP4BU6U7QPGO64FHK76","short_pith_number":"pith:HXCQ7EKH","canonical_record":{"source":{"id":"1807.02957","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2018-07-09T06:40:08Z","cross_cats_sorted":["cs.LO","cs.PL"],"title_canon_sha256":"82115ed57291d1618b48ee4e2b1a6d5b2760892f9408b92eca1566552b6149f3","abstract_canon_sha256":"8c2ea45d0bba10aa94a1d9b1040bdb592c1a48a537e04c9bc1862184b5161934"},"schema_version":"1.0"},"canonical_sha256":"3dc50f91477f034f53f0799dee14eaff930b6e132e33a21b8c94878c39190b17","source":{"kind":"arxiv","id":"1807.02957","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.02957","created_at":"2026-05-18T00:11:13Z"},{"alias_kind":"arxiv_version","alias_value":"1807.02957v1","created_at":"2026-05-18T00:11:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.02957","created_at":"2026-05-18T00:11:13Z"},{"alias_kind":"pith_short_12","alias_value":"HXCQ7EKHP4BU","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HXCQ7EKHP4BU6U7Q","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HXCQ7EKH","created_at":"2026-05-18T12:32:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:HXCQ7EKHP4BU6U7QPGO64FHK76","target":"record","payload":{"canonical_record":{"source":{"id":"1807.02957","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2018-07-09T06:40:08Z","cross_cats_sorted":["cs.LO","cs.PL"],"title_canon_sha256":"82115ed57291d1618b48ee4e2b1a6d5b2760892f9408b92eca1566552b6149f3","abstract_canon_sha256":"8c2ea45d0bba10aa94a1d9b1040bdb592c1a48a537e04c9bc1862184b5161934"},"schema_version":"1.0"},"canonical_sha256":"3dc50f91477f034f53f0799dee14eaff930b6e132e33a21b8c94878c39190b17","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:11:13.246641Z","signature_b64":"vRyjEcA0o5pNgn2Uob0MIaRxMCwiEa90OIGsyukLjdM7qFJbLCnYBq2M1hs0b9Wx3JvUMaR9gJqwWfByeeSdCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3dc50f91477f034f53f0799dee14eaff930b6e132e33a21b8c94878c39190b17","last_reissued_at":"2026-05-18T00:11:13.246018Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:11:13.246018Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.02957","source_version":1,"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-05-18T00:11:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4Ydd8GCC3GuFJfw4PXGJnOxFTiFN9ccD9KhXrmikDwLH8O2PRQFL3J0avRA7e+DxXvK3qTPZtFhm0dRXYcE/Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T06:03:27.467156Z"},"content_sha256":"f040b9a491ba2df36a547b2fba0b3c9e71b917070b8af744a8abb1c4efce8326","schema_version":"1.0","event_id":"sha256:f040b9a491ba2df36a547b2fba0b3c9e71b917070b8af744a8abb1c4efce8326"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:HXCQ7EKHP4BU6U7QPGO64FHK76","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Scaling-Up Reasoning and Advanced Analytics on BigData","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.PL"],"primary_cat":"cs.DB","authors_text":"Alexander Shkapsky, Ariyam Das, Carlo Zaniolo, Matteo Interlandi, Mohan Yang, Tyson Condie","submitted_at":"2018-07-09T06:40:08Z","abstract_excerpt":"BigDatalog is an extension of Datalog that achieves performance and scalability on both Apache Spark and multicore systems to the point that its graph analytics outperform those written in GraphX. Looking back, we see how this realizes the ambitious goal pursued by deductive database researchers beginning forty years ago: this is the goal of combining the rigor and power of logic in expressing queries and reasoning with the performance and scalability by which relational databases managed Big Data. This goal led to Datalog which is based on Horn Clauses like Prolog but employs implementation t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.02957","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T00:11:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YgTybaduv7g7ZKXT265K3Z8J+IUEykxplGuPJx6H6I+KNGj/dM8/Xp2Rp/35LvW4bHnbyVOmLeYfYwLe22oJAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T06:03:27.467517Z"},"content_sha256":"7fe0b29674e21fa22e52a93bf995827d7bf34e1fb1b5f186b5ddf5915d986e60","schema_version":"1.0","event_id":"sha256:7fe0b29674e21fa22e52a93bf995827d7bf34e1fb1b5f186b5ddf5915d986e60"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HXCQ7EKHP4BU6U7QPGO64FHK76/bundle.json","state_url":"https://pith.science/pith/HXCQ7EKHP4BU6U7QPGO64FHK76/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HXCQ7EKHP4BU6U7QPGO64FHK76/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-06-23T06:03:27Z","links":{"resolver":"https://pith.science/pith/HXCQ7EKHP4BU6U7QPGO64FHK76","bundle":"https://pith.science/pith/HXCQ7EKHP4BU6U7QPGO64FHK76/bundle.json","state":"https://pith.science/pith/HXCQ7EKHP4BU6U7QPGO64FHK76/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HXCQ7EKHP4BU6U7QPGO64FHK76/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:HXCQ7EKHP4BU6U7QPGO64FHK76","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":"8c2ea45d0bba10aa94a1d9b1040bdb592c1a48a537e04c9bc1862184b5161934","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2018-07-09T06:40:08Z","title_canon_sha256":"82115ed57291d1618b48ee4e2b1a6d5b2760892f9408b92eca1566552b6149f3"},"schema_version":"1.0","source":{"id":"1807.02957","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.02957","created_at":"2026-05-18T00:11:13Z"},{"alias_kind":"arxiv_version","alias_value":"1807.02957v1","created_at":"2026-05-18T00:11:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.02957","created_at":"2026-05-18T00:11:13Z"},{"alias_kind":"pith_short_12","alias_value":"HXCQ7EKHP4BU","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HXCQ7EKHP4BU6U7Q","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HXCQ7EKH","created_at":"2026-05-18T12:32:28Z"}],"graph_snapshots":[{"event_id":"sha256:7fe0b29674e21fa22e52a93bf995827d7bf34e1fb1b5f186b5ddf5915d986e60","target":"graph","created_at":"2026-05-18T00:11:13Z","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"},"paper":{"abstract_excerpt":"BigDatalog is an extension of Datalog that achieves performance and scalability on both Apache Spark and multicore systems to the point that its graph analytics outperform those written in GraphX. Looking back, we see how this realizes the ambitious goal pursued by deductive database researchers beginning forty years ago: this is the goal of combining the rigor and power of logic in expressing queries and reasoning with the performance and scalability by which relational databases managed Big Data. This goal led to Datalog which is based on Horn Clauses like Prolog but employs implementation t","authors_text":"Alexander Shkapsky, Ariyam Das, Carlo Zaniolo, Matteo Interlandi, Mohan Yang, Tyson Condie","cross_cats":["cs.LO","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2018-07-09T06:40:08Z","title":"Scaling-Up Reasoning and Advanced Analytics on BigData"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.02957","kind":"arxiv","version":1},"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:f040b9a491ba2df36a547b2fba0b3c9e71b917070b8af744a8abb1c4efce8326","target":"record","created_at":"2026-05-18T00:11:13Z","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":"8c2ea45d0bba10aa94a1d9b1040bdb592c1a48a537e04c9bc1862184b5161934","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2018-07-09T06:40:08Z","title_canon_sha256":"82115ed57291d1618b48ee4e2b1a6d5b2760892f9408b92eca1566552b6149f3"},"schema_version":"1.0","source":{"id":"1807.02957","kind":"arxiv","version":1}},"canonical_sha256":"3dc50f91477f034f53f0799dee14eaff930b6e132e33a21b8c94878c39190b17","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3dc50f91477f034f53f0799dee14eaff930b6e132e33a21b8c94878c39190b17","first_computed_at":"2026-05-18T00:11:13.246018Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:11:13.246018Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vRyjEcA0o5pNgn2Uob0MIaRxMCwiEa90OIGsyukLjdM7qFJbLCnYBq2M1hs0b9Wx3JvUMaR9gJqwWfByeeSdCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:11:13.246641Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.02957","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f040b9a491ba2df36a547b2fba0b3c9e71b917070b8af744a8abb1c4efce8326","sha256:7fe0b29674e21fa22e52a93bf995827d7bf34e1fb1b5f186b5ddf5915d986e60"],"state_sha256":"8f8a4affbfc0960f0e282cbf21c79f1fcaa24ce384c31bb26b86d70bfa3ca26c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2KF1PgNGH+FyGeLkbvY2soEVtUa/3681bNX/3rar00aTH48KUAplMSRD8mgTNfVom0LOlZ9+XHgEKodbBwMnBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T06:03:27.469656Z","bundle_sha256":"440e1dd59ce31dc036bfae858a93ecf71252ac5d1623bb27dd50a96edf290adb"}}