{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:C346QK5FJ4PWXVNI7VYAVG43GH","short_pith_number":"pith:C346QK5F","canonical_record":{"source":{"id":"1408.1675","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-08-07T18:29:38Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"94b38c72cb5643ead92535e6769c2acc934667514e4e36280f7a501786fe370d","abstract_canon_sha256":"c4d35d14885851288bf61ae0185b4e434a690f56ba1bf1e6df863f1b90b083d2"},"schema_version":"1.0"},"canonical_sha256":"16f9e82ba54f1f6bd5a8fd700a9b9b31c285b6fd7ec7a5fd9969343756d3383a","source":{"kind":"arxiv","id":"1408.1675","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.1675","created_at":"2026-05-18T02:45:22Z"},{"alias_kind":"arxiv_version","alias_value":"1408.1675v3","created_at":"2026-05-18T02:45:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.1675","created_at":"2026-05-18T02:45:22Z"},{"alias_kind":"pith_short_12","alias_value":"C346QK5FJ4PW","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"C346QK5FJ4PWXVNI","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"C346QK5F","created_at":"2026-05-18T12:28:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:C346QK5FJ4PWXVNI7VYAVG43GH","target":"record","payload":{"canonical_record":{"source":{"id":"1408.1675","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-08-07T18:29:38Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"94b38c72cb5643ead92535e6769c2acc934667514e4e36280f7a501786fe370d","abstract_canon_sha256":"c4d35d14885851288bf61ae0185b4e434a690f56ba1bf1e6df863f1b90b083d2"},"schema_version":"1.0"},"canonical_sha256":"16f9e82ba54f1f6bd5a8fd700a9b9b31c285b6fd7ec7a5fd9969343756d3383a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:45:22.857853Z","signature_b64":"UMbdZRT7S2qEOmYayRQ9X9qX3uYRTuVHqfbwELnlftOE4tHtK8rIWwreX/B6g5nyW/PJ8K5PeXe/FFTjQ1PxBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"16f9e82ba54f1f6bd5a8fd700a9b9b31c285b6fd7ec7a5fd9969343756d3383a","last_reissued_at":"2026-05-18T02:45:22.857455Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:45:22.857455Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1408.1675","source_version":3,"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-18T02:45:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D0GONLlKdUIga1n9DgC9Rjq0+vouONvpUVfR7RBh0LNNuOlAQBUDM92HPLeEqa56e21WxfmF5xOAS+AWNzYVDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T19:39:56.456660Z"},"content_sha256":"52b30bcd75bf6eff6cfd864dcee0d20e84bbd470a9cd648d51ca2a821b763e54","schema_version":"1.0","event_id":"sha256:52b30bcd75bf6eff6cfd864dcee0d20e84bbd470a9cd648d51ca2a821b763e54"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:C346QK5FJ4PWXVNI7VYAVG43GH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Database Queries that Explain their Work","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB"],"primary_cat":"cs.PL","authors_text":"Amal Ahmed, James Cheney, Umut A. Acar","submitted_at":"2014-08-07T18:29:38Z","abstract_excerpt":"Provenance for database queries or scientific workflows is often motivated as providing explanation, increasing understanding of the underlying data sources and processes used to compute the query, and reproducibility, the capability to recompute the results on different inputs, possibly specialized to a part of the output. Many provenance systems claim to provide such capabilities; however, most lack formal definitions or guarantees of these properties, while others provide formal guarantees only for relatively limited classes of changes. Building on recent work on provenance traces and slici"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.1675","kind":"arxiv","version":3},"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-18T02:45:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oJaTgajC8+/OqeRyXXptZlpYmqRf6vuGrM/u1fTgcVaZhHP0lMsylgyyET/dxejH31VmUH7lsd8NyhyobWbDDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T19:39:56.457063Z"},"content_sha256":"d69b6aeb2b153cd068d7738eb3a50af1446cf6e3eb3ced0fdaea710f37d46451","schema_version":"1.0","event_id":"sha256:d69b6aeb2b153cd068d7738eb3a50af1446cf6e3eb3ced0fdaea710f37d46451"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/C346QK5FJ4PWXVNI7VYAVG43GH/bundle.json","state_url":"https://pith.science/pith/C346QK5FJ4PWXVNI7VYAVG43GH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/C346QK5FJ4PWXVNI7VYAVG43GH/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-05-26T19:39:56Z","links":{"resolver":"https://pith.science/pith/C346QK5FJ4PWXVNI7VYAVG43GH","bundle":"https://pith.science/pith/C346QK5FJ4PWXVNI7VYAVG43GH/bundle.json","state":"https://pith.science/pith/C346QK5FJ4PWXVNI7VYAVG43GH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/C346QK5FJ4PWXVNI7VYAVG43GH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:C346QK5FJ4PWXVNI7VYAVG43GH","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":"c4d35d14885851288bf61ae0185b4e434a690f56ba1bf1e6df863f1b90b083d2","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-08-07T18:29:38Z","title_canon_sha256":"94b38c72cb5643ead92535e6769c2acc934667514e4e36280f7a501786fe370d"},"schema_version":"1.0","source":{"id":"1408.1675","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.1675","created_at":"2026-05-18T02:45:22Z"},{"alias_kind":"arxiv_version","alias_value":"1408.1675v3","created_at":"2026-05-18T02:45:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.1675","created_at":"2026-05-18T02:45:22Z"},{"alias_kind":"pith_short_12","alias_value":"C346QK5FJ4PW","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_16","alias_value":"C346QK5FJ4PWXVNI","created_at":"2026-05-18T12:28:22Z"},{"alias_kind":"pith_short_8","alias_value":"C346QK5F","created_at":"2026-05-18T12:28:22Z"}],"graph_snapshots":[{"event_id":"sha256:d69b6aeb2b153cd068d7738eb3a50af1446cf6e3eb3ced0fdaea710f37d46451","target":"graph","created_at":"2026-05-18T02:45:22Z","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":"Provenance for database queries or scientific workflows is often motivated as providing explanation, increasing understanding of the underlying data sources and processes used to compute the query, and reproducibility, the capability to recompute the results on different inputs, possibly specialized to a part of the output. Many provenance systems claim to provide such capabilities; however, most lack formal definitions or guarantees of these properties, while others provide formal guarantees only for relatively limited classes of changes. Building on recent work on provenance traces and slici","authors_text":"Amal Ahmed, James Cheney, Umut A. Acar","cross_cats":["cs.DB"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-08-07T18:29:38Z","title":"Database Queries that Explain their Work"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.1675","kind":"arxiv","version":3},"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:52b30bcd75bf6eff6cfd864dcee0d20e84bbd470a9cd648d51ca2a821b763e54","target":"record","created_at":"2026-05-18T02:45:22Z","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":"c4d35d14885851288bf61ae0185b4e434a690f56ba1bf1e6df863f1b90b083d2","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-08-07T18:29:38Z","title_canon_sha256":"94b38c72cb5643ead92535e6769c2acc934667514e4e36280f7a501786fe370d"},"schema_version":"1.0","source":{"id":"1408.1675","kind":"arxiv","version":3}},"canonical_sha256":"16f9e82ba54f1f6bd5a8fd700a9b9b31c285b6fd7ec7a5fd9969343756d3383a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"16f9e82ba54f1f6bd5a8fd700a9b9b31c285b6fd7ec7a5fd9969343756d3383a","first_computed_at":"2026-05-18T02:45:22.857455Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:45:22.857455Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UMbdZRT7S2qEOmYayRQ9X9qX3uYRTuVHqfbwELnlftOE4tHtK8rIWwreX/B6g5nyW/PJ8K5PeXe/FFTjQ1PxBw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:45:22.857853Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.1675","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:52b30bcd75bf6eff6cfd864dcee0d20e84bbd470a9cd648d51ca2a821b763e54","sha256:d69b6aeb2b153cd068d7738eb3a50af1446cf6e3eb3ced0fdaea710f37d46451"],"state_sha256":"586f1da88650b5862064bfbc0a439918f65861a20f86c5ced3252d180c5c4c35"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T+BMSJWfl+SC2rbgVCKC8307SE6LDpZaeuaqkk6F6W/aut1UszSK6sX7UGaMD6zajTGN50rxyUbSq3BwUigxCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T19:39:56.460906Z","bundle_sha256":"3401578dbf9eb96ce9932c53610f562dde6129232e2f2bad4902f308c5f68162"}}