> 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/