Integrity constraints provide a mea

Integrity constraints provide a means of ensuring that changes made to the database by authorized users do not result in a loss of data consistency.

In the network model and the E-R model, we saw integrity constraints in the form of:

Key declarations, the stipulation that certain attributes form a candidate key for a given entity set constrains the set of legal insertions.

Form of a relationship, many-to?many, one?to?many, one?to?one. A one-to? one or one?to-many relationship restricts the set of legal relationships among entities of a collection of entity sets.

Another example of an integrity constraint is set retention in the network model.

In general, an integrity constraint can be an arbitrary predicate pertaining to the database. However, arbitrary predicates may be costly to test. Thus, we usually limit ourselves to integrity constraints that can be tested with minimal overhead. This is the purpose behind dependency ? preserving decompositions of relation schemes. Recall that in a dependency ? preserving decomposition, it is possible to test for satisfaction of the data dependencies without the need to compute any joins. Domain ? key normal is an ideal design from the point of view of efficient testing of integrity constraints, since the only forms of constraint that need be tested are key constraints and domain constraints.

If the key and domain constraints are satisfied, and the database scheme is in DKNF, then all integrity constraints on the database are satisfied.

Key constraints are one of the most easily tested forms of consistency constraint, especially ifan index is maintained on that candidate key. During the process of inserting a record into the database a lookup must be performed using the index and any duplicate key values that may exist are found. Since not all index search keys are candidate keys for the relation (Indices may be for secondary keys), we need to declare an index to be either

Unique. Only one record may exist for a key value

Non-unique. Multiple records are allowed to have the same key value

Another form of constraint that is easy to test is domain constraints. Testing domain constraints is analogous to runtime ? type checking in a programming language. A form of constraint closely related to domain constraints involves the admissibility of null values. We may forbid null values for certain attributes but allow them for others.

Relatively few systems allow the expression of constraints that are more complex than key declarations or domain constraints. The original proposal for the SQL language included a general purpose construct called the assert statement for the expression of integrity constraints.

An assertion pertaining to a single relation takes the form:

For example, if we wish to define an integrity constraint that no account balance is negative we write:

In its most general form, the assert statement takes the form:

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

ข้อจำกัดความให้หมายถึงมั่นใจว่า มีผลเปลี่ยนแปลงไปยังฐานข้อมูล โดยผู้สูญหายของข้อมูลความสอดคล้องไม่

ในรูปแบบเครือข่ายและแบบ E-R เราเห็นข้อจำกัดของความสมบูรณ์ในรูปแบบของ:

ประกาศคีย์ stipulation ว่า บางแอททริบิวต์แบบคีย์ผู้สมัครสำหรับเอนทิตีที่กำหนดชุดจำกัดชุดของกฎหมายแทรก

รูปแบบของความสัมพันธ์ หลาย-เพื่อ? จำนวนมาก ? การ? จำนวนมาก ? การ? หนึ่ง หนึ่ง-เพื่อ หนึ่งหรือหนึ่ง? การจำกัดชุดของกฎหมายความสัมพันธ์ระหว่างเอนทิตีของคอลเลกชันของเอนทิตีชุด

อีกตัวอย่างหนึ่งของการจำกัดความไว้เก็บข้อมูลในรูปแบบเครือข่ายได้

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

พอใจข้อจำกัดคีย์และโดเมน และโครงร่างของฐานข้อมูลที่อยู่ใน DKNF ถ้าพอใจทั้งหมดข้อจำกัดความสมบูรณ์ของฐานข้อมูล

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

ยูนีค คอร์ดเดียวเท่านั้นอาจมีอยู่สำหรับค่าคีย์

ไม่ใช่เฉพาะการ หลายเรกคอร์ดได้รับการอนุญาตให้มีค่าคีย์เดียวกัน

ฟอร์มอื่นของข้อจำกัดที่ต้องทดสอบคือ ข้อจำกัดของโดเมน ทดสอบข้อจำกัดของโดเมนจะคล้ายคลึงกับไทม์ ชนิดการตรวจสอบในภาษาการเขียนโปรแกรม แบบฟอร์มของข้อจำกัดที่เกี่ยวข้องอย่างใกล้ชิดกับโดเมนข้อจำกัดเกี่ยวข้องกับ admissibility ค่า เราอาจห้ามค่า null สำหรับแอตทริบิวต์ แต่อนุญาตให้ผู้อื่นได้

ระบบค่อนข้างน้อยทำให้นิพจน์ของข้อจำกัดที่มีความซับซ้อนมากกว่าการประกาศหลักหรือข้อจำกัดของโดเมนได้ เสนอสำหรับภาษา SQL รวมสร้างวัตถุประสงค์ทั่วไปที่เรียกว่างบการ assert สำหรับนิพจน์ของข้อจำกัดความ

ยืนยันความเกี่ยวข้องกับความสัมพันธ์ทางเดียวใช้แบบฟอร์ม:

ตัวอย่าง ถ้า เราต้องการกำหนดข้อจำกัดความว่าดุลบัญชีไม่ติดลบเราเขียน:

แบบทั่วไปมากที่สุด ยอด assert ใช้รูปแบบ:

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

ความ จำกัด จัดให้มีวิธีการเพื่อให้มั่นใจว่าการเปลี่ยนแปลงที่เกิดขึ้นกับฐานข้อมูลโดยผู้ใช้อำนาจไม่ได้ผลในการสูญเสียของความสอดคล้องของข้อมูลในรูปแบบเครือข่ายและรูปแบบ ER เราเห็นข้อ จำกัด ของความสมบูรณ์ในรูปแบบของการประกาศสำคัญระบุว่า คุณลักษณะบางอย่างในรูปแบบที่สำคัญผู้สมัครสำหรับการตั้งค่าที่กำหนดให้นิติบุคคล constrains ชุดของการแทรกกฎหมายรูปแบบของความสัมพันธ์หลายต่อ? หลายคนหนึ่ง? การ? หลายคนหนึ่ง? การ? หนึ่ง หนึ่งต่อ? หนึ่งหรืออย่างใดอย่างหนึ่งต่อหลายความสัมพันธ์ จำกัด ชุดของความสัมพันธ์ทางกฎหมายระหว่างหน่วยงานของคอลเลกชันของกิจการที่กำหนดตัวอย่างของข้อ จำกัด ที่สมบูรณ์ก็คือการตั้งค่าการเก็บรักษาในรูปแบบเครือข่ายโดยทั่วไปข้อ จำกัด ความสมบูรณ์สามารถกล่าวโดยพลการที่เกี่ยวข้องกับการ ฐานข้อมูล อย่างไรก็ตามภาคโดยพลการอาจจะมีค่าใช้จ่ายในการทดสอบ ดังนั้นเราจึงมักจะ จำกัด ตัวเองข้อ จำกัด ความสมบูรณ์ที่สามารถทดสอบได้ด้วยค่าใช้จ่ายน้อยที่สุด นี่คือจุดมุ่งหมายที่อยู่เบื้องหลังการพึ่งพาหรือไม่ รักษา decompositions ของแผนความสัมพันธ์ จำได้ว่าในการพึ่งพาหรือไม่ การรักษาการสลายตัวก็เป็นไปได้ในการทดสอบความพึงพอใจของการอ้างอิงข้อมูลโดยไม่จำเป็นที่จะต้องคำนวณใด ๆ ที่เข้าร่วม โดเมน ที่สำคัญตามปกติคือการออกแบบที่เหมาะจากมุมมองของการทดสอบที่มีประสิทธิภาพของข้อ จำกัด ของความสมบูรณ์เนื่องจากรูปแบบเพียง แต่ข้อ จำกัด ที่จำเป็นต้องได้รับการทดสอบเป็นข้อ จำกัด ที่สำคัญและข้อ จำกัด โดเมนถ้าคีย์และการจัดการโดเมน จำกัด มีความพึงพอใจและรูปแบบฐานข้อมูลที่อยู่ใน DKNF แล้วข้อ จำกัด ของความสมบูรณ์ทั้งหมดในฐานข้อมูลมีความพึงพอใจข้อ จำกัด ที่สำคัญเป็นหนึ่งในผู้ทดสอบได้ง่ายมากที่สุดรูปแบบของข้อ จำกัด ที่สอดคล้องดัชนี Ifan โดยเฉพาะอย่างยิ่งจะยังคงอยู่กับผู้สมัครที่สำคัญ ในระหว่างขั้นตอนการแทรกบันทึกลงในฐานข้อมูลการค้นหาจะต้องดำเนินการโดยใช้ดัชนีและค่าคีย์ใด ๆ ที่ซ้ำกันที่อาจมีอยู่จะพบ ตั้งแต่ไม่ได้ทุกปุ่มค้นหาดัชนีเป็นกุญแจผู้สมัครสำหรับความสัมพันธ์ (ดัชนีอาจจะสำหรับคีย์รอง) เราต้องประกาศดัชนีจะเป็นอย่างใดอย่างหนึ่งที่ไม่ซ้ำกัน เพียงคนเดียวที่บันทึกอาจมีอยู่สำหรับค่าคีย์ที่ไม่ซ้ำกัน หลายระเบียนได้รับอนุญาตให้มีค่าคีย์เดียวกันอีกรูปแบบหนึ่งของข้อ จำกัด ที่เป็นเรื่องง่ายที่จะทดสอบเป็นข้อ จำกัด โดเมน การทดสอบข้อ จำกัด ของโดเมนจะคล้ายคลึงกับรันไทม์? ประเภทการตรวจสอบในการเขียนโปรแกรมภาษา รูปแบบของข้อ จำกัด ที่เกี่ยวข้องกับข้อ จำกัด ที่เกี่ยวข้องกับโดเมนภัณฑ์ของค่า เราอาจห้ามค่า null สำหรับแอตทริบิวต์บางอย่าง แต่ช่วยให้พวกเขาสำหรับคนอื่น ๆระบบค่อนข้างไม่กี่ช่วยให้การแสดงออกของข้อ จำกัด ที่มีความซับซ้อนมากขึ้นกว่าการประกาศที่สำคัญหรือข้อ จำกัด โดเมน ข้อเสนอเดิมสำหรับภาษา SQL รวมถึงการสร้างวัตถุประสงค์ทั่วไปเรียกว่าคำยืนยันสำหรับการแสดงออกของความ จำกัดการยืนยันเกี่ยวกับความสัมพันธ์เพียงครั้งเดียวจะใช้รูปแบบ: ตัวอย่างเช่นถ้าเราต้องการที่จะกำหนดข้อ จำกัด ที่สมบูรณ์ที่ไม่มียอดเงินในบัญชีเป็น เชิงลบที่เราเขียนในรูปแบบทั่วไปมากที่สุดของคำสั่งยืนยันจะใช้รูปแบบ:

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

ข้อจำกัดความสมบูรณ์ให้วิธีการ มั่นใจว่า การเปลี่ยนแปลงที่เกิดขึ้นกับฐานข้อมูลโดยการอนุญาตผู้ใช้ไม่ส่งผลในการสูญเสียของความสอดคล้องข้อมูล

ในรูปแบบเครือข่ายและ E-R แบบจำลอง เราเห็นข้อจำกัดความสมบูรณ์ในรูปแบบของคีย์ :

ประกาศ ข้อตกลงที่คุณลักษณะบางอย่างแบบฟอร์มผู้สมัครคีย์ให้ นิติบุคคล ชุดจำกัดชุดใหม่

ทางกฎหมายรูปแบบของความสัมพันธ์ มาก ? มากมายหนึ่ง ? ? มากมายหนึ่ง ? ? หนึ่ง หนึ่ง ? หนึ่งหรือ ? ความสัมพันธ์หลายชุดของความสัมพันธ์ทางกฎหมายระหว่างจำกัดหน่วยงานของคอลเลกชันของชุดตัว

อีกหนึ่งตัวอย่างของความสมบูรณ์ของการตั้งค่าการเก็บในรูปแบบเครือข่าย

โดยทั่วไปมีความสมบูรณ์จำกัดได้ตามอำเภอใจมูลฐานที่เกี่ยวข้องกับฐานข้อมูล อย่างไรก็ตามภาคแสดงหนึ่งอาจเสียค่าใช้จ่ายในการสอบ ดังนั้น เรามักจะจำกัดตัวเองข้อจำกัดความสมบูรณ์ที่สามารถทดสอบได้ด้วยค่าใช้จ่ายที่น้อยที่สุด นี่คือวัตถุประสงค์ที่อยู่เบื้องหลังการพึ่งพา ? การรักษา decompositions แบบแผนความสัมพันธ์ จำได้ว่าในระบบ ? การสลาย , มันเป็นไปได้ที่จะทดสอบเพื่อความพึงพอใจของข้อมูลการอ้างอิงโดยไม่ต้องใช้ใด ๆที่เข้าร่วมโดเมน คีย์ปกติคือ การออกแบบที่เหมาะสมที่สุดจากมุมมองของการทดสอบประสิทธิภาพ ข้อจำกัดของความสมบูรณ์ เนื่องจาก รูปแบบเฉพาะของข้อจำกัดที่ต้องถูกทดสอบมีข้อจำกัดที่สำคัญและข้อจำกัดของโดเมน .

ถ้าคีย์และข้อจำกัดของโดเมนจะพอใจและรูปแบบฐานข้อมูลใน dknf แล้วข้อจำกัดความสมบูรณ์ทั้งหมดในฐานข้อมูลมีความพึงพอใจ

ข้อจำกัดที่สำคัญเป็นหนึ่งในมากที่สุดได้อย่างง่ายดายทดสอบรูปแบบของปัญหาความสอดคล้อง โดยเฉพาะดัชนี ifan เป็นรักษาที่ผู้สมัครหลัก ในระหว่างกระบวนการของการบันทึกลงในฐานข้อมูลการค้นหา จะต้องแสดงดัชนีการใช้ซ้ำและค่าคีย์ใด ๆที่อาจมีอยู่ จะพบตั้งแต่ไม่ทั้งหมดดัชนีการค้นหาปุ่มปุ่มเป็นผู้สมัครสำหรับความสัมพันธ์ ( ดัชนีอาจเป็นคีย์รอง ) เราต้องประกาศดัชนีเป็นเหมือนกัน

ที่ไม่ซ้ำกัน เพียงหนึ่งระเบียนอาจมีอยู่คีย์ค่า

ที่ไม่ซ้ำกัน บันทึกที่ได้รับอนุญาตหลายได้เหมือนกันค่า

ที่สำคัญอีกรูปแบบหนึ่งของข้อจำกัดที่ง่ายต่อการทดสอบจำกัดโดเมน การทดสอบโดเมน ข้อจำกัดคือคล้ายคลึงกับ runtime ?ประเภทการตรวจสอบในการเขียนโปรแกรมภาษา รูปแบบของเงื่อนไขที่เกี่ยวข้องอย่างใกล้ชิดกับปัญหาโดเมนที่เกี่ยวข้องกับการรับฟังของค่า null . เราอาจจะไม่ให้ค่า null สำหรับคุณลักษณะบางอย่าง แต่อนุญาตให้พวกเขาเพื่อคนอื่น

ระบบค่อนข้างน้อยให้การแสดงออกของปัญหาที่ซับซ้อนมากกว่าการประกาศที่สำคัญหรือปัญหาโดเมนข้อเสนอเดิมของภาษา SQL รวมทั่วไปเพื่อสร้าง เรียกว่า อ้างงบสำหรับการแสดงออกของข้อจำกัดความสมบูรณ์

การยืนยันเกี่ยวกับความสัมพันธ์เดียวที่ใช้รูปแบบ :

ตัวอย่าง ถ้าเราต้องการกำหนดความถูกต้องความยับยั้งชั่งใจที่ไม่มียอดเงินในบัญชีเป็นลบ เราเขียน :

ในรูปแบบทั่วไป ส่วนใหญ่ ยืนยันข้อความที่ใช้รูปแบบ :