[8] [[DTD]] に関する[[文書実現値]]の適合性を検査する演算を、
[DFN[[RUBYB[[[妥当性検証]]]@en[validation]]]]といいます。

[1]

>
:[RUBYB[妥当性検証] [validation]]:
妥当性検証は、[[文書]]を関連付けられた [[DTD]]
に従って検査し、[[構造]]、[[要素]]の使用法、
[[属性]]の使用法が [[DTD]] の定義と整合しているかを確認する処理です。

仕様書:
- [[XHTML 1.0]]
-- [CITE[2.2. General Terms]]
<IW:XHTML10:"general">


[2]
[CITE[Integrate This&#187;Blog Archive &#187; Validation considered harmful]] ([TIME[2007-01-06 13:48:31 +09:00]] 版) <http://www.coactus.com/blog/2006/12/validation-considered-harmful/>
([[名無しさん]] [WEAK[2007-01-06 04:52:26 +00:00]])

[3] [[HTML Standard]] (旧 [[HTML5]]) は [[DTD]] では [[HTML文書]]の適合性を表現できないとして、
従来の [[HTML]] に存在した [[DTD]] を廃しています。

;; [7] [[XHTML]] [[文書]]に[[文書型宣言]]が含まれる場合に[[妥当性検証]]を行うことは否定していませんが、
[[HTML]] の仕様に対する適合性とは無関係です。
[[適合性検査器]]を参照。

[4] [[WebDAV]] は適合性を [[DTD]] では表現できないとして、 (仕様書の一部では [[DTD]]
に基づく構文の記述を行いながらも) 事前または動的に用意した [[DTD]]
による[[妥当性検証]]を禁止しています [SRC[>>5]]。

[REFS[
- [5] [CITE@en[RFC 4918 - HTTP Extensions for Web Distributed Authoring and Versioning (WebDAV)]] ([TIME[2014-09-21 17:04:59 +09:00]] 版) <http://tools.ietf.org/html/rfc4918#section-17>
]REFS]

;; [6] [[文書]]に[[文書型宣言]]が含まれる場合に[[妥当性検証]]を行うことまでは禁止していないように読めます。


[9] [CITE@ja-JP[らりルゥれろ【ゲスト:香里有佐】(2024年7月22日放送、第150回) - YouTube]]
([TIME[2024-07-29 09:26:21 +09:00]])
<https://www.youtube.com/watch?v=oDgT78P1VPg>