{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:WW4GXCN2CVLWMSABXXIYQ564PX","short_pith_number":"pith:WW4GXCN2","canonical_record":{"source":{"id":"2407.12794","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2024-06-19T21:11:19Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"6350a68470546e161c48d6bbbd4b89839bdcbe0a967982f2bc2184ce4453114e","abstract_canon_sha256":"ec43f7f41c9d0cefca75b04d3bf28724d47ac1cc04aad062e855a739af34a6a7"},"schema_version":"1.0"},"canonical_sha256":"b5b86b89ba1557664801bdd18877dc7dc40879d5502402e4b3737094ecd5dd39","source":{"kind":"arxiv","id":"2407.12794","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.12794","created_at":"2026-07-05T08:45:11Z"},{"alias_kind":"arxiv_version","alias_value":"2407.12794v1","created_at":"2026-07-05T08:45:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.12794","created_at":"2026-07-05T08:45:11Z"},{"alias_kind":"pith_short_12","alias_value":"WW4GXCN2CVLW","created_at":"2026-07-05T08:45:11Z"},{"alias_kind":"pith_short_16","alias_value":"WW4GXCN2CVLWMSAB","created_at":"2026-07-05T08:45:11Z"},{"alias_kind":"pith_short_8","alias_value":"WW4GXCN2","created_at":"2026-07-05T08:45:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:WW4GXCN2CVLWMSABXXIYQ564PX","target":"record","payload":{"canonical_record":{"source":{"id":"2407.12794","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2024-06-19T21:11:19Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"6350a68470546e161c48d6bbbd4b89839bdcbe0a967982f2bc2184ce4453114e","abstract_canon_sha256":"ec43f7f41c9d0cefca75b04d3bf28724d47ac1cc04aad062e855a739af34a6a7"},"schema_version":"1.0"},"canonical_sha256":"b5b86b89ba1557664801bdd18877dc7dc40879d5502402e4b3737094ecd5dd39","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:45:11.493302Z","signature_b64":"Xkt8AgJTS72y1YFTlFMgAsmpU/rs4X/GUzzAerQEQARMo01pkhvftEE2Mb+B1+VFX7kr+4kKagdxt2Ci52PxCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b5b86b89ba1557664801bdd18877dc7dc40879d5502402e4b3737094ecd5dd39","last_reissued_at":"2026-07-05T08:45:11.492899Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:45:11.492899Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2407.12794","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-05T08:45:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ajmmqwoecO3tjBv0vEc4WIjYOXigWRpgLQcM6kGzSIaRsxurWcwiu6OezvcvtFDcbn1+9+VYZJzgvgidQ79CBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T01:49:27.829917Z"},"content_sha256":"35aadc78615725652f89ea56c53398bbc86838e9b1132cff2307ae4c252a29c2","schema_version":"1.0","event_id":"sha256:35aadc78615725652f89ea56c53398bbc86838e9b1132cff2307ae4c252a29c2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:WW4GXCN2CVLWMSABXXIYQ564PX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Learned Graph Rewriting with Equality Saturation: A New Paradigm in Relational Query Rewrite and Beyond","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.DB","authors_text":"Eiko Yoneki, George-Octavian B\\u{a}rbulescu, Taiyi Wang, Zak Singh","submitted_at":"2024-06-19T21:11:19Z","abstract_excerpt":"Query rewrite systems perform graph substitutions using rewrite rules to generate optimal SQL query plans. Rewriting logical and physical relational query plans is proven to be an NP-hard sequential decision-making problem with a search space exponential in the number of rewrite rules. In this paper, we address the query rewrite problem by interleaving Equality Saturation and Graph Reinforcement Learning (RL). The proposed system, Aurora, rewrites relational queries by guiding Equality Saturation, a method from compiler literature to perform non-destructive graph rewriting, with a novel RL age"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.12794","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/2407.12794/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-05T08:45:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g/+top9RpGRexrOQJx3568WYBMIJQw1kLgNzm3adTQB3BLC2u1XrfI75z72FpuxGx/iuHUQ0n/S5n0P60DnSCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T01:49:27.830704Z"},"content_sha256":"0a87f3d87a0a8c3432f03bf85a50aeb5177c88d126bc7a03e656cdbb6308f86c","schema_version":"1.0","event_id":"sha256:0a87f3d87a0a8c3432f03bf85a50aeb5177c88d126bc7a03e656cdbb6308f86c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WW4GXCN2CVLWMSABXXIYQ564PX/bundle.json","state_url":"https://pith.science/pith/WW4GXCN2CVLWMSABXXIYQ564PX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WW4GXCN2CVLWMSABXXIYQ564PX/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-10T01:49:27Z","links":{"resolver":"https://pith.science/pith/WW4GXCN2CVLWMSABXXIYQ564PX","bundle":"https://pith.science/pith/WW4GXCN2CVLWMSABXXIYQ564PX/bundle.json","state":"https://pith.science/pith/WW4GXCN2CVLWMSABXXIYQ564PX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WW4GXCN2CVLWMSABXXIYQ564PX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:WW4GXCN2CVLWMSABXXIYQ564PX","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":"ec43f7f41c9d0cefca75b04d3bf28724d47ac1cc04aad062e855a739af34a6a7","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2024-06-19T21:11:19Z","title_canon_sha256":"6350a68470546e161c48d6bbbd4b89839bdcbe0a967982f2bc2184ce4453114e"},"schema_version":"1.0","source":{"id":"2407.12794","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2407.12794","created_at":"2026-07-05T08:45:11Z"},{"alias_kind":"arxiv_version","alias_value":"2407.12794v1","created_at":"2026-07-05T08:45:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2407.12794","created_at":"2026-07-05T08:45:11Z"},{"alias_kind":"pith_short_12","alias_value":"WW4GXCN2CVLW","created_at":"2026-07-05T08:45:11Z"},{"alias_kind":"pith_short_16","alias_value":"WW4GXCN2CVLWMSAB","created_at":"2026-07-05T08:45:11Z"},{"alias_kind":"pith_short_8","alias_value":"WW4GXCN2","created_at":"2026-07-05T08:45:11Z"}],"graph_snapshots":[{"event_id":"sha256:0a87f3d87a0a8c3432f03bf85a50aeb5177c88d126bc7a03e656cdbb6308f86c","target":"graph","created_at":"2026-07-05T08:45:11Z","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/2407.12794/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Query rewrite systems perform graph substitutions using rewrite rules to generate optimal SQL query plans. Rewriting logical and physical relational query plans is proven to be an NP-hard sequential decision-making problem with a search space exponential in the number of rewrite rules. In this paper, we address the query rewrite problem by interleaving Equality Saturation and Graph Reinforcement Learning (RL). The proposed system, Aurora, rewrites relational queries by guiding Equality Saturation, a method from compiler literature to perform non-destructive graph rewriting, with a novel RL age","authors_text":"Eiko Yoneki, George-Octavian B\\u{a}rbulescu, Taiyi Wang, Zak Singh","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2024-06-19T21:11:19Z","title":"Learned Graph Rewriting with Equality Saturation: A New Paradigm in Relational Query Rewrite and Beyond"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2407.12794","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:35aadc78615725652f89ea56c53398bbc86838e9b1132cff2307ae4c252a29c2","target":"record","created_at":"2026-07-05T08:45:11Z","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":"ec43f7f41c9d0cefca75b04d3bf28724d47ac1cc04aad062e855a739af34a6a7","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2024-06-19T21:11:19Z","title_canon_sha256":"6350a68470546e161c48d6bbbd4b89839bdcbe0a967982f2bc2184ce4453114e"},"schema_version":"1.0","source":{"id":"2407.12794","kind":"arxiv","version":1}},"canonical_sha256":"b5b86b89ba1557664801bdd18877dc7dc40879d5502402e4b3737094ecd5dd39","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b5b86b89ba1557664801bdd18877dc7dc40879d5502402e4b3737094ecd5dd39","first_computed_at":"2026-07-05T08:45:11.492899Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:45:11.492899Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Xkt8AgJTS72y1YFTlFMgAsmpU/rs4X/GUzzAerQEQARMo01pkhvftEE2Mb+B1+VFX7kr+4kKagdxt2Ci52PxCw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:45:11.493302Z","signed_message":"canonical_sha256_bytes"},"source_id":"2407.12794","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:35aadc78615725652f89ea56c53398bbc86838e9b1132cff2307ae4c252a29c2","sha256:0a87f3d87a0a8c3432f03bf85a50aeb5177c88d126bc7a03e656cdbb6308f86c"],"state_sha256":"e3087c712606e7c07d9e0b33fbe884ec1e1677657ae7fd719b85892cb7344d03"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JXZYDEZpPuH8oh1TuATQWaJNO+2YBWX3D1Ixk/5dPCICG30+aepXFHTPyfBZPzL5mniTUx3tOOhyLoCC2+pMAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T01:49:27.836548Z","bundle_sha256":"3e8ea7866d9e753a6b23f83548280cc61c5c2ecd577d818df539e5018e10fc5e"}}