Evolving a Set of DTDs According to a Dynamic Set of XML Documents