Insertion is a derivation that ...... one or more key-entity pairs.