{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:QHOZFT5DIK7XQIYKBES3KX5GLV","short_pith_number":"pith:QHOZFT5D","canonical_record":{"source":{"id":"2509.06439","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2025-09-08T08:35:46Z","cross_cats_sorted":["cs.DM","cs.MS"],"title_canon_sha256":"f3a5a656f12fe856282593adb7a60bca2ff82aabc19e7dc96720708af613706b","abstract_canon_sha256":"5e2298d8383725f7f319c09496ae4185290a961190098134a4d2a0869a40fccc"},"schema_version":"1.0"},"canonical_sha256":"81dd92cfa342bf78230a0925b55fa65d582f48ba58a686a9b4fff245a0689457","source":{"kind":"arxiv","id":"2509.06439","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.06439","created_at":"2026-07-05T12:06:35Z"},{"alias_kind":"arxiv_version","alias_value":"2509.06439v1","created_at":"2026-07-05T12:06:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.06439","created_at":"2026-07-05T12:06:35Z"},{"alias_kind":"pith_short_12","alias_value":"QHOZFT5DIK7X","created_at":"2026-07-05T12:06:35Z"},{"alias_kind":"pith_short_16","alias_value":"QHOZFT5DIK7XQIYK","created_at":"2026-07-05T12:06:35Z"},{"alias_kind":"pith_short_8","alias_value":"QHOZFT5D","created_at":"2026-07-05T12:06:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:QHOZFT5DIK7XQIYKBES3KX5GLV","target":"record","payload":{"canonical_record":{"source":{"id":"2509.06439","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2025-09-08T08:35:46Z","cross_cats_sorted":["cs.DM","cs.MS"],"title_canon_sha256":"f3a5a656f12fe856282593adb7a60bca2ff82aabc19e7dc96720708af613706b","abstract_canon_sha256":"5e2298d8383725f7f319c09496ae4185290a961190098134a4d2a0869a40fccc"},"schema_version":"1.0"},"canonical_sha256":"81dd92cfa342bf78230a0925b55fa65d582f48ba58a686a9b4fff245a0689457","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:06:35.814469Z","signature_b64":"/Nwg/e+JVcdX+uTeOLJoFo7AFZPgTWvtHnPugHqbNX+OAxYfl1z6lfgmQjZ9SiBa1L/iq18t6penbykEJK2nDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"81dd92cfa342bf78230a0925b55fa65d582f48ba58a686a9b4fff245a0689457","last_reissued_at":"2026-07-05T12:06:35.813947Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:06:35.813947Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.06439","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-05T12:06:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rMrGKwRa+UMALjbb+HhTMVqdr21t2Rn3kfGPcLJZI9U7zs67Frg6d8A/lFQoVPVYyGWHpPfnO66+segbKQ9uAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T21:18:33.406041Z"},"content_sha256":"18f28e976af8847865ff14a861f096ff0772050e996477246c96d6852f6b54e9","schema_version":"1.0","event_id":"sha256:18f28e976af8847865ff14a861f096ff0772050e996477246c96d6852f6b54e9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:QHOZFT5DIK7XQIYKBES3KX5GLV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Relational Algebras for Subset Selection and Optimisation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","cs.MS"],"primary_cat":"cs.DB","authors_text":"David Robert Pratten, Fahimeh Ramezani, Luke Mathieson","submitted_at":"2025-09-08T08:35:46Z","abstract_excerpt":"The database community lacks a unified relational query language for subset selection and optimisation queries, limiting both user expression and query optimiser reasoning about such problems. Decades of research (latterly under the rubric of prescriptive analytics) have produced powerful evaluation algorithms with incompatible, ad-hoc SQL extensions that specify and filter through distinct mechanisms. We present the first unified algebraic foundation for these queries, introducing relational exponentiation to complete the fundamental algebraic operations alongside union (addition) and cross p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.06439","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/2509.06439/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-05T12:06:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zPItWwaZmfnrVaX6CqZ/zMisabce7S0bFCFmlmlIqweACBwAx07S9afmhtwt8373UQ0qZrb9tqwpBBSSooSlCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T21:18:33.406629Z"},"content_sha256":"59cddf5afff38e7c345f9e4a9f67d60f87de1fb6bfb0a975ff879bb6fda1cd34","schema_version":"1.0","event_id":"sha256:59cddf5afff38e7c345f9e4a9f67d60f87de1fb6bfb0a975ff879bb6fda1cd34"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QHOZFT5DIK7XQIYKBES3KX5GLV/bundle.json","state_url":"https://pith.science/pith/QHOZFT5DIK7XQIYKBES3KX5GLV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QHOZFT5DIK7XQIYKBES3KX5GLV/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-10T21:18:33Z","links":{"resolver":"https://pith.science/pith/QHOZFT5DIK7XQIYKBES3KX5GLV","bundle":"https://pith.science/pith/QHOZFT5DIK7XQIYKBES3KX5GLV/bundle.json","state":"https://pith.science/pith/QHOZFT5DIK7XQIYKBES3KX5GLV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QHOZFT5DIK7XQIYKBES3KX5GLV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:QHOZFT5DIK7XQIYKBES3KX5GLV","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":"5e2298d8383725f7f319c09496ae4185290a961190098134a4d2a0869a40fccc","cross_cats_sorted":["cs.DM","cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2025-09-08T08:35:46Z","title_canon_sha256":"f3a5a656f12fe856282593adb7a60bca2ff82aabc19e7dc96720708af613706b"},"schema_version":"1.0","source":{"id":"2509.06439","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.06439","created_at":"2026-07-05T12:06:35Z"},{"alias_kind":"arxiv_version","alias_value":"2509.06439v1","created_at":"2026-07-05T12:06:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.06439","created_at":"2026-07-05T12:06:35Z"},{"alias_kind":"pith_short_12","alias_value":"QHOZFT5DIK7X","created_at":"2026-07-05T12:06:35Z"},{"alias_kind":"pith_short_16","alias_value":"QHOZFT5DIK7XQIYK","created_at":"2026-07-05T12:06:35Z"},{"alias_kind":"pith_short_8","alias_value":"QHOZFT5D","created_at":"2026-07-05T12:06:35Z"}],"graph_snapshots":[{"event_id":"sha256:59cddf5afff38e7c345f9e4a9f67d60f87de1fb6bfb0a975ff879bb6fda1cd34","target":"graph","created_at":"2026-07-05T12:06:35Z","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/2509.06439/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The database community lacks a unified relational query language for subset selection and optimisation queries, limiting both user expression and query optimiser reasoning about such problems. Decades of research (latterly under the rubric of prescriptive analytics) have produced powerful evaluation algorithms with incompatible, ad-hoc SQL extensions that specify and filter through distinct mechanisms. We present the first unified algebraic foundation for these queries, introducing relational exponentiation to complete the fundamental algebraic operations alongside union (addition) and cross p","authors_text":"David Robert Pratten, Fahimeh Ramezani, Luke Mathieson","cross_cats":["cs.DM","cs.MS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2025-09-08T08:35:46Z","title":"Relational Algebras for Subset Selection and Optimisation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.06439","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:18f28e976af8847865ff14a861f096ff0772050e996477246c96d6852f6b54e9","target":"record","created_at":"2026-07-05T12:06:35Z","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":"5e2298d8383725f7f319c09496ae4185290a961190098134a4d2a0869a40fccc","cross_cats_sorted":["cs.DM","cs.MS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2025-09-08T08:35:46Z","title_canon_sha256":"f3a5a656f12fe856282593adb7a60bca2ff82aabc19e7dc96720708af613706b"},"schema_version":"1.0","source":{"id":"2509.06439","kind":"arxiv","version":1}},"canonical_sha256":"81dd92cfa342bf78230a0925b55fa65d582f48ba58a686a9b4fff245a0689457","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"81dd92cfa342bf78230a0925b55fa65d582f48ba58a686a9b4fff245a0689457","first_computed_at":"2026-07-05T12:06:35.813947Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:06:35.813947Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/Nwg/e+JVcdX+uTeOLJoFo7AFZPgTWvtHnPugHqbNX+OAxYfl1z6lfgmQjZ9SiBa1L/iq18t6penbykEJK2nDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T12:06:35.814469Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.06439","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:18f28e976af8847865ff14a861f096ff0772050e996477246c96d6852f6b54e9","sha256:59cddf5afff38e7c345f9e4a9f67d60f87de1fb6bfb0a975ff879bb6fda1cd34"],"state_sha256":"d388d5bd97134403cf58f1922d2cc3eeb1250c2dc441874da986f6eda1268cc0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uolzg1JiCSjHdqWgj+laROs7dYP6dGs8Wywwxoj8yWuJsy4N18qTZuA5ky1NvJw7CJrWpCmgFSpZ2f1iny4kDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T21:18:33.411679Z","bundle_sha256":"37efd72d20b0ddc360445b34c4952ef98e9fa9bb12e532ded1c16583a0b9187e"}}