एक डेटाबेस प्रणाली में विशिष्ट टाइमस्टैम्प को लैम्पोर्ट के तार्किक कालद का उपयोग करके प्रत्येक लेनदेन के लिए निर्दिष्ट किया जाता है। मान लीजिए TS(T1) और TS(T2) क्रमशः लेनदेन T1 और T2 के टाइमस्टैम्प हैं। इसके अलावा, T1 संसाधन R पर लॉक को रोकता है और T2 समान संसाधन R पर असंगत लॉक का अनुरोध करता है। निम्नलिखित एल्गोरिथ्म का प्रयोग डेटाबेस प्रणाली में गतिरोध को रोकने के लिए किया जाता है, मान लीजिए कि समाप्त लेनदेन को समान टाइमस्टैम्प के साथ पुनःप्रारंभ किया जाता है। 

यदि TS(T2) < TS(T1) है, तो 

T1 समाप्त हो जाता है

अन्यथा T2 प्रतीक्षा करता है।

मान लीजिए किसी ऐसे लेनदेन को लेते हैं जो समाप्त नहीं हुआ है, उसे अंतिम में हटा दिया जाता है। निम्नलिखित में से कौन-सा उस डेटाबेस प्रणाली के बारे में सत्य है जो गतिरोध को रोकने के लिए उपरोक्त एल्गोरिथ्म का उपयोग करता है?