{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:YOCZQ2JKYFMVDAUVYWUMLCOWK5","short_pith_number":"pith:YOCZQ2JK","schema_version":"1.0","canonical_sha256":"c38598692ac159518295c5a8c589d6575c5602a95b9e262693fd67cc5e34e61a","source":{"kind":"arxiv","id":"2007.05463","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2007.05463","created_at":"2026-07-05T01:17:47.104076+00:00"},{"alias_kind":"arxiv_version","alias_value":"2007.05463v1","created_at":"2026-07-05T01:17:47.104076+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2007.05463","created_at":"2026-07-05T01:17:47.104076+00:00"},{"alias_kind":"pith_short_12","alias_value":"YOCZQ2JKYFMV","created_at":"2026-07-05T01:17:47.104076+00:00"},{"alias_kind":"pith_short_16","alias_value":"YOCZQ2JKYFMVDAUV","created_at":"2026-07-05T01:17:47.104076+00:00"},{"alias_kind":"pith_short_8","alias_value":"YOCZQ2JK","created_at":"2026-07-05T01:17:47.104076+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YOCZQ2JKYFMVDAUVYWUMLCOWK5","json":"https://pith.science/pith/YOCZQ2JKYFMVDAUVYWUMLCOWK5.json","graph_json":"https://pith.science/api/pith-number/YOCZQ2JKYFMVDAUVYWUMLCOWK5/graph.json","events_json":"https://pith.science/api/pith-number/YOCZQ2JKYFMVDAUVYWUMLCOWK5/events.json","paper":"https://pith.science/paper/YOCZQ2JK"},"agent_actions":{"view_html":"https://pith.science/pith/YOCZQ2JKYFMVDAUVYWUMLCOWK5","download_json":"https://pith.science/pith/YOCZQ2JKYFMVDAUVYWUMLCOWK5.json","view_paper":"https://pith.science/paper/YOCZQ2JK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2007.05463&json=true","fetch_graph":"https://pith.science/api/pith-number/YOCZQ2JKYFMVDAUVYWUMLCOWK5/graph.json","fetch_events":"https://pith.science/api/pith-number/YOCZQ2JKYFMVDAUVYWUMLCOWK5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YOCZQ2JKYFMVDAUVYWUMLCOWK5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YOCZQ2JKYFMVDAUVYWUMLCOWK5/action/storage_attestation","attest_author":"https://pith.science/pith/YOCZQ2JKYFMVDAUVYWUMLCOWK5/action/author_attestation","sign_citation":"https://pith.science/pith/YOCZQ2JKYFMVDAUVYWUMLCOWK5/action/citation_signature","submit_replication":"https://pith.science/pith/YOCZQ2JKYFMVDAUVYWUMLCOWK5/action/replication_record"}},"created_at":"2026-07-05T01:17:47.104076+00:00","updated_at":"2026-07-05T01:17:47.104076+00:00"}