Schedule S3is a serial schedule and

Schedule S
3
is a serial schedule and, since S
1
and S
2
are equivalent to S
3
, S
1
and S
2
are
serializable schedules.
This type of serializability is known as conflict serializability. A conflict serializable
schedule orders any conflicting operations in the same way as some serial execution.
Testing for conflict serializability
Under the constrained write rule (that is, a transaction updates a data item based on its
old value, which is first read by the transaction), a precedence (or serialization) graph
can be produced to test for conflict serializability. For a schedule S, a precedence graph is
a directed graph G = (N, E) that consists of a set of nodes N and a set of directed edges E,
which is constructed as follows:
n Create a node for each transaction.
n Create a directed edge T
i → T
j
, if T
j
reads the value of an item written by T
i
.
n Create a directed edge T
i → T
j
, if T
j
writes a value into an item after it has been read by T
i
.
n Create a directed edge T
i → T
j
, if T
j
writes a value into an item after it has been written
by T
i
.
If an edge T
i → T
j
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
3
คือตารางประจำและ ตั้งแต่ S
1
และ S
2
เทียบเท่ากับ S
3
, S
1
และ S
2
มี
อนุกรมได้กำหนดการ
serializability ชนิดนี้เรียกว่าความขัดแย้ง serializability ความขัดแย้งที่เป็นอนุกรมได้
กำหนดการใบสั่งใด ๆ ดำเนินการขัดแย้งกันในเดียวกันการดำเนินการประจำทางบาง
ทดสอบแย้ง serializability
ใต้เขียนจำกัดกฎ (นั่นคือ รายการข้อมูลที่ใช้ในการปรับปรุงธุรกรรมของ
ค่าเดิม ซึ่งต้องอ่านโดย), กราฟสำคัญ (หรืออนุกรม)
สามารถผลิตการทดสอบ serializability ความขัดแย้งได้ สำหรับกำหนดการ S กราฟสำคัญคือ
กราฟโดยตรง G = (N, E) ที่ประกอบด้วยชุดของโหนด N และชุดโดยตรงขอบ E,
ซึ่งสร้างขึ้นเป็นดังนี้:
n สร้างโหนสำหรับแต่ละธุรกรรม
n สร้างขอบโดยตรง T
ฉัน→ T
เจ
, ถ้า T
เจ
อ่านค่าของสินค้าเขียน โดย T
ฉัน

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

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

ตาราง S
3
เป็นช่วงเวลาที่ต่อเนื่องและเนื่องจาก S
1
และ S
2
เทียบเท่ากับ S
3
, S
1
และ S
2
เป็น
ตาราง serializable
ชนิดนี้ serializability เป็นที่รู้จักกัน serializability ความขัดแย้ง ความขัดแย้ง serializable
คำสั่งตารางเวลาการดำเนินการใด ๆ ที่ขัดแย้งกันในลักษณะเดียวกับการดำเนินการบางอย่างต่อเนื่อง
ทดสอบ serializability ความขัดแย้ง
ภายใต้การปกครองเขียน จำกัด (นั่นคือการทำธุรกรรมการปรับปรุงรายการข้อมูลตามที่
ค่าเดิมซึ่งจะถูกอ่านเป็นครั้งแรกโดยการทำธุรกรรม) , ความสำคัญ (หรืออนุกรม) กราฟ
สามารถผลิตเพื่อทดสอบ serializability ความขัดแย้ง สำหรับกำหนดการ S กราฟความสำคัญเป็น
กราฟ G = (N, E) ที่ประกอบด้วยชุดของโหนดและยังไม่มีการตั้งค่าของขอบกำกับอี
ซึ่งถูกสร้างดังนี้
n สร้างโหนดสำหรับแต่ละรายการ
n สร้าง T ขอบกำกับ
i → T
ญ
ถ้า T
เจ
อ่านค่าของรายการที่เขียนโดย T
i
.
สร้าง n T ขอบกำกับ
i → T
ญ
ถ้า T
ญ
เขียนค่าลงในรายการหลังจากที่มันได้รับการอ่านโดย T
i
.
สร้าง n T ขอบกำกับ
i → T
ญ
ถ้า T
ญ
เขียนค่าลงในรายการหลังจากที่มันได้รับการเขียน
โดย T
i
.
ถ้า T ขอบ
i → T
ญ
ที่มีอยู่ในกราฟสำคัญสำหรับ S แล้วใน ตารางใด ๆ S 'อนุกรม
เทียบเท่ากับ S, T
ฉัน
จะต้องปรากฏก่อนที
เจ
. หากกราฟก่อนมีรอบ
เวลาไม่ขัดแย้ง serializable

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

ตาราง S
3
เป็นอนุกรมเวลา และเนื่องจาก s

s
2
1 และมี

3 เทียบเท่า S , s

s
2
1 และมีตาราง serializable
.
ของ serializability ชนิดนี้เป็นที่รู้จักกันเป็น serializability ความขัดแย้ง ความขัดแย้ง serializable
ตารางคำสั่งใดที่ขัดแย้งกัน ปฏิบัติการในลักษณะเดียวกันเป็นบางหมายเลขคดี

serializability การทดสอบความขัดแย้งภายใต้บังคับเขียนกฎ ( นั่นคือรายการปรับปรุงข้อมูลตามค่าเดิม
ที่อ่านครั้งแรก โดยธุรกรรม ) บรรทัดฐาน ( หรือทำให้เป็นอนุกรม ) กราฟ
สามารถผลิตเพื่อทดสอบ serializability ความขัดแย้ง สำหรับตารางเวลาของบรรทัดฐานกราฟคือกราฟ G =
โดยตรง ( N , E ) ที่ประกอบด้วยชุดของโหนด และชุดของการประดับประดา E ,
ซึ่งสร้างดังนี้
n สร้างโหนด
สำหรับแต่ละรายการn สร้างกำกับขอบ T
T
J
ฉัน→ keyboard - key - name ถ้า T
J
อ่านค่าของรายการที่เขียนโดย T
ผม
.
n สร้างกำกับขอบ T
T
J
ฉัน→ keyboard - key - name ถ้า T
J
เขียนค่าลงในรายการหลังจากที่ถูกอ่านโดย T
ผม
.
n สร้างกำกับขอบ T
T
J
ฉัน→ keyboard - key - name ถ้า T
J
เขียนค่าลงในรายการหลังจากที่มันถูกเขียนโดย T

ผม
.
ถ้าขอบ T
T
J
ฉัน→ keyboard - key - name มีอยู่ในกราฟความสําคัญสําหรับ S แล้ว ในกำหนดการนั้น
s อนุกรมเทียบเท่า S , T

T ฉันต้องปรากฏก่อน
J
หากมีกราฟที่มีวงจร
ตารางไม่ขัดแย้ง serializable .