So, earlier I say in a moment what a read set is, but let me just write this, now the read set of is disjoint with disjoint with write set of . If either of this condition is true, then the validation passes, so if anyone is true any of this condition is true, then validation phase says yes the validation is yes otherwise it is no.
కాబట్టి, ఇంతకుముందు నేను ఒక క్షణంలో రీడ్ సెట్ అంటే ఏమిటో చెబుతాను, కానీ నేను దీనిని వ్రాస్తాను, ఇప్పుడు రీడ్ సెట్ యొక్క అసంతృప్తితో వ్రాయబడిన సెట్ వ్రాయబడింది ఒకవేళ ఈ షరతులో ఏవైనా నిజం అయితే, ధ్రువీకరణ పాస్ అవుతుంది, కాబట్టి ఎవరైనా నిజమైతే ఈ షరతు ఏదైనా నిజం అయితే, ధ్రువీకరణ దశ అవును అని ధ్రువీకరణ అవును, లేకపోతే అది కాదు.