Research problems in data provenance
The Tree-to-Tree Correction Problem