(1) If the graph contains no cycles

(1) If the graph contains no cycles, the schedule is view serializable.
(2) The presence of a cycle, however, is not a sufficient condition to conclude that the schedule is not view serializable. The actual test is based on the observation that rule6(c) generates m distinct directed edge pairs, resulting in 2m different graphs contain-ing just one edge from each pair. If any one of these graphs is acyclic, then the corre-sponding schedule is view serializable and the serializability order is determined by the topological sorting of the graph with the dummy transactions Tbw and Tfr removed.

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

(1) ถ้ากราฟประกอบด้วยวงจรไม่ กำหนดการจะดู serializable.
(2) ของวงจร อย่างไรก็ตาม ไม่ใช่เงื่อนไขที่เพียงพอเพื่อสรุปว่า กำหนดการไม่ดูเป็นอนุกรมได้ การทดสอบจริงจะขึ้นอยู่กับการสังเกต rule6(c) ที่สร้าง m ขอบโดยตรงทั้งคู่ ในขอบเดียวของ ing ประกอบด้วยกราฟต่าง ๆ 2 เมตรจากแต่ละคู่ ถ้าใด ๆ ของกราฟเหล่านี้เป็น acyclic กำหนดการคอร์ sponding เป็นมุมมองที่เป็นอนุกรมได้ แล้วลำดับ serializability ถูกกำหนดโดย เรียงลำดับที่ topological ของกราฟกับธุรกรรมกระพริบ Tbw และ Tfr เอาออก

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

(1) ถ้ากราฟไม่มีรอบตารางเวลาเป็นมุมมอง serializable
(2) การแสดงตนของรอบ แต่ไม่ได้เป็นเงื่อนไขเพียงพอที่จะสรุปได้ว่าช่วงเวลาที่ไม่ได้ดู serializable การทดสอบที่เกิดขึ้นจริงจะขึ้นอยู่กับการสังเกตว่า Rule6 (c) สร้างเมตรแตกต่างกันคู่ขอบกำกับผล 2m กราฟที่แตกต่างกันมีไอเอ็นจีเพียงหนึ่งขอบจากแต่ละคู่ ถ้าคนใดคนหนึ่งของกราฟเหล่านี้เป็นวัฏจักรแล้วตาราง corresponding ที่เป็นมุมมอง serializable และสั่งซื้อ serializability จะถูกกำหนดโดยการเรียงลำดับทอพอโลยีของกราฟที่มีการทำธุรกรรมหุ่น TBW และ Tfr ออก

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

( 1 ) ถ้ากราฟมีรอบ , ตารางมุมมอง serializable .
( 2 ) การแสดงตนของรอบ แต่ไม่ใช่เงื่อนไขที่เพียงพอที่จะสรุปได้ว่า เวลาไม่ได้ดู serializable . การทดสอบที่แท้จริงจะขึ้นอยู่กับการสังเกตว่า rule6 ( c ) สร้าง M ที่แตกต่างกันกำกับขอบคู่ ส่งผลให้มีเพียงหนึ่งเมตรที่แตกต่างกันกราฟไอเอ็นจีขอบจากแต่ละคู่ถ้าใด ๆของกราฟนี้หว่า แล้วโทรศัพท์ sponding ตารางวิว serializable และ serializability เพื่อกำหนดรูปแบบการเรียงลำดับของกราฟกับรายการ TBW TFR หุ่นและลบออก