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 PS means Power set S. That is, the type of stock is defined as the set of set of books. On loan refers to the set of books. The predicate dom on load subset stock denotes that the books on loan are a subset of existing stock. The general term dom R represents then.

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

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

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

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

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

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