How can I determine if a given DTD a subset of another?
问题 I need to verify that a "simplified" DTD is really a subset of a larger DTD, I.e. that documents that are valid according to the "simplified" DTD will also always be valid according to the larger (or "master") DTD. The simplified DTD is being written now -- it's derived from the master DTD (were it the other way around, one could simply include the smaller DTD into the larger one). How would I be able to determine if the simplified DTD is derived from the master DTD? 回答1: DTDs are really just