translation-unit      := (function-definition | declaration)+
function-definition  :=  declaration-specifiers? declarator declaration* block
declaration            := declaration-specifiers init-declarator ";"
...

那么，将所有schema文档的集合看成schema语言，则该语言也应当有一个形式化定义。
至于是否可采用上下文无关文法进行描述，可以进一步讨论。

为什么要形式化定义这个schema语言？我的考虑基于这样几点：
(1)目前的各种教程、规范、标准，包括w3c，我感觉仍然不够严格，并且十分庞大、散乱，使人有雾里看花的烦恼，采用形式化定义，我期望10页纸篇幅就能完整、清晰、无二义地表达出来。
(2)从我个人角度看，比如，我希望了解<xs:schema>这个元素，究竟应该、可以有哪些属性，这些属性可以如何取值，当我带着这个目的查找w3c标准时，却极其繁琐，我感觉那些人是不是故意将一个简单问题给复杂化了。

不知道各位有什么好的建议。

schema  := <schemaElement>
schemaElement :=
  "<schema" schemaAttributeList ">"  schemaElementList "<"
schemaAttributeList  := 
  [attributeFormDefault]
  [blockDefault]
  [elementFormDefault]
  [finalDefault]
  [id]
  [targetNamespace]
  [version]
  [xml:lang]
  [namespace]*
schemaElementList :=
  (include | import | redefine | annotation)*
  (
    (
      (simpleType | complexType | group | attributeGroup) |
      element | attribute | notation
    )
    annotation*
  )*