{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:QHNWOXM5GXB2HE6Y45JTKATMEQ","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":"ec188f7afa756eef79da0c865fbe4c8ae7b4e05763d1152b13c801c446c334e6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-07-16T12:07:18Z","title_canon_sha256":"4562955b4952966b78499447d0c77e2dc016fe9fb01183cf9a48f728d853dc29"},"schema_version":"1.0","source":{"id":"1507.04537","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.04537","created_at":"2026-05-18T01:36:47Z"},{"alias_kind":"arxiv_version","alias_value":"1507.04537v1","created_at":"2026-05-18T01:36:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.04537","created_at":"2026-05-18T01:36:47Z"},{"alias_kind":"pith_short_12","alias_value":"QHNWOXM5GXB2","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_16","alias_value":"QHNWOXM5GXB2HE6Y","created_at":"2026-05-18T12:29:37Z"},{"alias_kind":"pith_short_8","alias_value":"QHNWOXM5","created_at":"2026-05-18T12:29:37Z"}],"graph_snapshots":[{"event_id":"sha256:2211711e66bc4e710a750844627cbb3468e90970e56dd509e09db38cbf2cbee9","target":"graph","created_at":"2026-05-18T01:36:47Z","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"},"paper":{"abstract_excerpt":"A dynamic program, as introduced by Patnaik and Immerman (1994), maintains the result of a fixed query for an input database which is subject to tuple insertions and deletions. It can use an auxiliary database whose relations are updated via first-order formulas upon modifications of the input database. This paper studies static analysis problems for dynamic programs and investigates, more specifically, the decidability of the following three questions. Is the answer relation of a given dynamic program always empty? Does a program actually maintain a query? Is the content of auxiliary relation","authors_text":"Nils Vortmeier, Thomas Schwentick, Thomas Zeume","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-07-16T12:07:18Z","title":"Static Analysis for Logic-Based Dynamic Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.04537","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:05c8bde7f4a00b34c8061e20faa5ba3a75ef55e828832aa3ebf6812dcf222da3","target":"record","created_at":"2026-05-18T01:36:47Z","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":"ec188f7afa756eef79da0c865fbe4c8ae7b4e05763d1152b13c801c446c334e6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-07-16T12:07:18Z","title_canon_sha256":"4562955b4952966b78499447d0c77e2dc016fe9fb01183cf9a48f728d853dc29"},"schema_version":"1.0","source":{"id":"1507.04537","kind":"arxiv","version":1}},"canonical_sha256":"81db675d9d35c3a393d8e75335026c243d9912933f2b432983ae6f78beda542d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"81db675d9d35c3a393d8e75335026c243d9912933f2b432983ae6f78beda542d","first_computed_at":"2026-05-18T01:36:47.058415Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:47.058415Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"d6TaWwzRfoyKVrDiuA8TjQ1x2Tco8oWybRBAhTwoTcAencULFV4HHvn3FyqV2EtvT/cbbiajGUPkKUj99eIDDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:47.059048Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.04537","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:05c8bde7f4a00b34c8061e20faa5ba3a75ef55e828832aa3ebf6812dcf222da3","sha256:2211711e66bc4e710a750844627cbb3468e90970e56dd509e09db38cbf2cbee9"],"state_sha256":"743051d3221d0801f97ef2c7d2ad799d08bdb7b66a3ffa519e1aa95a2872b51b"}