Figure 8 Some predefined semantics

Figure 8 Some predefined semantics underlying Date.
As a small extension to the current age rule shown earlier, a derivation rule may also be specified for
the derived fact type Person on Date had Age. Using this fact type, the function “age of … on …” may now be
specified over the parameter list (Person, Date). The textual constraint indicated by the subscript “1” in
Figure 7 may now be specified as follows.
Membership.person.[age of Person on Membership.startDate] >= Membership.startDate.year.minimumMemberAge
If a person’s birthdate is not recorded, the age function returns null, and the whole expression evaluates to
unknown. As in SQL, the constraint is violated if and only if it evaluates to false.
Figure 9 shows an ORM subschema for the main details about library loans. The circled “u” depicts an
external uniqueness constraint, indicating that a particular copy (physical instance) of a book can be
identified by combining the call number for the book with the copy number. As well as this composite
identification scheme, a book copy also has a simple identification scheme (its barcode). The circled “=”
depicts an equality constraint (a loan has a paid fine if and only if it had its fine paid on some date).

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

ตัวเลข 8 ความหมายบางอย่างล่วงหน้าต้นแบบวันที่เป็นส่วนขยายเล็กกฎอายุปัจจุบันที่แสดงก่อนหน้านี้ กฎมาอาจยังระบุในชนิดได้รับความเป็นจริงบุคคลในวันที่มีอายุ ใช้ชนิดนี้จริง ฟังก์ชัน "อายุ...ใน..." อาจจะระบุผ่านรายการพารามิเตอร์ (บุคคล วัน) ข้อจำกัดข้อความที่ระบุตามตัวห้อย "1" ในรูปที่ 7 อาจระบุไว้ขณะนี้เป็นดังนี้Membership.person[อายุของบุคคลบน Membership.startDate] > = Membership.startDate.year.minimumMemberAgeถ้าไม่มีบันทึกวันเกิดของคน อายุฟังก์ชันส่งกลับค่าเป็น null และประเมินนิพจน์ทั้งหมดไม่ทราบ ใน SQL ข้อจำกัดถูกละเมิดถ้าและเท่านั้นหากเป็นเท็จรูปที่ 9 แสดงการ subschema ออมทองอพาร์สำหรับรายละเอียดหลักเกี่ยวกับห้องสมุดยืม วน "u" แสดงให้เห็นการเอกลักษณ์ภายนอกจำกัด ระบุว่า สำเนาเฉพาะ (ตัวอย่างทางกายภาพ) ของหนังสือสามารถระบุ โดยการรวมหมายเลขเรียกหนังสือมีการคัดลอก และส่วนประกอบนี้รหัสแผนงาน สำเนาสมุดยังได้แบบอย่างรหัส (เป็นบาร์โค้ด) ที่วน "="แสดงให้เห็นข้อจำกัดความเสมอภาค (เงินกู้มีปรับชำระถ้าและเดียวถ้ามันได้ปรับการชำระเงินในบางวัน)

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

รูปที่ 8 บางความหมายที่กำหนดไว้ล่วงหน้าพื้นฐานวันที่
เป็นส่วนขยายขนาดเล็กไปจนถึงการปกครองยุคปัจจุบันแสดงให้เห็นว่าก่อนหน้านี้กฎมาอาจจะมีการระบุไว้สำหรับ
ชนิดของความเป็นจริงคนที่ได้รับมาในวันที่มีอายุ โดยใช้ความเป็นจริงประเภทนี้ฟังก์ชั่น "อายุ ... เมื่อ ... " อาจถูก
กว่าที่ระบุรายการพารามิเตอร์ (คน, วันที่) จำกัด ข้อความที่ระบุโดยห้อย "1" ใน
รูปที่ 7 ตอนนี้อาจมีการระบุดังนี้
Membership.person. [อายุของบุคคลที่ Membership.startDate]> = Membership.startDate.year.minimumMemberAge
ถ้าวันเกิดของบุคคลที่ไม่ได้บันทึกไว้ ฟังก์ชั่นที่มีอายุกลับ null และการแสดงออกทั้งประเมิน
ที่ไม่รู้จัก ขณะที่ใน SQL ข้อ จำกัด ที่มีการละเมิดและถ้าหากมันประเมินเป็นเท็จ
รูปที่ 9 แสดงให้เห็น subschema ออมสำหรับรายละเอียดที่สำคัญเกี่ยวกับเงินกู้ห้องสมุด วงกลม "U" แสดงให้เห็น
ข้อ จำกัด เอกลักษณ์ภายนอกที่แสดงให้เห็นว่าการคัดลอกเฉพาะ (เช่นกายภาพ) ของหนังสือเล่มสามารถ
ระบุโดยการรวมหมายเลขโทรสำหรับหนังสือที่มีจำนวนสำเนา เช่นนี้ประกอบ
โครงการ, สำเนาหนังสือเล่มนี้ยังมีรูปแบบการระบุง่าย (บาร์โค้ดของมัน) วงกลม "="
แสดงให้เห็นข้อ จำกัด ความเท่าเทียมกัน (ยืมได้ชำระค่าปรับและถ้าหากมันได้ดีได้จ่ายในวันบางคน)

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

รูปที่ 8 บางความหมายพื้นฐานที่กำหนดไว้ล่วงหน้าวันที่
เป็นส่วนขยายขนาดเล็ก ปัจจุบันอายุ กฎแสดงก่อนหน้านี้ , ดึงบังเหียนอาจถูกระบุไว้สำหรับ
ซึ่งความเป็นจริงชนิดบุคคลในวันที่มีอายุ การใช้ชนิดของความเป็นจริงนี้ ฟังก์ชัน " อายุ . . . . . . . . . . . . . . " ตอนนี้อาจจะมากกว่าค่า
ระบุรายการ ( วันที่คน ) ปัญหาข้อความแสดงด้วยตัวห้อยใน
" 1 "รูปที่ 7 ตอนนี้อาจจะระบุดังนี้ .
สมาชิก คน อายุของผู้ที่เป็นสมาชิก เริ่มวันที่ ] > = สมาชิก เริ่มวันที่ ปี . minimummemberage
ถ้าวันเกิดของคนที่ไม่ได้บันทึก การทำงานของอายุคืน null และการแสดงออกประเมินทั้งหมด

ไม่รู้จัก ใน SQL , ปัญหาถูกละเมิด ถ้าและเพียงถ้าประเมินเท็จ .
รูปที่ 9 แสดง subschema ORM สำหรับรายละเอียดหลักเกี่ยวกับการกู้ยืมจากห้องสมุด วงกลม " U " อธิบาย
ข้อจำกัดเอกลักษณ์ภายนอก ระบุว่า การคัดลอกเฉพาะ ( เช่นทางกายภาพ ) ในหนังสือได้ระบุรวม
โทรสำหรับหนังสือที่มีสำเนาจำนวน เช่นเดียวกับนี้คอมโพสิต
รหัสโครงการ , หนังสือคัดลอกยังมีโครงการบัตรง่าย ( บาร์โค้ด )วงกลม " = "
แสดงความเท่าเทียมกัน จำกัด ( กู้ได้จ่ายก็ได้ ถ้าและเพียงถ้ามันไม่เป็นไรจ่ายในบางวัน )