Figure 9 ORM subschema for library

Figure 9 ORM subschema for library loans.
Each loan is for exactly one book copy. The subset constraint between the loan-return and loan-end
associations declares that each loan that was returned on a date also ended on the same date. The
superscripts “2
” and “3
” on fact types indicate that a textual constraint applies to them. In this case, the
textual constraints are listed below the diagram. For each derived fact type (asterisked), a formal derivation
rule declares how instances of the fact type may be derived from other facts. This example includes four
derivation rules displayed below the diagram. ORM rules and queries (Bloesch and Halpin, 1997) may be
formally specified in relational style and/or attribute-style (using role names and/or defined functions). The
first derivation rule is expressed in relational style, the second rule in a combination of relational and
attribute styles, and the last two rules in attribute style. The derivation rule for unpaid fines determines the
fine currently accrued for an overdue loan—this amount may vary over time. The derivation rule for paid
fines enables the system to compute the fine amount actually paid. The predefined nrUnits function
converts a unit-based amount (e.g. 3 days) into a pure number (e.g. 3). This function may apply to any
expression that returns a unit-based type, and enhances semantic stability by protecting rules against
changes to choice of units.
Usually, constraints on derived fact types are themselves derivable. However, further constraints can
be explicitly added to them (e.g. the value constraint on NrOnLoanItems). This provides a convenient and
powerful way to declare various business rules that are awkward to express on base fact types.

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

Subschema ออมทองอพาร์เลข 9 สำหรับไลบรารีสินสินเชื่อแต่ละสำหรับการคัดลอกสมุดหนึ่งได้ จำกัดย่อยระหว่างการยืมคืนและยืมสิ้นสุดสมาคมประกาศว่า แต่ละสินเชื่อที่มีการส่งคืนในวันยังสิ้นสุดวันเดียวกัน ที่ตัวยก "2"และ"3"บนความจริง ชนิดระบุว่า ข้อจำกัดที่จะใช้ไป ในกรณีนี้ การข้อจำกัดข้อความอยู่ด้านล่างในไดอะแกรม สำหรับแต่ละชนิดความจริง (asterisked), พรมมาอย่างเป็นทางการที่ได้รับมากฎประกาศว่า อินสแตนซ์ของชนิดข้อเท็จจริงอาจได้มาจากข้อเท็จจริงอื่น ๆ ตัวอย่างนี้ประกอบด้วย 4กฎมาปรากฏขึ้นในไดอะแกรม ออมทองอพาร์กฎ และอาจสอบถาม (Bloesch และ Halpin, 1997)ระบุไว้อย่างเป็นกิจจะลักษณะในลักษณะเชิงสัมพันธ์หรือแอตทริบิวต์แบบ (ใช้ชื่อบทบาท หรือกำหนดฟังก์ชัน) ที่กฎข้อแรกมาแสดงในลักษณะเชิง กฎสองแบบเชิงสัมพันธ์ และลักษณะของแอตทริบิวต์ และกฎล่าสุดสองแบบแอตทริบิวต์ กำหนดกฎสำหรับปรับยังไม่ได้ชำระมาปรับกำลังสะสมที่ยืมเกินกำหนดซึ่งยอดนี้อาจเปลี่ยนแปลงเมื่อเวลาผ่านได้ กฎมาสำหรับการชำระเงินช่วยปรับระบบการคำนวณยอดเงินค่าปรับที่จ่ายจริง ฟังก์ชัน nrUnits ล่วงหน้าแปลงจำนวนเงินที่ยึดตามหน่วย (เช่น 3 วัน) เป็นตัวเลขล้วน (เช่น 3) ฟังก์ชันนี้อาจใช้ใด ๆนิพจน์ที่ส่งกลับค่าชนิดตามหน่วย และช่วยเพิ่มความมั่นคงทางตรรก โดยป้องกันกฎกับเปลี่ยนแปลงตัวเลือกของหน่วยปกติ ข้อจำกัดของชนิดข้อเท็จจริงที่ได้รับเป็นตัวเอง derivable อย่างไรก็ตาม เพิ่มเติมข้อจำกัดสามารถอย่างชัดเจนจะเพิ่มลงไปนั้น (เช่นค่าข้อจำกัดบน NrOnLoanItems) ให้ความสะดวก และมีประสิทธิภาพทางธุรกิจต่าง ๆ ประกาศกฎที่ได้รวมไปถึงแสดงชนิดความจริงพื้นฐาน

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

รูป subschema 9 ออมเงินกู้ยืมห้องสมุด
เงินกู้แต่ละสำหรับว่าสำเนาหนังสือเล่มหนึ่ง ข้อ จำกัด ย่อยระหว่างเงินกู้ยืมตอบแทนและเงินกู้ยืมปลาย
สมาคมบอกว่าเงินกู้ที่ถูกส่งกลับในวันที่แต่ละคนก็จบลงในวันเดียวกัน
ยก "2
"และ" 3
"ในประเภทความเป็นจริงแสดงให้เห็นว่าข้อ จำกัด เกี่ยวกับใจนำไปใช้กับพวกเขา ในกรณีนี้
ข้อ จำกัด เกี่ยวกับใจอยู่ด้านล่างแผนภาพ สำหรับแต่ละชนิดที่ได้รับความเป็นจริง (asterisked) มาอย่างเป็นทางการ
กฎประกาศว่ากรณีของชนิดความเป็นจริงอาจจะมาจากข้อเท็จจริงอื่น ๆ ตัวอย่างนี้รวมถึงสี่
กฎมาแสดงด้านล่างแผนภาพ กฎการออมและแบบสอบถาม (Bloesch และ Halpin, 1997) อาจจะถูก
ระบุอย่างเป็นทางการในรูปแบบเชิงสัมพันธ์และ / หรือแอตทริบิวต์สไตล์ (ใช้ชื่อบทบาทและ / หรือฟังก์ชั่นที่กำหนด)
กฎมาครั้งแรกที่จะแสดงในรูปแบบเชิงสัมพันธ์กฎข้อที่สองในการรวมกันของความสัมพันธ์และ
รูปแบบแอตทริบิวต์และสุดท้ายสองกฎในรูปแบบแอตทริบิวต์ กฎมาสำหรับการปรับค่าจ้างกำหนด
ปรับค้างในขณะนี้สำหรับเงินกู้ยืมนี้จำนวนเงินที่ค้างชำระอาจแตกต่างกันไปเมื่อเวลาผ่านไป กฎมาเพื่อจ่าย
ค่าปรับที่ช่วยให้ระบบการคำนวณค่าปรับที่จ่ายจริง ฟังก์ชั่นที่กำหนดไว้ล่วงหน้า nrUnits
แปลงจำนวนหน่วยที่ใช้ (เช่น 3 วัน) เป็นจำนวนบริสุทธิ์ (เช่น 3) ฟังก์ชันนี้อาจนำไปใช้กับใด ๆ
แสดงออกที่ส่งกลับชนิดหน่วยที่ใช้และช่วยเพิ่มความมั่นคงในความหมายโดยการปกป้องกฎระเบียบกับ
การเปลี่ยนแปลงทางเลือกของหน่วย
โดยปกติแล้วข้อ จำกัด ในประเภทความเป็นจริงที่ได้มาเป็นของตัวเองได้มา แต่ข้อ จำกัด ยังสามารถ
ที่จะเพิ่มให้กับพวกเขาอย่างชัดเจน (เช่นข้อ จำกัด ค่าใน NrOnLoanItems) นี้จะให้ความสะดวกสบายและ
วิธีที่มีประสิทธิภาพในการประกาศกฎเกณฑ์ทางธุรกิจต่างๆที่มีความอึดอัดใจในการแสดงบนฐานความเป็นจริงประเภท

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

รูปที่ 9 subschema ORM สำหรับเงินให้กู้ยืมห้องสมุด .
เงินกู้แต่ละเป็นเหมือนหนังสือหนึ่งเล่มคัดลอก ที่ย่อยข้อจำกัดระหว่างเงินกู้คืนและกู้สมาคมสิ้นสุด
ประกาศเงินกู้แต่ละที่ถูกส่งกลับในวันที่ยังสิ้นสุดในวันเดียวกัน
superscripts " 2
" และ " 3
" ในประเภทข้อเท็จจริงระบุว่าข้อจำกัดเดิมใช้กับพวกเขา ในกรณีนี้ ,
ข้อความเดิมข้อจำกัดด้านล่างแผนภาพ สำหรับแต่ละประเภทได้จริง ( asterisked ) กฎอย่างเป็นทางการประกาศว่ารากศัพท์
อินสแตนซ์ของชนิดที่ว่าอาจจะมาจากข้อเท็จจริงอื่น ๆ ตัวอย่างนี้รวมถึงสี่
รากศัพท์กฏแสดงด้านล่าง แผนภาพ กฎ ORM และแบบสอบถาม ( bloesch และแฮลฟิน , 1997 ) อาจ
อย่างเป็นทางการที่ระบุในรูปแบบเชิงสัมพันธ์และ / หรือคุณลักษณะสไตล์ ( ใช้ชื่อและ / หรือกำหนดบทบาทหน้าที่ )
กฎรากศัพท์แรกแสดงในลักษณะเชิงสัมพันธ์ , กฎที่สองในการรวมกันของรูปแบบเชิงสัมพันธ์และ
Attribute และสุดท้ายสองกฎในรูปแบบคุณลักษณะ กฎการจ่ายค่าสินไหมเป็นตัว
สำหรับดีในขณะนี้ที่เกิดขึ้นสำหรับเงินกู้ค้างชำระจำนวนเงินนี้อาจแตกต่างกันไปในช่วงเวลา กฎการจ่ายค่าปรับสำหรับ
ช่วยให้ระบบคำนวณจำนวนเงินที่ได้จ่ายจริง . กำหนดไว้ล่วงหน้า nrunits ฟังก์ชัน
แปลงหน่วยตามปริมาณ ( เช่น 3 วัน ) เป็นหมายเลขที่บริสุทธิ์ เช่น ( 3 ) ฟังก์ชันนี้อาจใช้กับใด ๆที่ส่งกลับหน่วย
การแสดงออกชนิดตามช่วยเพิ่มเสถียรภาพและความหมายโดยการปกป้องกฎต่อต้านการเลือกหน่วย
.
โดยปกติ ข้อจำกัดในตัวเองได้มาจริงชนิดที่ได้มาจาก อย่างไรก็ตาม ข้อจำกัดเพิ่มเติมจะถูกเพิ่มไปยังพวกเขา
อย่างชัดเจน ( เช่นค่าข้อจำกัด nronloanitems ) นี้ให้สะดวกและ
วิธีที่มีประสิทธิภาพในการประกาศกฎเกณฑ์ทางธุรกิจต่าง ๆ ที่อึดอัดที่จะแสดงในประเภทข้อเท็จจริงพื้นฐาน