exists in the precedence graph for

exists in the precedence graph for S, then in any serial schedule S ′
equivalent to S, T
i
must appear before T
j
. If the precedence graph contains a cycle the
schedule is not conflict serializable.

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

มีอยู่ ในกราฟสำคัญสำหรับ S จาก นั้น ในตารางอนุกรม S ′ใด ๆ
เท่ากับ S, T
ฉัน
ต้องปรากฏก่อน T
j
ถ้ากราฟสำคัญประกอบด้วยวงจร
กำหนดการไม่เป็นอนุกรมได้แย้ง

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

ที่มีอยู่ในกราฟสำคัญสำหรับ S แล้วในตาราง S 'อนุกรม
เทียบเท่ากับ S, T
ฉัน
จะต้องปรากฏก่อนที
เจ
. หากกราฟก่อนมีรอบ
เวลาไม่ขัดแย้ง serializable

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

ที่มีอยู่ในกราฟความสําคัญสําหรับ แล้วในกำหนดการ s อนุกรมนั้น

ผมเทียบเท่า S , T
T J ต้องปรากฏก่อน

หากมีกราฟที่มีวงจร
ตารางไม่ขัดแย้ง serializable .