Joseph Kesselman wrote:
> For that matter, as soon as you allow axes other than child the concept
> of "all possible paths" breaks down, since you then have
> multiple/redundant ways to express the same request.
>
> Folks have analysed schemas to express them as data-structure trees --
> IBM has published papers on schema-driven specialization of parsing and
> XSLT processing -- but that's a matter of deciding in advance exactly
> which paths are going to be considered significant/useful (and,
> sometimes, rewriting the application so it only uses those forms)
>
> --
> Joe Kesselman / Beware the fury of a patient man. -- John Dryden

Thanks. You're right that there might be an unlimited number of paths,
and that it's necessary to limit the axes. Taking what you say into
account, I can restate my goal: I want to build a tree structure that
represents the minimal set of nodes an xml document instance would have
if it had one occurence of each node allowed by the schema. The result
should look like the output of the tree /f /a command in windows, or
the find . -print command in unix.

Thinking about it that way, I realized that there was a way to get what
I was looking for. IDEs like XMLSpy">XMLSpy allow you to visualize a schema as
such a tree. But, as best I could tell, XMLSpy">XMLSpy at least doesn't offer
a text listing of the tree. But IDEs do offer to generate a sample
instance, and you can tune whether to include optional nodes. So I
generated a sample instance for my schema. Then I wrote a small
transform to re-present the nodes in the generated xml in a more
compact form:

<xsl:stylesheet version="1.0"
xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
xmlns:fo="http://www.w3.org/1999/XSL/Format">
  <!-- enumerate_paths: lists every path (to internal nodes and leaves)
in the input xml -->
  <xsl:output method="text"/>
  <xsl:template match="/">
    <xsl:for-each select="child::*">
      <xsl:call-template name="listNodes">
        <xsl:with-param name="prefix" select="''"/>
      </xsl:call-template>
    </xsl:for-each>
  </xsl:template>
  <xsl:template name="listNodes">
    <xsl:param name="prefix"/>
    <xsl:variable name="myName" select="local-name()"/>
    <xsl:value-of select="concat($prefix, '/', $myName, '&#10;')"/>
    <xsl:for-each select="attribute::*">
      <xsl:value-of select="concat($prefix, '/', $myName, '/@',
local-name(), '&#10;')"/>
    </xsl:for-each>
    <xsl:for-each select="child::*">
      <xsl:call-template name="listNodes">
        <xsl:with-param name="prefix" select="concat($prefix, '/',
$myName)"/>
      </xsl:call-template>
    </xsl:for-each>
  </xsl:template>
</xsl:stylesheet>

I fed my generated document instance in to this transform, and got back
a listing like the one I want, except that it had duplicates. This was
easy to fix, with sort -u in unix.  The end result was the listing I
was looking for. So I'm all set. Thanks for your help.
- Don