{"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"}