{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:P2NSTY6DVIZPLQ3AOFJC7BPBDY","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":"43155286ee151930a6dbec2af9ef3b4d3d15c79dcae9e6b40d064f78d85af940","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-11-13T15:07:48Z","title_canon_sha256":"4d37428c9f71b694ac8c43278d9f83dbc7100b9dccaaf144d399bc08817a9757"},"schema_version":"1.0","source":{"id":"1211.3016","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1211.3016","created_at":"2026-05-18T03:40:52Z"},{"alias_kind":"arxiv_version","alias_value":"1211.3016v1","created_at":"2026-05-18T03:40:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.3016","created_at":"2026-05-18T03:40:52Z"},{"alias_kind":"pith_short_12","alias_value":"P2NSTY6DVIZP","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_16","alias_value":"P2NSTY6DVIZPLQ3A","created_at":"2026-05-18T12:27:18Z"},{"alias_kind":"pith_short_8","alias_value":"P2NSTY6D","created_at":"2026-05-18T12:27:18Z"}],"graph_snapshots":[{"event_id":"sha256:f8dc3e1318bc710337e04b97e707f45a29ec3b3022a2edc37c92bd25d12283c4","target":"graph","created_at":"2026-05-18T03:40:52Z","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":"In this paper, we revisit the view update problem in a relational setting and propose a framework based on the notion of determinacy under constraints. Within such a framework, we characterise when a view mapping is invertible, establishing that this is the case precisely when each database symbol has an exact rewriting in terms of the view symbols under the given constraints, and we provide a general effective criterion to understand whether the changes introduced by a view update can be propagated to the underlying database relations in a unique and unambiguous way.\n  Afterwards, we show how","authors_text":"Enrico Franconi, Paolo Guagliardo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-11-13T15:07:48Z","title":"The View Update Problem Revisited"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.3016","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:6d7631c78377239e656b034ea281f2b1d8692451f77ef9795a471afe44e1bd45","target":"record","created_at":"2026-05-18T03:40:52Z","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":"43155286ee151930a6dbec2af9ef3b4d3d15c79dcae9e6b40d064f78d85af940","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-11-13T15:07:48Z","title_canon_sha256":"4d37428c9f71b694ac8c43278d9f83dbc7100b9dccaaf144d399bc08817a9757"},"schema_version":"1.0","source":{"id":"1211.3016","kind":"arxiv","version":1}},"canonical_sha256":"7e9b29e3c3aa32f5c36071522f85e11e0a88ad60f67effcfdd9636f898e4c647","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7e9b29e3c3aa32f5c36071522f85e11e0a88ad60f67effcfdd9636f898e4c647","first_computed_at":"2026-05-18T03:40:52.079038Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:40:52.079038Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sAUhyP+sfjHNkC6bYkeod+kupSR2jsw5Uic29EV5oxA5DuxwX9Fdd7O7zHAgKdrz4ZR529YUtCt93bheOAHuCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:40:52.079699Z","signed_message":"canonical_sha256_bytes"},"source_id":"1211.3016","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6d7631c78377239e656b034ea281f2b1d8692451f77ef9795a471afe44e1bd45","sha256:f8dc3e1318bc710337e04b97e707f45a29ec3b3022a2edc37c92bd25d12283c4"],"state_sha256":"016aa9e6dcb2c0d90b51096cd829c8db04a05c30ae241bb011a9170d705a1277"}