{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:EF566WYYWWQKN6Y64KWQFQEIKE","short_pith_number":"pith:EF566WYY","canonical_record":{"source":{"id":"2606.23294","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2026-06-22T13:09:04Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"5a4e97c3577399111c337aeb0344d7cf1a17f4190290ad40d77e0e33c8508aae","abstract_canon_sha256":"50f85601fd893cf8ed84b6a8d0802b05f65a09c31f139447d3f8359d9c15b301"},"schema_version":"1.0"},"canonical_sha256":"217bef5b18b5a0a6fb1ee2ad02c0885100ef0b3bd13da4ba03129c6431d81443","source":{"kind":"arxiv","id":"2606.23294","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.23294","created_at":"2026-06-23T03:14:16Z"},{"alias_kind":"arxiv_version","alias_value":"2606.23294v1","created_at":"2026-06-23T03:14:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23294","created_at":"2026-06-23T03:14:16Z"},{"alias_kind":"pith_short_12","alias_value":"EF566WYYWWQK","created_at":"2026-06-23T03:14:16Z"},{"alias_kind":"pith_short_16","alias_value":"EF566WYYWWQKN6Y6","created_at":"2026-06-23T03:14:16Z"},{"alias_kind":"pith_short_8","alias_value":"EF566WYY","created_at":"2026-06-23T03:14:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:EF566WYYWWQKN6Y64KWQFQEIKE","target":"record","payload":{"canonical_record":{"source":{"id":"2606.23294","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2026-06-22T13:09:04Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"5a4e97c3577399111c337aeb0344d7cf1a17f4190290ad40d77e0e33c8508aae","abstract_canon_sha256":"50f85601fd893cf8ed84b6a8d0802b05f65a09c31f139447d3f8359d9c15b301"},"schema_version":"1.0"},"canonical_sha256":"217bef5b18b5a0a6fb1ee2ad02c0885100ef0b3bd13da4ba03129c6431d81443","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T03:14:16.078644Z","signature_b64":"57b/bdJVSsVnLVifwc2c10oZvI7BFFLzR9cbchwMmS7KQC0iEsO/VA8ekcknmV390+bXrpoLLjoSv9InACKKAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"217bef5b18b5a0a6fb1ee2ad02c0885100ef0b3bd13da4ba03129c6431d81443","last_reissued_at":"2026-06-23T03:14:16.078236Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T03:14:16.078236Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.23294","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-06-23T03:14:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wCwTEjqj/Bi94IUV8sv5+v4S3unUtkCBjGyqCHIRzlgCwb20N0BMtCf/F2Ys1xmKaqUYMPeAKiaGD6I7Rrl8BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T08:23:49.404894Z"},"content_sha256":"6837765e94ccec64e6d8d46c73d6654e4519b42574689669d8f988198ed9e83a","schema_version":"1.0","event_id":"sha256:6837765e94ccec64e6d8d46c73d6654e4519b42574689669d8f988198ed9e83a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:EF566WYYWWQKN6Y64KWQFQEIKE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.DB","authors_text":"Aoying Zho, Ce Lyu, Changzheng Wei, Hanghang Wu, Jie Liang, Li Lin, Minghao Zhao, Yanhao Wang, Ying Yan","submitted_at":"2026-06-22T13:09:04Z","abstract_excerpt":"The query optimizer is a fundamental component of database management systems that determines the most efficient execution strategy for a given query by evaluating alternative query plans. Among its tasks, join optimization plays a central role, as the order of joins in multi-table queries can significantly affect execution performance. However, due to the inherent complexity of join optimization, logical bugs are inevitable and often difficult to detect. While existing fuzzing tools have shown notable success in uncovering crash- and performance-related errors, effectively identifying logical"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23294","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/2606.23294/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-06-23T03:14:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lt4ePvbVwzC0Y501jRA9lc417tJHQz0aGmb3W81LAvVtQBhfv8P2HVoqpsAqlSMnuZKZGPSQuGFEeU0NPUDeDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T08:23:49.405269Z"},"content_sha256":"d4621e598b7827821c10df28fb03bdbf93e623f13771e7771d38afd953680766","schema_version":"1.0","event_id":"sha256:d4621e598b7827821c10df28fb03bdbf93e623f13771e7771d38afd953680766"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EF566WYYWWQKN6Y64KWQFQEIKE/bundle.json","state_url":"https://pith.science/pith/EF566WYYWWQKN6Y64KWQFQEIKE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EF566WYYWWQKN6Y64KWQFQEIKE/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-07-02T08:23:49Z","links":{"resolver":"https://pith.science/pith/EF566WYYWWQKN6Y64KWQFQEIKE","bundle":"https://pith.science/pith/EF566WYYWWQKN6Y64KWQFQEIKE/bundle.json","state":"https://pith.science/pith/EF566WYYWWQKN6Y64KWQFQEIKE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EF566WYYWWQKN6Y64KWQFQEIKE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:EF566WYYWWQKN6Y64KWQFQEIKE","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":"50f85601fd893cf8ed84b6a8d0802b05f65a09c31f139447d3f8359d9c15b301","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2026-06-22T13:09:04Z","title_canon_sha256":"5a4e97c3577399111c337aeb0344d7cf1a17f4190290ad40d77e0e33c8508aae"},"schema_version":"1.0","source":{"id":"2606.23294","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.23294","created_at":"2026-06-23T03:14:16Z"},{"alias_kind":"arxiv_version","alias_value":"2606.23294v1","created_at":"2026-06-23T03:14:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23294","created_at":"2026-06-23T03:14:16Z"},{"alias_kind":"pith_short_12","alias_value":"EF566WYYWWQK","created_at":"2026-06-23T03:14:16Z"},{"alias_kind":"pith_short_16","alias_value":"EF566WYYWWQKN6Y6","created_at":"2026-06-23T03:14:16Z"},{"alias_kind":"pith_short_8","alias_value":"EF566WYY","created_at":"2026-06-23T03:14:16Z"}],"graph_snapshots":[{"event_id":"sha256:d4621e598b7827821c10df28fb03bdbf93e623f13771e7771d38afd953680766","target":"graph","created_at":"2026-06-23T03:14:16Z","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/2606.23294/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The query optimizer is a fundamental component of database management systems that determines the most efficient execution strategy for a given query by evaluating alternative query plans. Among its tasks, join optimization plays a central role, as the order of joins in multi-table queries can significantly affect execution performance. However, due to the inherent complexity of join optimization, logical bugs are inevitable and often difficult to detect. While existing fuzzing tools have shown notable success in uncovering crash- and performance-related errors, effectively identifying logical","authors_text":"Aoying Zho, Ce Lyu, Changzheng Wei, Hanghang Wu, Jie Liang, Li Lin, Minghao Zhao, Yanhao Wang, Ying Yan","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2026-06-22T13:09:04Z","title":"A Set-Theoretic Approach to Detecting Logic Bugs in DBMS Inner Join Optimizations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23294","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:6837765e94ccec64e6d8d46c73d6654e4519b42574689669d8f988198ed9e83a","target":"record","created_at":"2026-06-23T03:14:16Z","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":"50f85601fd893cf8ed84b6a8d0802b05f65a09c31f139447d3f8359d9c15b301","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2026-06-22T13:09:04Z","title_canon_sha256":"5a4e97c3577399111c337aeb0344d7cf1a17f4190290ad40d77e0e33c8508aae"},"schema_version":"1.0","source":{"id":"2606.23294","kind":"arxiv","version":1}},"canonical_sha256":"217bef5b18b5a0a6fb1ee2ad02c0885100ef0b3bd13da4ba03129c6431d81443","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"217bef5b18b5a0a6fb1ee2ad02c0885100ef0b3bd13da4ba03129c6431d81443","first_computed_at":"2026-06-23T03:14:16.078236Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T03:14:16.078236Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"57b/bdJVSsVnLVifwc2c10oZvI7BFFLzR9cbchwMmS7KQC0iEsO/VA8ekcknmV390+bXrpoLLjoSv9InACKKAw==","signature_status":"signed_v1","signed_at":"2026-06-23T03:14:16.078644Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.23294","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6837765e94ccec64e6d8d46c73d6654e4519b42574689669d8f988198ed9e83a","sha256:d4621e598b7827821c10df28fb03bdbf93e623f13771e7771d38afd953680766"],"state_sha256":"b5e45b43c6ec79909b7640232b45bb89d6d8529f57ece1f6b0bb372df41ed1fc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pCRI6rBBOs2eib3SU0HTUbx7ZViEIm9498WCuAdmm01aLv4p17oSUaMgxMJ9bfFYJSEy4G71Yr5Ina2UterQCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T08:23:49.407329Z","bundle_sha256":"78a8dbc61784210fae3b0ad7e820ad42674dc8a0425858a9d4e7e46e4344ee47"}}