{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:YOCZQ2JKYFMVDAUVYWUMLCOWK5","short_pith_number":"pith:YOCZQ2JK","canonical_record":{"source":{"id":"2007.05463","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2020-07-10T16:05:36Z","cross_cats_sorted":[],"title_canon_sha256":"652416ddc468a46371f16f41f26b495690de08cd17cd172ae542042cff5c185d","abstract_canon_sha256":"6f2a400d7419904b97d010f08b343154df9b64973285c21dddcb7dfc7f0a3b25"},"schema_version":"1.0"},"canonical_sha256":"c38598692ac159518295c5a8c589d6575c5602a95b9e262693fd67cc5e34e61a","source":{"kind":"arxiv","id":"2007.05463","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2007.05463","created_at":"2026-07-05T01:17:47Z"},{"alias_kind":"arxiv_version","alias_value":"2007.05463v1","created_at":"2026-07-05T01:17:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2007.05463","created_at":"2026-07-05T01:17:47Z"},{"alias_kind":"pith_short_12","alias_value":"YOCZQ2JKYFMV","created_at":"2026-07-05T01:17:47Z"},{"alias_kind":"pith_short_16","alias_value":"YOCZQ2JKYFMVDAUV","created_at":"2026-07-05T01:17:47Z"},{"alias_kind":"pith_short_8","alias_value":"YOCZQ2JK","created_at":"2026-07-05T01:17:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:YOCZQ2JKYFMVDAUVYWUMLCOWK5","target":"record","payload":{"canonical_record":{"source":{"id":"2007.05463","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2020-07-10T16:05:36Z","cross_cats_sorted":[],"title_canon_sha256":"652416ddc468a46371f16f41f26b495690de08cd17cd172ae542042cff5c185d","abstract_canon_sha256":"6f2a400d7419904b97d010f08b343154df9b64973285c21dddcb7dfc7f0a3b25"},"schema_version":"1.0"},"canonical_sha256":"c38598692ac159518295c5a8c589d6575c5602a95b9e262693fd67cc5e34e61a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:17:47.104503Z","signature_b64":"nfmuRsrfO1jXROyFQn7BYALpdNzYOilN6eGSuykmVnBLHVbzUBHz35R9ej7NCh2NVvISpuZM79qNS22zqYOFDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c38598692ac159518295c5a8c589d6575c5602a95b9e262693fd67cc5e34e61a","last_reissued_at":"2026-07-05T01:17:47.104013Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:17:47.104013Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2007.05463","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-07-05T01:17:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"99q2ORZbyY73RAnIrK8re9Z+F0FHOjPg66QYipqqoR/HcTR1KHZH6dmauYq8Kdzz1DzK2PjM/Ao1D0kNJ6k5Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T01:46:29.356415Z"},"content_sha256":"1293803b7cf3fd45cc6f1df9b918b8da6cd3f3da570a7d194ea8d4bcd759d3c6","schema_version":"1.0","event_id":"sha256:1293803b7cf3fd45cc6f1df9b918b8da6cd3f3da570a7d194ea8d4bcd759d3c6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:YOCZQ2JKYFMVDAUVYWUMLCOWK5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Daniel Deutch, Pierre Bourhis, Yuval Moskovitch","submitted_at":"2020-07-10T16:05:36Z","abstract_excerpt":"The algebraic approach for provenance tracking, originating in the semiring model of Green et. al, has proven useful as an abstract way of handling metadata. Commutative Semirings were shown to be the \"correct\" algebraic structure for Union of Conjunctive Queries, in the sense that its use allows provenance to be invariant under certain expected query equivalence axioms.\n  In this paper we present the first (to our knowledge) algebraic provenance model, for a fragment of update queries, that is invariant under set equivalence. The fragment that we focus on is that of hyperplane queries, previo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2007.05463","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2007.05463/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-05T01:17:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Bv8ygYBPd8tfY0yWLGJ+xxk9uwj5cC5pvcB5/fAcyFdaHF5AD2L5fbHgv56DBktN/KFAQnGo3ZqGZ8Cykz8ICw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T01:46:29.356911Z"},"content_sha256":"b19ef4c16b6676a22aa34ef324d09a63fba19a0d81f045a9d307077edd468a7d","schema_version":"1.0","event_id":"sha256:b19ef4c16b6676a22aa34ef324d09a63fba19a0d81f045a9d307077edd468a7d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YOCZQ2JKYFMVDAUVYWUMLCOWK5/bundle.json","state_url":"https://pith.science/pith/YOCZQ2JKYFMVDAUVYWUMLCOWK5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YOCZQ2JKYFMVDAUVYWUMLCOWK5/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-08-06T01:46:29Z","links":{"resolver":"https://pith.science/pith/YOCZQ2JKYFMVDAUVYWUMLCOWK5","bundle":"https://pith.science/pith/YOCZQ2JKYFMVDAUVYWUMLCOWK5/bundle.json","state":"https://pith.science/pith/YOCZQ2JKYFMVDAUVYWUMLCOWK5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YOCZQ2JKYFMVDAUVYWUMLCOWK5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:YOCZQ2JKYFMVDAUVYWUMLCOWK5","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":"6f2a400d7419904b97d010f08b343154df9b64973285c21dddcb7dfc7f0a3b25","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2020-07-10T16:05:36Z","title_canon_sha256":"652416ddc468a46371f16f41f26b495690de08cd17cd172ae542042cff5c185d"},"schema_version":"1.0","source":{"id":"2007.05463","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2007.05463","created_at":"2026-07-05T01:17:47Z"},{"alias_kind":"arxiv_version","alias_value":"2007.05463v1","created_at":"2026-07-05T01:17:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2007.05463","created_at":"2026-07-05T01:17:47Z"},{"alias_kind":"pith_short_12","alias_value":"YOCZQ2JKYFMV","created_at":"2026-07-05T01:17:47Z"},{"alias_kind":"pith_short_16","alias_value":"YOCZQ2JKYFMVDAUV","created_at":"2026-07-05T01:17:47Z"},{"alias_kind":"pith_short_8","alias_value":"YOCZQ2JK","created_at":"2026-07-05T01:17:47Z"}],"graph_snapshots":[{"event_id":"sha256:b19ef4c16b6676a22aa34ef324d09a63fba19a0d81f045a9d307077edd468a7d","target":"graph","created_at":"2026-07-05T01:17:47Z","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/2007.05463/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The algebraic approach for provenance tracking, originating in the semiring model of Green et. al, has proven useful as an abstract way of handling metadata. Commutative Semirings were shown to be the \"correct\" algebraic structure for Union of Conjunctive Queries, in the sense that its use allows provenance to be invariant under certain expected query equivalence axioms.\n  In this paper we present the first (to our knowledge) algebraic provenance model, for a fragment of update queries, that is invariant under set equivalence. The fragment that we focus on is that of hyperplane queries, previo","authors_text":"Daniel Deutch, Pierre Bourhis, Yuval Moskovitch","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2020-07-10T16:05:36Z","title":"Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2007.05463","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:1293803b7cf3fd45cc6f1df9b918b8da6cd3f3da570a7d194ea8d4bcd759d3c6","target":"record","created_at":"2026-07-05T01:17:47Z","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":"6f2a400d7419904b97d010f08b343154df9b64973285c21dddcb7dfc7f0a3b25","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2020-07-10T16:05:36Z","title_canon_sha256":"652416ddc468a46371f16f41f26b495690de08cd17cd172ae542042cff5c185d"},"schema_version":"1.0","source":{"id":"2007.05463","kind":"arxiv","version":1}},"canonical_sha256":"c38598692ac159518295c5a8c589d6575c5602a95b9e262693fd67cc5e34e61a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c38598692ac159518295c5a8c589d6575c5602a95b9e262693fd67cc5e34e61a","first_computed_at":"2026-07-05T01:17:47.104013Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:17:47.104013Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nfmuRsrfO1jXROyFQn7BYALpdNzYOilN6eGSuykmVnBLHVbzUBHz35R9ej7NCh2NVvISpuZM79qNS22zqYOFDw==","signature_status":"signed_v1","signed_at":"2026-07-05T01:17:47.104503Z","signed_message":"canonical_sha256_bytes"},"source_id":"2007.05463","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1293803b7cf3fd45cc6f1df9b918b8da6cd3f3da570a7d194ea8d4bcd759d3c6","sha256:b19ef4c16b6676a22aa34ef324d09a63fba19a0d81f045a9d307077edd468a7d"],"state_sha256":"17d40f9d31e7bdc0fe7e3284ab1cc119b52311bea44ad55e8bcbc3d43b6bc99e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4KsLnuDhitT0ZSk5ulqlr1mZ3el7jPrFelFhFtEANL79HnnKg/z5zil5avyK9R2Suclvx7ur7iLNWng6T+rIDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T01:46:29.360400Z","bundle_sha256":"e4ad5ef12eb2bc4ada68858f83c8aeec57e83236435a7084d10cffcaa38650df"}}