{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:QHOZFT5DIK7XQIYKBES3KX5GLV","short_pith_number":"pith:QHOZFT5D","schema_version":"1.0","canonical_sha256":"81dd92cfa342bf78230a0925b55fa65d582f48ba58a686a9b4fff245a0689457","source":{"kind":"arxiv","id":"2509.06439","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2509.06439","created_at":"2026-07-05T12:06:35.814031+00:00"},{"alias_kind":"arxiv_version","alias_value":"2509.06439v1","created_at":"2026-07-05T12:06:35.814031+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.06439","created_at":"2026-07-05T12:06:35.814031+00:00"},{"alias_kind":"pith_short_12","alias_value":"QHOZFT5DIK7X","created_at":"2026-07-05T12:06:35.814031+00:00"},{"alias_kind":"pith_short_16","alias_value":"QHOZFT5DIK7XQIYK","created_at":"2026-07-05T12:06:35.814031+00:00"},{"alias_kind":"pith_short_8","alias_value":"QHOZFT5D","created_at":"2026-07-05T12:06:35.814031+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/QHOZFT5DIK7XQIYKBES3KX5GLV","json":"https://pith.science/pith/QHOZFT5DIK7XQIYKBES3KX5GLV.json","graph_json":"https://pith.science/api/pith-number/QHOZFT5DIK7XQIYKBES3KX5GLV/graph.json","events_json":"https://pith.science/api/pith-number/QHOZFT5DIK7XQIYKBES3KX5GLV/events.json","paper":"https://pith.science/paper/QHOZFT5D"},"agent_actions":{"view_html":"https://pith.science/pith/QHOZFT5DIK7XQIYKBES3KX5GLV","download_json":"https://pith.science/pith/QHOZFT5DIK7XQIYKBES3KX5GLV.json","view_paper":"https://pith.science/paper/QHOZFT5D","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2509.06439&json=true","fetch_graph":"https://pith.science/api/pith-number/QHOZFT5DIK7XQIYKBES3KX5GLV/graph.json","fetch_events":"https://pith.science/api/pith-number/QHOZFT5DIK7XQIYKBES3KX5GLV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QHOZFT5DIK7XQIYKBES3KX5GLV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QHOZFT5DIK7XQIYKBES3KX5GLV/action/storage_attestation","attest_author":"https://pith.science/pith/QHOZFT5DIK7XQIYKBES3KX5GLV/action/author_attestation","sign_citation":"https://pith.science/pith/QHOZFT5DIK7XQIYKBES3KX5GLV/action/citation_signature","submit_replication":"https://pith.science/pith/QHOZFT5DIK7XQIYKBES3KX5GLV/action/replication_record"}},"created_at":"2026-07-05T12:06:35.814031+00:00","updated_at":"2026-07-05T12:06:35.814031+00:00"}