{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:3Z64SZQINLFVH4ZNL3W7CM6AYM","short_pith_number":"pith:3Z64SZQI","canonical_record":{"source":{"id":"2205.02954","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2022-05-05T22:36:42Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"2da9df61fd520609c74fd9957e9dff45484446e186df9f11e3a07f28cbc71ab4","abstract_canon_sha256":"70e8eed745a9350a8fe5224c0633755f4f190ed6cf54770558aa90be6e5b2b19"},"schema_version":"1.0"},"canonical_sha256":"de7dc966086acb53f32d5eedf133c0c3132b39b8bd77c3b292e5eca0a8173a57","source":{"kind":"arxiv","id":"2205.02954","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.02954","created_at":"2026-07-05T05:29:01Z"},{"alias_kind":"arxiv_version","alias_value":"2205.02954v4","created_at":"2026-07-05T05:29:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.02954","created_at":"2026-07-05T05:29:01Z"},{"alias_kind":"pith_short_12","alias_value":"3Z64SZQINLFV","created_at":"2026-07-05T05:29:01Z"},{"alias_kind":"pith_short_16","alias_value":"3Z64SZQINLFVH4ZN","created_at":"2026-07-05T05:29:01Z"},{"alias_kind":"pith_short_8","alias_value":"3Z64SZQI","created_at":"2026-07-05T05:29:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:3Z64SZQINLFVH4ZNL3W7CM6AYM","target":"record","payload":{"canonical_record":{"source":{"id":"2205.02954","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2022-05-05T22:36:42Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"2da9df61fd520609c74fd9957e9dff45484446e186df9f11e3a07f28cbc71ab4","abstract_canon_sha256":"70e8eed745a9350a8fe5224c0633755f4f190ed6cf54770558aa90be6e5b2b19"},"schema_version":"1.0"},"canonical_sha256":"de7dc966086acb53f32d5eedf133c0c3132b39b8bd77c3b292e5eca0a8173a57","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:29:01.900165Z","signature_b64":"hrKW3jwCSOhAzy2w9FXmelZYlyscQhNCAdiy8B7aomTVE+5qQsEweM0ApS6G0QT5RdFC7ur/mwA3bCcIb7m1AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"de7dc966086acb53f32d5eedf133c0c3132b39b8bd77c3b292e5eca0a8173a57","last_reissued_at":"2026-07-05T05:29:01.899753Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:29:01.899753Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2205.02954","source_version":4,"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-05T05:29:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4/4FYtS4CgawjCkZujx5IUyQLhbW3dIhfUAWSGsxgXJ95pAQHBuPXFy0x9qrVhZkq+sy3gB5/pAFEPU0ofqCDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-24T03:26:40.200732Z"},"content_sha256":"bdd0f365fd801f23d457dba588ba9b22d63e69d628e8668de5e5463c85090570","schema_version":"1.0","event_id":"sha256:bdd0f365fd801f23d457dba588ba9b22d63e69d628e8668de5e5463c85090570"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:3Z64SZQINLFVH4ZNL3W7CM6AYM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Leveraging Application Data Constraints to Optimize Database-Backed Web Applications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.DB","authors_text":"Alvin Cheung, Cong Yan, Ge Li, Junwen Yang, Mengzhu Sun, Shan Lu, Shuxian Wang, Sicheng Pan, Siddharth Jha, Xiaoxuan Liu","submitted_at":"2022-05-05T22:36:42Z","abstract_excerpt":"Exploiting the relationships among data is a classical query optimization technique. As persistent data is increasingly being created and maintained programmatically, prior work that infers data relationships from data statistics misses an important opportunity. We present ConstrOpt, the first tool that identifies data relationships by analyzing database-backed applications. Once identified, ConstrOpt leverages the constraints to optimize the application's physical design and query execution. Instead of developing a fixed set of predefined rewriting rules, ConstrOpt employs an enumerate-test-v"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.02954","kind":"arxiv","version":4},"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/2205.02954/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-05T05:29:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kxuAvayn3S9YrJCUVSyBPs9t8Vl4TzS97aOu+H0xZmE7gsusdx6eN1UMkRFXHBfb2HmmTVMCVD/4pyZnDKrdDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-24T03:26:40.201286Z"},"content_sha256":"5c95e5b1b3f322ec80b032444bb59e03198d64691a52b246243486657160eab9","schema_version":"1.0","event_id":"sha256:5c95e5b1b3f322ec80b032444bb59e03198d64691a52b246243486657160eab9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3Z64SZQINLFVH4ZNL3W7CM6AYM/bundle.json","state_url":"https://pith.science/pith/3Z64SZQINLFVH4ZNL3W7CM6AYM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3Z64SZQINLFVH4ZNL3W7CM6AYM/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-24T03:26:40Z","links":{"resolver":"https://pith.science/pith/3Z64SZQINLFVH4ZNL3W7CM6AYM","bundle":"https://pith.science/pith/3Z64SZQINLFVH4ZNL3W7CM6AYM/bundle.json","state":"https://pith.science/pith/3Z64SZQINLFVH4ZNL3W7CM6AYM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3Z64SZQINLFVH4ZNL3W7CM6AYM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:3Z64SZQINLFVH4ZNL3W7CM6AYM","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":"70e8eed745a9350a8fe5224c0633755f4f190ed6cf54770558aa90be6e5b2b19","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2022-05-05T22:36:42Z","title_canon_sha256":"2da9df61fd520609c74fd9957e9dff45484446e186df9f11e3a07f28cbc71ab4"},"schema_version":"1.0","source":{"id":"2205.02954","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.02954","created_at":"2026-07-05T05:29:01Z"},{"alias_kind":"arxiv_version","alias_value":"2205.02954v4","created_at":"2026-07-05T05:29:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.02954","created_at":"2026-07-05T05:29:01Z"},{"alias_kind":"pith_short_12","alias_value":"3Z64SZQINLFV","created_at":"2026-07-05T05:29:01Z"},{"alias_kind":"pith_short_16","alias_value":"3Z64SZQINLFVH4ZN","created_at":"2026-07-05T05:29:01Z"},{"alias_kind":"pith_short_8","alias_value":"3Z64SZQI","created_at":"2026-07-05T05:29:01Z"}],"graph_snapshots":[{"event_id":"sha256:5c95e5b1b3f322ec80b032444bb59e03198d64691a52b246243486657160eab9","target":"graph","created_at":"2026-07-05T05:29:01Z","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/2205.02954/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Exploiting the relationships among data is a classical query optimization technique. As persistent data is increasingly being created and maintained programmatically, prior work that infers data relationships from data statistics misses an important opportunity. We present ConstrOpt, the first tool that identifies data relationships by analyzing database-backed applications. Once identified, ConstrOpt leverages the constraints to optimize the application's physical design and query execution. Instead of developing a fixed set of predefined rewriting rules, ConstrOpt employs an enumerate-test-v","authors_text":"Alvin Cheung, Cong Yan, Ge Li, Junwen Yang, Mengzhu Sun, Shan Lu, Shuxian Wang, Sicheng Pan, Siddharth Jha, Xiaoxuan Liu","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2022-05-05T22:36:42Z","title":"Leveraging Application Data Constraints to Optimize Database-Backed Web Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.02954","kind":"arxiv","version":4},"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:bdd0f365fd801f23d457dba588ba9b22d63e69d628e8668de5e5463c85090570","target":"record","created_at":"2026-07-05T05:29:01Z","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":"70e8eed745a9350a8fe5224c0633755f4f190ed6cf54770558aa90be6e5b2b19","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2022-05-05T22:36:42Z","title_canon_sha256":"2da9df61fd520609c74fd9957e9dff45484446e186df9f11e3a07f28cbc71ab4"},"schema_version":"1.0","source":{"id":"2205.02954","kind":"arxiv","version":4}},"canonical_sha256":"de7dc966086acb53f32d5eedf133c0c3132b39b8bd77c3b292e5eca0a8173a57","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"de7dc966086acb53f32d5eedf133c0c3132b39b8bd77c3b292e5eca0a8173a57","first_computed_at":"2026-07-05T05:29:01.899753Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:29:01.899753Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hrKW3jwCSOhAzy2w9FXmelZYlyscQhNCAdiy8B7aomTVE+5qQsEweM0ApS6G0QT5RdFC7ur/mwA3bCcIb7m1AA==","signature_status":"signed_v1","signed_at":"2026-07-05T05:29:01.900165Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.02954","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bdd0f365fd801f23d457dba588ba9b22d63e69d628e8668de5e5463c85090570","sha256:5c95e5b1b3f322ec80b032444bb59e03198d64691a52b246243486657160eab9"],"state_sha256":"9d1b455297e6ef255524f1c364d265c1381833bf60dc32e9a344e3df1b5b18c9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MNPduy3b+FjOtKbF2L4poW44vPJV5/FG/b5rmPl0hKrVsoacYKN8Ki7nhY3SSqCSIQhP5553IB9/N1oRQHZaCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-24T03:26:40.205724Z","bundle_sha256":"d74ef6eafd584e516d4ab98aaec541220e95d4fd364cee9a2eac9ce7f1a203d2"}}