An instance of a subtype is conside

An instance of a subtype is considered an instance of all its supertypes. SQL:2003
supports the concept of substitutability: that is, whenever an instance of a supertype
is expected an instance of the subtype can be used in its place. The type of a UDT can be
tested using the TYPE predicate. For example, given a UDT, Udt1 say, we can apply the
following tests:

ผลลัพธ์ (ไทย) 1:

อินสแตนซ์ของชนิดย่อยถือเป็นอินสแตนซ์ทั้งหมดของ supertypes SQL:2003
สนับสนุนแนวคิดของ substitutability: คือ เมื่ออินสแตนซ์ของ supertype ที่
คาดว่า สามารถใช้อินสแตนซ์ของชนิดย่อยแทน ชนิดของ UDT สามารถ
ทดสอบได้โดยใช้เพรดิเคตชนิด ตัวอย่าง รับ UDT เส Udt1 เราสามารถใช้การ
ทดสอบต่อไปนี้:

ผลลัพธ์ (ไทย) 2:

ตัวอย่างของการย่อยถือเป็นตัวอย่างของ supertypes ทั้งหมด SQL: 2003
สนับสนุนแนวคิดของการทดแทนนั่นคือเมื่อใดก็ตามที่ตัวอย่างของ supertype
คาดว่าตัวอย่างของการย่อยสามารถนำมาใช้ในสถานที่ ประเภทของ UDT สามารถ
ทดสอบโดยใช้ประเภทกริยา ตัวอย่างเช่นกำหนด UDT, Udt1 พูดได้ว่าเราสามารถใช้
การทดสอบต่อไปนี้:

ผลลัพธ์ (ไทย) 3:

ตัวอย่างของกลุ่มถือเป็นตัวอย่างของ supertypes ของมันทั้งหมด SQL : 2003
สนับสนุนแนวคิดของการแทนที่ : นั่นคือ เมื่อใดก็ตามที่อินสแตนซ์ของ supertype
คาดว่าอินสแตนซ์ของกลุ่มที่สามารถใช้ในสถานที่ของ ประเภทของ udt สามารถ
ทดสอบใช้ประเภทของภาคแสดง ตัวอย่างเช่น ได้รับ udt udt1 , พูด , เราสามารถใช้
การทดสอบดังต่อไปนี้ :