insertion anomalyinsertion normal formssemantic characterisation/ C4250 Database theory C6160D Relational databasesThe issue of providing a formal justification for the use of fourth normal form (4NF) in relational database design is investigated. Extending earlier wor...