How about a less ambitious, and thus perhaps more useful
tool. Determining if a
schema gives an infinite number of possible instances or not,
only focusing on
tree structure of course.
I can imagine there are many useful types that have only a finite number of
instances, but I find it hard to imagine any useful schema consisting
entirely of such types.
Michael Kay
http://www.saxonica.com/
--~------------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
or e-mail: <mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
--~--