گراف تقدم

یک گراف تقدم که به نام گراف مغایرت و گراف توالی پذیر شناخته می شود، در زمینه کنترل همزمانی در پایگاه داده مورد استفاده قرار می گیرد.
یک گره برای هر یال جهت دار در S
یک قوس از Tj به Ti اگر یک عمل از Tمن قبل و درگیری با یکی از Tj's اقدامات است.
گراف تقدم برای برنامه S شامل:
گراف تقدم برنامه D با ۳ یال وجود دارد. به عنوان یک چرخه (۲ یال؛ با دو جهت متفاوت) از راس T1 و T2 است. رقابتی سریالی نیست.توجه کنید که یال های جهت دار به این دو راس به معنی ایجاد یک گراف تقدم نیست.
الگوریتم برای تست توالی پذیری برنامه S همراه با یک برنامه مثال.