RELAX分割検証参照モデル$Id: dandVRefereceModel-j.html 1.3 2001/03/11 13:15:53 murata Exp $ 2001年3月11日 村田 真 1. はじめに この文書では，複数名前空間を持つ文書の合法性を定義します。また，合法性 を検証するための参照モデルを示します。次に，この参照モデルに基づいて， 分割検証を導入します。分割検証とは，文書のすべての名前空間ではなく，一 部の名前空間についてだけ行う検証のことです。分割検証は，それ自体でたい へん有益ですし，RELAX Core以外の言語をRELAX Namespaceから呼び出すのに も役立ちます。 記法を単純にするため，すべての要素はuniversal nameを持ち，名前空間 宣言はすべて削除されているものとします。要素のuniversal nameとは， namespace name (URI)とlocal
