XSD

XSD (נקרא גם XML Schema Definition, מאנגלית: "הגדרת סכמה של XML") הוא תקן המשמש להגדרת סכמה (מבנה) של מסמכים הכתובים בשפת XML. XSD הוא תקן של ארגון W3C שפותח במקור על ידי חברת מיקרוסופט. בעזרת XSD ניתן להגדיר באופן בלתי תלוי בפלטפורמה ובמימוש מבנה לייצוג מידע ב-XML ולבדוק את תקינותו (התאמתו לתקן) של XML נתון כתלות באילוצי יישום (Application Domain Constraints).

ב-XSD קיימים שני סוגי יסודות עיקריים, יסוד אטומי (Simple Element) ויסוד מורכב (Complex Element). יסוד אטומי מורכב אך ורק מאוסף של תכונות (attributes), בעוד שיסוד מורכב יכול להיות רצף של אובייקטים שונים.

תלות באילוצי יישום 

XSD מאפשר לבדוק שהתגיות (או תוכנם) הם מטיפוס מסוים או בעל מגבלות מסוימות על הערכים אותם ניתן יהיה לקבל.

XSD מוסיף מנגנוני Typing ו-Facets אשר לא נתמכים בפורמט DTD.

שימושים 
 מנגנוני יצירת קוד (code generation)
 יצירת תיעוד למסמכי XML (כגון doxygen, javadoc, perldoc).
 מנגנון טיפוסי הנתונים של WSDL המייבא XSD באמצעות טכנולוגיית ה XML namespace

דוגמה
להלן דוגמה לסכמת XSD בסיסית להגדרה של מדינה.

<xs:schema
 xmlns:xs="http://www.w3.org/2001/XMLSchema">
 <xs:element name="country" type="Country"/>
 <xs:complexType name="Country">
 <xs:sequence>
 <xs:element name="name" type="xs:string"/>
 <xs:element name="population" type="xs:decimal"/>
 </xs:sequence>
 </xs:complexType>
</xs:schema>
דוגמה לקובץ XML שמוגדר על פי הסכמה מובאת להלן: (כשההנחה היא ששם הקובץ של סכמת ה-XSD הוא "country.xsd")&רלמ;.

<country
 xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
 xsi:noNamespaceSchemaLocation="country.xsd">
 <name>France</name>
 <population>60,144,000</population>
</country>

מערכת טיפוסים 
בניגוד ל DTD הגדרת הסכמה XSD מאפשר יצרת טיפוסי נתונים, כאשר קיימים טיפוסים פרימיטיביים (simpleType) קיימת אפשרות ליצירת רשימה של טיפוסים או איחוד (union) של טיפוסי נתונים.

sequence

אלמנט המאפשר יצרת מופעים נוספים של תת-אלמנטים בסדרת מופעים כאשר יש לפחות מופע אחד יכול להיות מוכל ב
group, choice, sequence, complexType, או בהורשת טיפוסי נתונים.

תג squence מאפשר יצירת מערכי פתרון לרשימות מקושרות על ידי יצרת שימוש בתגיות:
 maxOccurs= מספר שלם חיובי או unbounded (כמות הופעות לפי מספר שלם או כל מספר)
 minOccurs=מספר שלם חיובי

מערך סטטי (גודל ידוע בזמן יצירת ה XML) ייצוג על ידי הגדרת macOccurs למספר שלם חיובי.

הרשימה תיוצג על ידי שימוש בהגדרה: unbound עבור כמות מרבית של הופעות.

xsd:anyType

טיפוס xsd:anyType מהווה בסיס לכל הטיפוסים המוגדרים בסכמה.
במערכות שמאפשרות שימוש ב xsd:anyType הטיפוס ממופה לטיפוס בסיס בשפות המאפשרות זאת (Object ב Java) ולטיפוס הפשוט ביותר שניתן לשימוש (void * עבור C ו C++).

simpleType

simpleType תיאור מבנה נתונים בXML המתאר טיפוסים מוגדרים מראש או טיפוסים שהוגדרו על ידי משתמש.
simpleType לא יכול להכיל attribure ולא יכול להכיל תת-אלמנטים.
ניתן להגדיר טיפוסים נוספים.

מוגדר תחת תקן w3C [XML-SCHEMA http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/#rf-defn]

ערכים מובנים ברמת הסכמה 
 string
 boolean
 decimal
 float
 double
 duration
 dateTime
 time
 date
 gYearMonth
 gYear
 gMonthDay
 gDay
 gMonth
 hexBinary
 base64Binary
 anyURI
 QName
 NOTATION
 enum

יצרת טיפוסים חדשים 

ניתן ליצור טיפוס חדש כאשר הוא יהווה שם חדש לדוגמה :

<simpleType name="nice_atricale">
 <restriction base="xsd:string">
 </restriction>
 </simpleType>

מתבצעת פה הורשה מהטיפוס מחרוזות ויצרת טיפוס נתונים חדש.

complexType 
complexType הוא טיפוס של נתוני XML. הנתונים יכולים להכיל:
 אוסף של simpleTypes
 תת-אלמנטים (nodes)
 מצביעים

סוגי complexType 
 ריקים (ללא תוכן וגם ללא attributes)
 המכילים רק אלמנטים אחרים בתוכם (צורת עץ).
 מכיל רק טקסט
 המכילים טקסט ואלמנטים אחרים.

דוגמה 
 <complexType name="wikipedia">
 <sequence>
 <element name="authers" type="xs:integer" minOccurs="0"/>
 <element name="readers" type="xs:integer" minOccurs="0"/>
 <element name="languages" minOccurs="0" maxOccurs="1/>
 </sequence>
 </complexType>

הורשת טיפוסי נתונים 

ב XML הורשה מתבצעת באמצעות restriction או extension

restriction 

בדוגמה זו מקטינים את כמות המופעים של אלמנט languages
<complexType name="restricted_wikipedia">
 <complexContent>
 <restriction base="n:wikipedia">
 <sequence>
 ...
 <element name="languages" maxOccurs="3"/>
 </sequence>
 </restriction>
 </complexContent>
</complexType>
יש למלא את כל האלמנטים שהיו בטיפוס אותו יורשים

שימוש ב restriction 
restriction מגדיר את טיפוס האב עליו מפעילים הורשה.

הגבלה מאפשרת יצירת חוקים עבור מרחב הערכים אותם תגית מסוימת יכולה לקבל על ידי שימוש בfacets :
whiteSpace,enumeration ,pattern, fractionDigits,maxExclusive,maxInclusive,length,minExclusive,minInclusive,maxLength ,minLength ,totalDigits

facets / data parameters
מגדיר את מרחב הערכים שיכולים להתקבל עבור אלמנט מסוים השוני בין facet ל restriction הוא ש restriction משמש בהקשר של הצבעה על טיפוס האב ממנו יורשים, ו facet מגדיר את מרחב הערכים שיכול להתקבל.
ראו לדוגמה את facets עבור simpleType.

דוגמה 
הגדרת הטיפוס xsd:base64binary למידע שקודד באמצעות אלגוריתם Base64:
<xsd:simpleType name="base64Binary" id="base64Binary">
 <xsd:restriction base="xsd:anySimpleType">
 <xsd:whiteSpace value="collapse" fixed="true"/>
 </xsd:restriction>
</xsd:simpleType>

ה-facets המותרים הם עבור טיפוס זה (פה מופיע רק whiteSpace):
 length, minLength, maxLength, pattern, enumeration, whiteSpace

extension 

הוספת אלמנטים לטיפוס האב (דומה להורשה שקיימת בתכנות מונחה עצמים).
<complexType name="ext_wikipedia">
 <complexContent>
 <extension base="n:wikipedia">
 <sequence>
 <element name="languages" minOccurs="3" maxOccurs="4"/>
 </sequence>
 </extension>
 </complexContent>
</complexType>

Subsumption (פולימורפיזם) )

ניתן לקבל רב צורתיות ב XML על ידי שימוש בטיפוס אותו אנו יורשים בהגדרה אנו מייצרים אלמנט שיכול להיות מטיפוס ext_wikipedia או מטיפוס wikipedia

<element name="my_home_wiki" type="ext_wikipedia"/>

מניעת הורשה 

על מנת למנוע הורשה ניתן האפשרות להשתמש ב:
 מניעת הורשה "final="restriction
 מניעת שימוש ב subsumption הוספת "block="#all
 קבלת טיפוס שאוסר שימוש באלמנטים abstract="true" (מקבילה ל abstract class ב java)

קישורים חיצוניים
 
 W3C XML Schema Patterns for Databinding: קבוצת עבודה
 מדריך XML Schema באתר W3Schools
 Liquid XML Studio - עורך גרפי של XSD

XML
פיתוח יישומי ווב