{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:YIRJQN2EPRHXLWAQ7VP6ZTQYRZ","short_pith_number":"pith:YIRJQN2E","canonical_record":{"source":{"id":"1701.05699","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-01-20T05:46:00Z","cross_cats_sorted":[],"title_canon_sha256":"ca00b343adb1b8387840e6fac9ec0b00bd8016c47b30452fce33cd206654613e","abstract_canon_sha256":"1b710e09707ff6b837cb3c2f27f5281acbc23917f7c1315a2f2a773bb824b3d4"},"schema_version":"1.0"},"canonical_sha256":"c2229837447c4f75d810fd5fecce188e5f8c43bb29517c6fd22f70b180fa04e3","source":{"kind":"arxiv","id":"1701.05699","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.05699","created_at":"2026-05-18T00:52:28Z"},{"alias_kind":"arxiv_version","alias_value":"1701.05699v1","created_at":"2026-05-18T00:52:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.05699","created_at":"2026-05-18T00:52:28Z"},{"alias_kind":"pith_short_12","alias_value":"YIRJQN2EPRHX","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"YIRJQN2EPRHXLWAQ","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"YIRJQN2E","created_at":"2026-05-18T12:31:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:YIRJQN2EPRHXLWAQ7VP6ZTQYRZ","target":"record","payload":{"canonical_record":{"source":{"id":"1701.05699","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-01-20T05:46:00Z","cross_cats_sorted":[],"title_canon_sha256":"ca00b343adb1b8387840e6fac9ec0b00bd8016c47b30452fce33cd206654613e","abstract_canon_sha256":"1b710e09707ff6b837cb3c2f27f5281acbc23917f7c1315a2f2a773bb824b3d4"},"schema_version":"1.0"},"canonical_sha256":"c2229837447c4f75d810fd5fecce188e5f8c43bb29517c6fd22f70b180fa04e3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:52:28.763656Z","signature_b64":"gCvTLxgxqtZagSav4hGMctwz6PdviWvcPWtSoeeYGlEIneB+yelOymJm7GG1VBozKM9xObfb5T5UjzKO6fehBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c2229837447c4f75d810fd5fecce188e5f8c43bb29517c6fd22f70b180fa04e3","last_reissued_at":"2026-05-18T00:52:28.763122Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:52:28.763122Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1701.05699","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:52:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"coHYQKjXp9gHBUrx/MtlRXDYoT6bw3ymGawJMRhgx8177Dzhw/DZ5aMhG1oM8MZs/32wLxG/PDi5Kh8QYM1CCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T19:25:35.496702Z"},"content_sha256":"4ba62326aa7bd232646bfabc03c3d699ff3f708a2fbd97c9a4f5373a8c714451","schema_version":"1.0","event_id":"sha256:4ba62326aa7bd232646bfabc03c3d699ff3f708a2fbd97c9a4f5373a8c714451"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:YIRJQN2EPRHXLWAQ7VP6ZTQYRZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficiently Computing Provenance Graphs for Queries with Negation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Bertram Ludaescher, Boris Glavic, Seokki Lee, Sven Koehler","submitted_at":"2017-01-20T05:46:00Z","abstract_excerpt":"Explaining why an answer is in the result of a query or why it is missing from the result is important for many applications including auditing, debugging data and queries, and answering hypothetical questions about data. Both types of questions, i.e., why and why-not provenance, have been studied extensively. In this work, we present the first practical approach for answering such questions for queries with negation (first-order queries). Our approach is based on a rewriting of Datalog rules (called firing rules) that captures successful rule derivations within the context of a Datalog query."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.05699","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:52:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lrv223264kvFbjSzp/GtWyQWpMAAOJ0CWv9YPQKiJi/0MqZw8QCgXiKL+16j7vuFgGTITi341AUoxjGik3U1Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T19:25:35.497433Z"},"content_sha256":"bde95a7a9632a3b8deca42a090f18a34fce9de0a8d0e52f63d8ccc9df2ada35e","schema_version":"1.0","event_id":"sha256:bde95a7a9632a3b8deca42a090f18a34fce9de0a8d0e52f63d8ccc9df2ada35e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YIRJQN2EPRHXLWAQ7VP6ZTQYRZ/bundle.json","state_url":"https://pith.science/pith/YIRJQN2EPRHXLWAQ7VP6ZTQYRZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YIRJQN2EPRHXLWAQ7VP6ZTQYRZ/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-25T19:25:35Z","links":{"resolver":"https://pith.science/pith/YIRJQN2EPRHXLWAQ7VP6ZTQYRZ","bundle":"https://pith.science/pith/YIRJQN2EPRHXLWAQ7VP6ZTQYRZ/bundle.json","state":"https://pith.science/pith/YIRJQN2EPRHXLWAQ7VP6ZTQYRZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YIRJQN2EPRHXLWAQ7VP6ZTQYRZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:YIRJQN2EPRHXLWAQ7VP6ZTQYRZ","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":"1b710e09707ff6b837cb3c2f27f5281acbc23917f7c1315a2f2a773bb824b3d4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-01-20T05:46:00Z","title_canon_sha256":"ca00b343adb1b8387840e6fac9ec0b00bd8016c47b30452fce33cd206654613e"},"schema_version":"1.0","source":{"id":"1701.05699","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.05699","created_at":"2026-05-18T00:52:28Z"},{"alias_kind":"arxiv_version","alias_value":"1701.05699v1","created_at":"2026-05-18T00:52:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.05699","created_at":"2026-05-18T00:52:28Z"},{"alias_kind":"pith_short_12","alias_value":"YIRJQN2EPRHX","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_16","alias_value":"YIRJQN2EPRHXLWAQ","created_at":"2026-05-18T12:31:56Z"},{"alias_kind":"pith_short_8","alias_value":"YIRJQN2E","created_at":"2026-05-18T12:31:56Z"}],"graph_snapshots":[{"event_id":"sha256:bde95a7a9632a3b8deca42a090f18a34fce9de0a8d0e52f63d8ccc9df2ada35e","target":"graph","created_at":"2026-05-18T00:52:28Z","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":"Explaining why an answer is in the result of a query or why it is missing from the result is important for many applications including auditing, debugging data and queries, and answering hypothetical questions about data. Both types of questions, i.e., why and why-not provenance, have been studied extensively. In this work, we present the first practical approach for answering such questions for queries with negation (first-order queries). Our approach is based on a rewriting of Datalog rules (called firing rules) that captures successful rule derivations within the context of a Datalog query.","authors_text":"Bertram Ludaescher, Boris Glavic, Seokki Lee, Sven Koehler","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-01-20T05:46:00Z","title":"Efficiently Computing Provenance Graphs for Queries with Negation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.05699","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:4ba62326aa7bd232646bfabc03c3d699ff3f708a2fbd97c9a4f5373a8c714451","target":"record","created_at":"2026-05-18T00:52:28Z","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":"1b710e09707ff6b837cb3c2f27f5281acbc23917f7c1315a2f2a773bb824b3d4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-01-20T05:46:00Z","title_canon_sha256":"ca00b343adb1b8387840e6fac9ec0b00bd8016c47b30452fce33cd206654613e"},"schema_version":"1.0","source":{"id":"1701.05699","kind":"arxiv","version":1}},"canonical_sha256":"c2229837447c4f75d810fd5fecce188e5f8c43bb29517c6fd22f70b180fa04e3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c2229837447c4f75d810fd5fecce188e5f8c43bb29517c6fd22f70b180fa04e3","first_computed_at":"2026-05-18T00:52:28.763122Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:52:28.763122Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gCvTLxgxqtZagSav4hGMctwz6PdviWvcPWtSoeeYGlEIneB+yelOymJm7GG1VBozKM9xObfb5T5UjzKO6fehBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:52:28.763656Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.05699","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4ba62326aa7bd232646bfabc03c3d699ff3f708a2fbd97c9a4f5373a8c714451","sha256:bde95a7a9632a3b8deca42a090f18a34fce9de0a8d0e52f63d8ccc9df2ada35e"],"state_sha256":"33f97dce4ecd71f498f438f2e631a3088df0d44969d1c8f51ef467339eb46bc9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uRussetRSV1ZzJPBwz33Jhqbey4Nt/JaKd+4NJSq4S8RF+KWmX7pA1La+XYmy8sbW75ZNXeY0t1X5SSJ/hlGBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T19:25:35.501493Z","bundle_sha256":"6c74bd3964474094e15c7d001ce4d00d09fe6e55bc53cc70c089e21c1ccc4dfe"}}