Merge

Consistent and redundancy-free merging of database content.