In object-database systems, data ob

In object-database systems, data objects can be given an object identifier (oid), which is some value that is unique in the database across time. The DBMS is responsible for generating oids and ensuring that an oid identies an object uniquely over its entire lifetime. In some systems, all tuples stored in any table are objects and are automatically assigned unique oids; in other systems, a user can specify the tables for which the tuples are to be assigned oids. Often, there are also facilities for generating oids for larger structures (e.g., tables) as well as smaller structures.

An object's oid can be used to refer (or `point') to it from elsewhere in the data. Such a reference has a type, with a corresponding type constructor :

ref(base): a type representing a reference to an object of type base. The ref type constructor can be interleaved with the type constructors for structured types; for example,

Notions of Equality

The distinction between reference types and reference-free structured types raises an other issue: the definition of equality. Two objects having the same type are defined to be deep equal if and only if:

The objects are of atomic type and have the same value, or

The objects are of reference type, and the deep equals operator is true for the two referenced objects, or

The objects are of structured type, and the deep equals operator is true for all the corresponding subparts of the two objects.

Two objects that have the same reference type are defined to be shallow equal if they both refer to the same object . The definition of shallow equality can be extended to objects of arbitrary type by taking the definition of deep equality and replacing deep equals by shallow equals in parts (2) and (3).

Dereferencing Reference Types

An item of reference type ref(foo) is not the same as the foo item to which it points. In order to access the referenced foo item, a built-in deref() method is provided along with the ref type constructor.

For example, given a tuple from the Nowshowing table, one can access the name eld of the referenced theater_t

Nowshowing.deref(theater).name. Since references to tuple types are common, some systems provide a java-style arrow operator, which combines a postx version of the dereference operator with a tuple-type dot operator. Using the arrow notation, the name of the referenced theater can be accessed with the equivalent syntax Now showing.theater->name.

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

ในระบบฐานข้อมูลวัตถุ วัตถุข้อมูลจะได้รับตัวระบุวัตถุ (oid), ซึ่งมีบางค่าที่ไม่ซ้ำกันในฐานข้อมูลตลอดเวลา DBMS รับผิดชอบการสร้าง oids และมั่นใจได้ว่า identies oid มีวัตถุเฉพาะผ่านอายุการใช้งานทั้งหมดของ ในบางระบบ tuples ทั้งหมดที่เก็บอยู่ในตารางเป็นวัตถุ และกำหนดไว้เฉพาะ oids ในระบบอื่น ๆ ผู้ใช้สามารถระบุตารางที่จะกำหนดให้ oids tuples ใน มักจะ ยังมีสิ่งอำนวยความสะดวกสำหรับการสร้าง oids สำหรับโครงสร้างใหญ่ (เช่น ตาราง) และโครงสร้างขนาดเล็กได้

oid ของวัตถุสามารถใช้อ้างอิง (หรือ 'ชี้') ไปจากอื่น ๆ ในข้อมูลได้ การอ้างอิงมีชนิด กับตัวสร้างชนิดที่เกี่ยวข้อง:

ref(base): ชนิดที่แสดงถึงการอ้างอิงไปยังวัตถุของชนิดของฐาน สามารถแผนที่ตัวสร้างชนิดการอ้างอิงกับตัวสร้างชนิดสำหรับชนิดที่มีโครงสร้าง ตัวอย่าง,

ความเข้าใจความเสมอภาค

ความแตกต่างระหว่างฟรีอ้างอิงชนิดโครงสร้างและชนิดข้อมูลอ้างอิงเพิ่มประเด็นอื่น: นิยามของความเสมอภาคกัน มีชนิดเดียวกันไว้ให้ ถ้าลึกเท่านั้นและเฉพาะเมื่อวัตถุสอง:

วัตถุชนิดอะตอม และมีค่าเดียวกัน หรือ

วัตถุมีชนิดการอ้างอิง และดำเนินการเท่ากับลึกเป็นจริงสำหรับวัตถุอ้างอิงสอง หรือ

มีวัตถุชนิดโครงสร้าง และดำเนินการเท่ากับลึกเป็นจริงสำหรับทุก subparts ที่สอดคล้องกันของวัตถุสอง

มีกำหนดสองวัตถุที่มีชนิดการอ้างอิงเดียวกันจะ เท่ากับตื้นถ้าพวกเขาทั้งสองอ้างอิงไปยังวัตถุเดียวกัน สามารถขยายคำจำกัดความของความเสมอภาคที่ตื้นให้วัตถุของชนิดที่กำหนดด้วยนิยามของความเท่าเทียมกันลึก และลึกแทนเท่ากับ โดยเท่ากับตื้นส่วน (2) และ (3) .

Dereferencing อ้างอิงชนิด

สินค้า ref(foo) ชนิดข้อมูลอ้างอิงไม่เหมือนกับสินค้าฟูที่มันชี้ การเข้าถึงสินค้าอ้างอิงฟู วิธีการ deref() ในตัวไว้พร้อมกับการอ้างอิงชนิดตัวสร้างได้

ตัวอย่าง ให้ทูเพิลจากตาราง Nowshowing หนึ่งสามารถเข้าถึง eld ชื่อของ.name อ้างอิง theater_t

Nowshowing.deref (ภาพยนตร์) เนื่องจากการอ้างอิงถึงชนิดของทูเพิลทั่วไป บางระบบมีตัวจาวาแบบลูกศรดำเนิน ซึ่งรวมดำเนินการ dereference ด้วยตัวดำเนินการชนิดของทูเพิลจุดรุ่น postx ใช้สัญลักษณ์ลูกศร ชื่อของโรงละครอ้างอิงสามารถเข้าถึงไวยากรณ์เทียบเท่าตอนนี้ showing.theater->ชื่อ

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

ในระบบฐานข้อมูลวัตถุวัตถุข้อมูลจะได้รับตัวระบุวัตถุ (oid) ซึ่งเป็นค่าบางอย่างที่ไม่ซ้ำกันในฐานข้อมูลในเวลา DBMS เป็นผู้รับผิดชอบในการสร้าง OIDs และมั่นใจว่า oid identies วัตถุที่ไม่ซ้ำกันในช่วงชีวิตทั้ง ในบางระบบ tuples ทั้งหมดที่เก็บไว้ในตารางใด ๆ ที่เป็นวัตถุที่ได้รับมอบหมายและ OIDs ที่ไม่ซ้ำกันโดยอัตโนมัติ ในระบบอื่น ๆ ผู้ใช้สามารถระบุตารางที่ tuples ที่จะได้รับมอบหมาย OIDs มักจะยังมีสิ่งอำนวยความสะดวกในการสร้าง OIDs สำหรับโครงสร้างขนาดใหญ่ (เช่นตาราง) เช่นเดียวกับโครงสร้างขนาดเล็กoid วัตถุสามารถนำมาใช้เพื่ออ้าง (หรือจุด `') ไปจากที่อื่น ๆ ในข้อมูลที่ ดังกล่าวมีการอ้างอิงประเภทที่มีการสร้างประเภทที่เกี่ยวข้อง: อ้างอิง (ฐาน) ประเภทที่เป็นตัวแทนของการอ้างอิงถึงวัตถุประเภทฐาน คอนสตรัคประเภทอ้างอิงสามารถแทรกด้วยการก่อสร้างประเภทชนิดโครงสร้าง; เช่นพัฒนาการของความเท่าเทียมกันความแตกต่างระหว่างประเภทการอ้างอิงและประเภทโครงสร้างอ้างอิงฟรียกปัญหาอื่น ๆ : นิยามของความเท่าเทียมกัน วัตถุทั้งสองมีชนิดเดียวกันจะมีการกำหนดให้เป็นลึกเท่ากันและถ้าหาก: วัตถุเป็นประเภทอะตอมและมีค่าเดียวกันหรือวัตถุที่เป็นประเภทการอ้างอิงและลึกเท่ากับผู้ประกอบการที่เป็นจริงสำหรับสองวัตถุอ้างอิง หรือวัตถุที่เป็นประเภทโครงสร้างและลึกเท่ากับผู้ประกอบการที่เป็นจริงสำหรับทุก subparts ที่สอดคล้องกันของสองวัตถุสองวัตถุที่มีชนิดการอ้างอิงเดียวกันจะกำหนดให้เป็นตื้นเท่ากับว่าพวกเขาทั้งสองอ้างถึงวัตถุเดียวกัน นิยามของความเท่าเทียมกันตื้นสามารถขยายไปยังวัตถุประเภทโดยพลการโดยการนิยามของความเท่าเทียมกันลึกและแทนที่เท่ากับลึกตื้นเท่ากับในส่วน (2) และ (3) ประเภท dereferencing อ้างอิงรายการของชนิดการอ้างอิงอ้างอิง (foo) เป็น ไม่เหมือนกับรายการ foo เพื่อที่จะชี้ให้ เพื่อให้สามารถเข้าถึงรายการ foo อ้างอิงในตัว Deref () วิธีการที่มีให้พร้อมกับการสร้างประเภทอ้างอิงตัวอย่างเช่นได้รับ tuple จากตาราง Nowshowing หนึ่งสามารถเข้าถึงช่องที่ชื่อของอ้างอิง theater_t Nowshowing.deref (โรงละคร) ชื่อ. ตั้งแต่การอ้างอิงถึงชนิด tuple ทั่วไปบางระบบให้ผู้ประกอบการที่ลูกศร java สไตล์ซึ่งรวมรุ่น postx ของผู้ประกอบการ dereference มีจุดประกอบ tuple ประเภท ใช้เครื่องหมายลูกศรชื่อของโรงละครที่มีการอ้างอิงสามารถเข้าถึงได้ด้วยไวยากรณ์เทียบเท่าตอนนี้ showing.theater-> ชื่อ

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

ระบบฐานข้อมูลวัตถุ , วัตถุข้อมูลสามารถได้รับการระบุวัตถุ ( เก่า ) ซึ่งเป็นค่าบางอย่างที่ไม่ซ้ำกันในฐานข้อมูลทั่วเวลา DBMS เป็นผู้รับผิดชอบในการสร้าง oids และมั่นใจว่าตัวตนวัตถุเก่าๆอย่างของทั้งหมดของชีวิต ในบางระบบ ทั้งหมดที่มีตารางใด ๆและเก็บไว้ในวัตถุโดยอัตโนมัติได้รับมอบหมายเฉพาะ oids ; ในระบบอื่น ๆผู้ใช้สามารถกำหนดตารางที่ทูเปิลจะถูกกำหนด oids . บ่อยๆ ยังมีสิ่งอำนวยความสะดวกสำหรับการสร้าง oids โครงสร้างขนาดใหญ่ ( เช่น ตาราง ) ตลอดจนโครงสร้างเล็ก

ของวัตถุเก่าสามารถใช้อ้างอิง ( หรือ ' จุด ' ) จากที่อื่นในข้อมูล การอ้างอิงดังกล่าวมีชนิด กับผู้รับเหมาก่อสร้างประเภทที่สอดคล้องกัน :

อ้างอิง ( ฐาน )ชนิดของการอ้างอิงไปยังวัตถุประเภทพื้นฐาน อ้างอิงประเภทผู้สร้างสามารถอัดกับประเภทก่อสร้างสำหรับโครงสร้างประเภท ตัวอย่างเช่น

ความคิดของความเสมอภาค

ความแตกต่างระหว่างชนิดและอ้างอิงอ้างอิงฟรีโครงสร้างประเภทยกเป็นปัญหาอื่น ๆ : นิยามของความเสมอภาค สองวัตถุที่มีชนิดเดียวกันที่กำหนดไว้เท่ากับลึกถ้าและเพียงถ้า :

วัตถุของอะตอมชนิดและมีค่าเดียวกันหรือ

วัตถุประเภทอ้างอิง และลึกเท่ากับผู้ประกอบการที่แท้จริงของทั้งสองวัตถุอ้างอิงหรือ

วัตถุประเภทโครงสร้างและลึกเท่ากับผู้ประกอบการจริงที่ใช้สอดคล้องของวัตถุสอง

สองวัตถุที่มีประเภทอ้างอิงเดียวกันถูกกำหนดเป็นตื้นเท่ากันถ้าพวกเขาทั้งสองหมายถึงวัตถุเดียวกัน นิยามของความเสมอภาคตื้นสามารถขยายวัตถุโดยพลการของชนิดโดยนิยามของความเสมอภาคและเท่าเทียมกันโดยตื้นลึกลึกแทน เท่ากับในส่วนที่ ( 2 ) และ ( 3 ) .



dereferencing ประเภทอ้างอิงรายการประเภทอ้างอิง Ref ( ฟู ) ไม่เหมือนฟู รายการที่คะแนน เพื่อให้สามารถเข้าถึงความฟู สินค้า วิธีการ deref() ในตัวมาพร้อมกับอ้างอิงประเภทก่อสร้าง

ตัวอย่าง ให้ทูเปิลจาก nowshowing โต๊ะหนึ่งสามารถเข้าถึงชื่อสาขาของอิง theater_t

nowshowing . deref ( ภาพยนต์ ) ชื่อ เนื่องจากการอ้างอิงถึงประเภท tuple ทั่วไปบางระบบให้ Java ลูกศรลักษณะผู้ประกอบการ ซึ่งรวมรุ่น postx ของตัวดำเนินการอ้างอิงกลับกับ tuple แบบจุดปฏิบัติการ การใช้สัญกรณ์ลูกศร , ชื่อของอิง โรงละครสามารถเข้าถึงได้เทียบเท่ากับไวยากรณ์ตอนนี้แสดง โรงละคร - > ชื่อ