[Bug 1619] New: what is the default type of a document?

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1619

           Summary: what is the default type of a document?
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows 2000
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: fred.zemke@oracle.com
         QAContact: public-qt-comments@w3.org


2.4.2 Item Types
The second paragraph before Note says "a document
type has an optional content type.  If no content is given, then
it refers to the wildcard type describing any document."
I have not found any rules that specify what type is to be 
implicit when the type is missing.  The normalization rule
in 3.5.4 "SequenceType matching" says that 
[document-node()]SequenceType == document, so that is no help.
In 8.2.2.1
"Static judgment for axes", there is a rule for the type analysis
of the child:: axis of a "document { Type }", but that assumes that
you already have the default Type, which the normalization rule
did not actually specify. The rules of 8.1 "Judgments for
accessing types" only talk about element types, not document nodes.
So how is the default type of document supplied?

Received on Friday, 15 July 2005 01:09:39 UTC