In the schema declaration, we have

In the schema declaration, we have declared two names: stock and on loan. Stock is the set of books held by the library. The notation P S means Powerset S. That is, the type of stock is defined as the set of sets of books. On loan refers to the set of books that have been lent out. Each member of the set is mapped to a known borrower. The predicate dom onLoad subset stock denotes that the books on loan are a subset of existing stock. The general term dom R represents the.

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

ในการประกาศสคีมาที่เราได้ประกาศสองชื่อ: หุ้นและเงินกู้ยืม หุ้นคือชุดของหนังสือที่จัดโดยห้องสมุด สัญกรณ์พีหมายถึง powerset s นั่นคือประเภทของหุ้นที่ถูกกำหนดเป็นชุดของชุดของหนังสือ เกี่ยวกับเงินกู้ยืมหมายถึงชุดของหนังสือที่ได้รับการยืมออก สมาชิกของชุดแต่ละคนจะจับคู่กับผู้กู้ที่รู้จักกันกล่าวอุดมย่อยหุ้น onload หมายถึงว่าหนังสือที่เกี่ยวกับการกู้ยืมเป็นส่วนหนึ่งของหุ้นที่มีอยู่ อุดม r คำทั่วไปหมายถึง

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

ในประกาศเค้าร่าง เราได้ประกาศชื่อ: หุ้น และกู้ยืม หุ้นเป็นชุดของหนังสือที่จัดขึ้น โดยไลบรารี สัญลักษณ์ P S หมายถึง Powerset S. นั่นคือ ชนิดของหุ้นไว้เป็นชุดของชุดหนังสือ กู้ยืมหมายถึงชุดของหนังสือที่มีการยืมออก กรรมการแต่ละชุดถูกแมปกับผู้กู้ทราบ เพรดิเคต dom เมื่อมีการโหลดหุ้นย่อยแสดงว่า หนังสือกู้ยืมเป็นชุดย่อยของสินค้าคงคลังที่มีอยู่ คำทั่วไปที่โดม R แทน

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

ในการประกาศค่าที่เราได้ประกาศทั้งสองชื่อหุ้นและเงินกู้ สต็อกเป็นชุดที่ของหนังสือซึ่งจัดโดยไลบรารีได้ P S เครื่องหมายที่หมายถึง powerset . S . S .ที่เป็น ประเภท ของตลาดหลักทรัพย์ฯมีการกำหนดตามที่กำหนดไว้ของชุดของหนังสือ เงินกู้หมายถึงการตั้งค่าของหนังสือที่ได้รับการให้ยืมเงินออกไป สมาชิกแต่ละรายในการตั้งค่าจะถูกแม็ปเพื่อผู้กู้ที่มีชื่อเสียงหุ้นส่วนย่อย onload โดมมูลฐานที่หมายความว่าหนังสือของเงินให้สินเชื่อเป็นชุดย่อยของหุ้นที่มีอยู่ คำว่า"โดยทั่วไป R โดมแสดงถึงที่