Lecture overview -- Keyboard shortcut: 'u'  Previous page: XML Navigators (2) -- Keyboard shortcut: 'p'  Next page: Example: CD Albums -- Keyboard shortcut: 'n'  Alphabetic index  Help page about these notes  Course home    Slide 14 : 18

XML Validation 

The transformation functions can assume, as a precondition, that the source document is valid.

The transformation function guaranties, as a postcondition, that the target document is valid.


Dynamic document validation at document generation time stands as a contrast to static document validation at compile time