{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:XA2MYYQBSC6EKRBFKQUSPNDKFI","short_pith_number":"pith:XA2MYYQB","canonical_record":{"source":{"id":"1712.00498","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-12-01T21:24:25Z","cross_cats_sorted":[],"title_canon_sha256":"97bc4067c51db171fe47ebe3de4f7bab1b464eb847a75b23cf78c4934b16b812","abstract_canon_sha256":"7af5784b039dc38eb4b32e5271e4d9e648474fde2e185d6b8d01b92433089301"},"schema_version":"1.0"},"canonical_sha256":"b834cc620190bc454425542927b46a2a281021a37253d5b09e87a9b8da2c5dd0","source":{"kind":"arxiv","id":"1712.00498","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.00498","created_at":"2026-07-04T23:58:22Z"},{"alias_kind":"arxiv_version","alias_value":"1712.00498v4","created_at":"2026-07-04T23:58:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.00498","created_at":"2026-07-04T23:58:22Z"},{"alias_kind":"pith_short_12","alias_value":"XA2MYYQBSC6E","created_at":"2026-07-04T23:58:22Z"},{"alias_kind":"pith_short_16","alias_value":"XA2MYYQBSC6EKRBF","created_at":"2026-07-04T23:58:22Z"},{"alias_kind":"pith_short_8","alias_value":"XA2MYYQB","created_at":"2026-07-04T23:58:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:XA2MYYQBSC6EKRBFKQUSPNDKFI","target":"record","payload":{"canonical_record":{"source":{"id":"1712.00498","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-12-01T21:24:25Z","cross_cats_sorted":[],"title_canon_sha256":"97bc4067c51db171fe47ebe3de4f7bab1b464eb847a75b23cf78c4934b16b812","abstract_canon_sha256":"7af5784b039dc38eb4b32e5271e4d9e648474fde2e185d6b8d01b92433089301"},"schema_version":"1.0"},"canonical_sha256":"b834cc620190bc454425542927b46a2a281021a37253d5b09e87a9b8da2c5dd0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T23:58:22.930659Z","signature_b64":"LgK4Y7w2qVdO9kLFhygQti1cnc6j6U/J+eOxWpDGdYzb6rYCHz3uHCkucGLiovccC7sDz3/jnKC4f+VkM0hvBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b834cc620190bc454425542927b46a2a281021a37253d5b09e87a9b8da2c5dd0","last_reissued_at":"2026-07-04T23:58:22.930250Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T23:58:22.930250Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1712.00498","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-04T23:58:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"19LK1XU7alJaEiNBsKj1icmAD8h3r6Dnhs0DWhiUJIHTm2OZ2Fit951G4dmd2eVCjXa94gaLWYp0NNcUZj5eCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T11:34:12.309805Z"},"content_sha256":"d20e9d228debc0ae78000ad798b013303b1b4b027805efc76e52ee92ba81af90","schema_version":"1.0","event_id":"sha256:d20e9d228debc0ae78000ad798b013303b1b4b027805efc76e52ee92ba81af90"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:XA2MYYQBSC6EKRBFKQUSPNDKFI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimization of Imperative Programs in a Relational Database","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Alan Halverson, Cesar Galindo-Legaria, Conor Cunningham, Karthik Ramachandra, K. Venkatesh Emani, Kwanghyun Park","submitted_at":"2017-12-01T21:24:25Z","abstract_excerpt":"For decades, RDBMSs have supported declarative SQL as well as imperative functions and procedures as ways for users to express data processing tasks. While the evaluation of declarative SQL has received a lot of attention resulting in highly sophisticated techniques, the evaluation of imperative programs has remained naive and highly inefficient. Imperative programs offer several benefits over SQL and hence are often preferred and widely used. But unfortunately, their abysmal performance discourages, and even prohibits their use in many situations. We address this important problem that has hi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.00498","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/1712.00498/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-04T23:58:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KRV6V/tAp/ATp28A2JQULfJ9Jz09I4yNalS1y4LDhbYESeP5dxQMuVqGeF28FrE+SKOlz7dDQATh/WLqeGaHBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T11:34:12.310298Z"},"content_sha256":"8e8cad4f5f9651a61162bd0f9d3b7ade50668bb4e2b2f82da14ab0388d0fc4fc","schema_version":"1.0","event_id":"sha256:8e8cad4f5f9651a61162bd0f9d3b7ade50668bb4e2b2f82da14ab0388d0fc4fc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XA2MYYQBSC6EKRBFKQUSPNDKFI/bundle.json","state_url":"https://pith.science/pith/XA2MYYQBSC6EKRBFKQUSPNDKFI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XA2MYYQBSC6EKRBFKQUSPNDKFI/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-01T11:34:12Z","links":{"resolver":"https://pith.science/pith/XA2MYYQBSC6EKRBFKQUSPNDKFI","bundle":"https://pith.science/pith/XA2MYYQBSC6EKRBFKQUSPNDKFI/bundle.json","state":"https://pith.science/pith/XA2MYYQBSC6EKRBFKQUSPNDKFI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XA2MYYQBSC6EKRBFKQUSPNDKFI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:XA2MYYQBSC6EKRBFKQUSPNDKFI","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":"7af5784b039dc38eb4b32e5271e4d9e648474fde2e185d6b8d01b92433089301","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-12-01T21:24:25Z","title_canon_sha256":"97bc4067c51db171fe47ebe3de4f7bab1b464eb847a75b23cf78c4934b16b812"},"schema_version":"1.0","source":{"id":"1712.00498","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.00498","created_at":"2026-07-04T23:58:22Z"},{"alias_kind":"arxiv_version","alias_value":"1712.00498v4","created_at":"2026-07-04T23:58:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.00498","created_at":"2026-07-04T23:58:22Z"},{"alias_kind":"pith_short_12","alias_value":"XA2MYYQBSC6E","created_at":"2026-07-04T23:58:22Z"},{"alias_kind":"pith_short_16","alias_value":"XA2MYYQBSC6EKRBF","created_at":"2026-07-04T23:58:22Z"},{"alias_kind":"pith_short_8","alias_value":"XA2MYYQB","created_at":"2026-07-04T23:58:22Z"}],"graph_snapshots":[{"event_id":"sha256:8e8cad4f5f9651a61162bd0f9d3b7ade50668bb4e2b2f82da14ab0388d0fc4fc","target":"graph","created_at":"2026-07-04T23:58:22Z","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/1712.00498/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"For decades, RDBMSs have supported declarative SQL as well as imperative functions and procedures as ways for users to express data processing tasks. While the evaluation of declarative SQL has received a lot of attention resulting in highly sophisticated techniques, the evaluation of imperative programs has remained naive and highly inefficient. Imperative programs offer several benefits over SQL and hence are often preferred and widely used. But unfortunately, their abysmal performance discourages, and even prohibits their use in many situations. We address this important problem that has hi","authors_text":"Alan Halverson, Cesar Galindo-Legaria, Conor Cunningham, Karthik Ramachandra, K. Venkatesh Emani, Kwanghyun Park","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-12-01T21:24:25Z","title":"Optimization of Imperative Programs in a Relational Database"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.00498","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:d20e9d228debc0ae78000ad798b013303b1b4b027805efc76e52ee92ba81af90","target":"record","created_at":"2026-07-04T23:58:22Z","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":"7af5784b039dc38eb4b32e5271e4d9e648474fde2e185d6b8d01b92433089301","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-12-01T21:24:25Z","title_canon_sha256":"97bc4067c51db171fe47ebe3de4f7bab1b464eb847a75b23cf78c4934b16b812"},"schema_version":"1.0","source":{"id":"1712.00498","kind":"arxiv","version":4}},"canonical_sha256":"b834cc620190bc454425542927b46a2a281021a37253d5b09e87a9b8da2c5dd0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b834cc620190bc454425542927b46a2a281021a37253d5b09e87a9b8da2c5dd0","first_computed_at":"2026-07-04T23:58:22.930250Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T23:58:22.930250Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LgK4Y7w2qVdO9kLFhygQti1cnc6j6U/J+eOxWpDGdYzb6rYCHz3uHCkucGLiovccC7sDz3/jnKC4f+VkM0hvBg==","signature_status":"signed_v1","signed_at":"2026-07-04T23:58:22.930659Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.00498","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d20e9d228debc0ae78000ad798b013303b1b4b027805efc76e52ee92ba81af90","sha256:8e8cad4f5f9651a61162bd0f9d3b7ade50668bb4e2b2f82da14ab0388d0fc4fc"],"state_sha256":"fa9c4e97278a3be450784bdf1f0211385a57c9dbb2e2d5b266261db29a443611"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4KbLUKSHAoBGc9rBlyj0/Q7LovJl0Q2RkYgj/FaacJ/wLQ9L5VQ0CwlLVKYskCnpz3C5rIjckG3cmtmInazxDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-01T11:34:12.318053Z","bundle_sha256":"3251411498a812077b739deba02d3e110552a43da1eccc09416bd089c6e5e7c3"}}