Paper P845 pagesReviewed manuscript
Bidirectional Schema Mappings and Safe Update Propagation
When can writes against a canonical schema propagate safely?
Question and scope
classify mappings as fully writable, partially writable, read-only, or reconciliation-dependent.
Research artifacts
lens-related semantics, authority policies, partial inverses, conflict detection, and target-constraint conditions.
Evidence and evaluation
round-trip, constraint, ambiguity, and multi-source update cases.
Claim boundary
universal or automatically safe write-back.