=2D----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

[Please _don't_ use HTML-format mail to public lists -- not all of us
are using Outlook!]

srinivasarao vegunta writes:

 According to several schema processors, (Saxon, Xerces, MS .NET), the =
       
 following instance:                  =
                         =
               
 <e att1="banana"/>                  =
                         =
                
 is valid against the following schema:            =
                         =
  
 <xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"      =
                 
 elementFormDefault="qualified" attributeFormDefault="unqualified"> =
          
 <xs:complexType name="B">               =
                         =
            
 <xs:sequence/>                    =
                         =
                  
 <xs:attribute name="att1" use="optional" type="xs:decimal"/>  =
               
 <xs:anyAttribute namespace="##local"            =
                         =
    
 processContents="skip"/>                =
                         =
            
 </xs:complexType>                   =
                         =
                
 <xs:complexType name="R">               =
                         =
            
 <xs:complexContent>                  =
                         =
               
 <xs:restriction base="B">               =
                         =
            
 <xs:attribute name="att1" use="prohibited"/>        =
                         
 <xs:anyAttribute namespace="##local"            =
                         =
    
 processContents="skip"/>                =
                         =
            
 </xs:restriction>                   =
                         =
                
 </xs:complexContent>                  =
                         =
              
 </xs:complexType>                   =
                         =
                
 <xs:element name="e" type="R"/>             =
                         =
        
 </xs:schema>                    =
                         =
                    
 But change the element declaration to <xs:element name="e" type="B"/>,=
 and   
 validation fails, saying that "banana" is not a valid xs:decimal (the same=
   
 set of schema processors agree on this).           =
                         =
 
 Surely the element cannot be a valid instance of R unless it is also a val=
id 
 instance of B?                    =
                         =
                  

You have hit on one of the areas where the Schema REC fails to live up
to its own promise that restrictions accept subsets of their base.

The behaviour you describe is conformant, it follows all the explicit
rules in the spec. for checking valid restrictions.  It's just that
those rules aren't quite 'right'.

The XML Schema WG expects to fix this problem in v1.1.

ht
=2D -- 
 Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
                     Half-time member of W3C Team
    2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
            Fax: (44) 131 650-4587, e-mail: ht@i...
                   URL: http://www.ltg.ed.ac.uk/~ht/
[mail really from me _always_ has this .sig -- mail without it is forged sp=
am]
=2D----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (GNU/Linux)

iD8DBQFFt2PbkjnJixAXWBoRArzHAJsFzcU5+hgsZ61Wsiq7Ue2dTu8n4QCeJKNC
FFyL2hvq4zjr4bzRiZuf31I=
=pVkY
=2D----END PGP SIGNATURE-----

From mike@s... Wed Jan 24 17:35:59 2007
Received: from lisa.w3.org ([128.30.52.41])
	by frink.w3.org with esmtp (Exim 4.50)
	id 1H9m2R-0001jc