{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:YNOPHJXKJEWT5SUTJZEQNKYWPP","short_pith_number":"pith:YNOPHJXK","schema_version":"1.0","canonical_sha256":"c35cf3a6ea492d3eca934e4906ab167be2c9713d59e58a43fa12c10c53535c7c","source":{"kind":"arxiv","id":"1807.01948","version":2},"attestation_state":"computed","paper":{"title":"Incremental Relational Lenses","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB"],"primary_cat":"cs.PL","authors_text":"James Cheney, Roly Perera, Rudi Horn","submitted_at":"2018-07-05T11:42:04Z","abstract_excerpt":"Lenses are a popular approach to bidirectional transformations, a generalisation of the view update problem in databases, in which we wish to make changes to source tables to effect a desired change on a view. However, perhaps surprisingly, lenses have seldom actually been used to implement updatable views in databases. Bohannon, Pierce and Vaughan proposed an approach to updatable views called relational lenses, but to the best of our knowledge this proposal has not been implemented or evaluated to date. We propose incremental relational lenses, that equip relational lenses with change-propag"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1807.01948","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-07-05T11:42:04Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"24cf5b03394e5371665eae0c9b8c813cb20267111617b36fb16db3aa69d53740","abstract_canon_sha256":"9ee59874c60473e82a13d8636d00b6bd2aab302f3ba49e0220fed6bb25af3cfe"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:11:16.845554Z","signature_b64":"jwNsB168nGUrQHoYS18bV+1Q0IN9YLxLdS1Y2wpg+TmZpFP4EdqIs5gxKF2sLNBmqKYmELdAxXFPugjuuoU2Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c35cf3a6ea492d3eca934e4906ab167be2c9713d59e58a43fa12c10c53535c7c","last_reissued_at":"2026-05-18T00:11:16.844950Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:11:16.844950Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Incremental Relational Lenses","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB"],"primary_cat":"cs.PL","authors_text":"James Cheney, Roly Perera, Rudi Horn","submitted_at":"2018-07-05T11:42:04Z","abstract_excerpt":"Lenses are a popular approach to bidirectional transformations, a generalisation of the view update problem in databases, in which we wish to make changes to source tables to effect a desired change on a view. However, perhaps surprisingly, lenses have seldom actually been used to implement updatable views in databases. Bohannon, Pierce and Vaughan proposed an approach to updatable views called relational lenses, but to the best of our knowledge this proposal has not been implemented or evaluated to date. We propose incremental relational lenses, that equip relational lenses with change-propag"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.01948","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1807.01948","created_at":"2026-05-18T00:11:16.845024+00:00"},{"alias_kind":"arxiv_version","alias_value":"1807.01948v2","created_at":"2026-05-18T00:11:16.845024+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.01948","created_at":"2026-05-18T00:11:16.845024+00:00"},{"alias_kind":"pith_short_12","alias_value":"YNOPHJXKJEWT","created_at":"2026-05-18T12:33:04.347982+00:00"},{"alias_kind":"pith_short_16","alias_value":"YNOPHJXKJEWT5SUT","created_at":"2026-05-18T12:33:04.347982+00:00"},{"alias_kind":"pith_short_8","alias_value":"YNOPHJXK","created_at":"2026-05-18T12:33:04.347982+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/YNOPHJXKJEWT5SUTJZEQNKYWPP","json":"https://pith.science/pith/YNOPHJXKJEWT5SUTJZEQNKYWPP.json","graph_json":"https://pith.science/api/pith-number/YNOPHJXKJEWT5SUTJZEQNKYWPP/graph.json","events_json":"https://pith.science/api/pith-number/YNOPHJXKJEWT5SUTJZEQNKYWPP/events.json","paper":"https://pith.science/paper/YNOPHJXK"},"agent_actions":{"view_html":"https://pith.science/pith/YNOPHJXKJEWT5SUTJZEQNKYWPP","download_json":"https://pith.science/pith/YNOPHJXKJEWT5SUTJZEQNKYWPP.json","view_paper":"https://pith.science/paper/YNOPHJXK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1807.01948&json=true","fetch_graph":"https://pith.science/api/pith-number/YNOPHJXKJEWT5SUTJZEQNKYWPP/graph.json","fetch_events":"https://pith.science/api/pith-number/YNOPHJXKJEWT5SUTJZEQNKYWPP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YNOPHJXKJEWT5SUTJZEQNKYWPP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YNOPHJXKJEWT5SUTJZEQNKYWPP/action/storage_attestation","attest_author":"https://pith.science/pith/YNOPHJXKJEWT5SUTJZEQNKYWPP/action/author_attestation","sign_citation":"https://pith.science/pith/YNOPHJXKJEWT5SUTJZEQNKYWPP/action/citation_signature","submit_replication":"https://pith.science/pith/YNOPHJXKJEWT5SUTJZEQNKYWPP/action/replication_record"}},"created_at":"2026-05-18T00:11:16.845024+00:00","updated_at":"2026-05-18T00:11:16.845024+00:00"}