W3C home > Mailing lists > Public > www-validator@w3.org > October 1999

Re: What is "validation"?

From: Kynn Bartlett <kynn@idyllmtn.com>
Date: Wed, 06 Oct 1999 09:40:20 -0700
Message-Id: <3.0.5.32.19991006094020.008956f0@mail.idyllmtn.com>
To: Uriel Wittenberg <uw@urielw.com>
Cc: Terje Bless <link@tss.no>, W3C Validator <www-validator@w3.org>
At 10:08 AM 10/06/1999 -0400, Uriel Wittenberg wrote:
>Correct me if I'm wrong,

Okay; you are wrong.

>but none of the various HTML 4 DTD's requires a
>!DOCTYPE in the document. Ergo, the validator can flunk documents that are
>consistent with an HTML 4 DTD. Ergo, the validator requires more than merely
>adherence to an HTML 4 DTD.

From the HTML 4.0 specification:

  A valid HTML document declares what version of HTML is used in the
  document. The document type declaration names the document type
  definition (DTD) in use for the document (see [ISO8879]).

  HTML 4.0 specifies three DTDs, so authors must include one of the 
  following document type declarations in their documents.

http://www.w3.org/TR/REC-html40/struct/global.html#h-7.2

>How much more? It checks for !DOCTYPE; does it enforce anything else as well? I
>don't believe the site documents exactly what the validator is checking for.

I think one of your big problems here is that you are presuming that
validation is defined _by the validator_.  This is not true at all.
Validity of HTML is defined _BY THE HTML SPECIFICATION_.  The validator
is simply a tool used to check for SGML compliance with that 
specification.

Note also that SGML-style validation does _not_ necessarily prove that
HTML code is valid according to the spec!  This is discussed within the
HTML specification itself, and if you haven't read that, you can read
it at:

http://www.w3.org/TR/REC-html40/sgml/intro.html#h-19.1

--Kynn

--
Kynn Bartlett  <kynn@idyllmtn.com>                   http://www.kynn.com/
Chief Technologist, Idyll Mountain Internet      http://www.idyllmtn.com/
Catch the web accessibility meme!                   http://aware.hwg.org/
Received on Wednesday, 6 October 1999 12:49:53 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 25 April 2012 12:13:52 GMT