Schemasprache (XML)
Eine Schemasprache (englisch schema definition language, auch Schema-Definitionssprache oder Dokumenttyp-Definitionssprache) ist eine Sprache zur Klassifizierung von XML-Dokumenten und zur syntaktischen Beschreibung bezüglich ihrer Struktur und ihres Inhalts. Eine Dokumenttyp-Definition bietet eine Sicht auf den Dokumenttyp auf einem relativ hohen Abstraktionsgrad.
XML-Dokumente lassen sich als String-Repräsentationen einer Baumstruktur auffassen. Ein validierender Parser formt dabei ein wohlgeformtes XML-Dokument in eine Baumstruktur um und validiert diese anhand eines Automaten für reguläre Baum-Grammatiken.
Die in die XML-Spezifikation eingebettete Dokumenttypdefinition (DTD) bietet relativ wenige Möglichkeiten zur Validierung und kann nur lokale Baumgrammatiken beschreiben.
Eine weitere stark verbreitete Dokumenttyp-Definitionssprache ist XML Schema. Im Gegensatz zu DTDs kann diese Single-Type-Grammatiken beschreiben.
Mit RELAX NG ist es möglich jede reguläre Baum-Grammatik zu formulieren, auch solche mit mehrdeutigen Regeln.