Characterization of Well-Behaved Database Schemata and Their Update Semantics