Conflict$-$Serializable

Write a function, named is$\_$conflict$\_$serializable that takes a schedule $($see previous problem$),$ and returns true if the schedule is conflict$-$serializable.

test cases:

import sqlite$3$

import unittest

from pprint import pprint

import sys

import os

sys$.$path.append$("/$home$/$codio$/$workspace$/$student$\_$code$/")$

from conflict$\_$serializable import is$\_$conflict$\_$serializable

class Action:

def $\_\_$init$\_\_($self$,$ object$\_,$ transaction, is$\_$write$)$:

self.object$\_=$ object$\_$

self.transaction $=$ transaction

self.is$\_$write $=$ is$\_$write

def $\_\_$str$\_\_($self$)$:

return f$"$Action$(\{$self$.$object$\_\},\{$self$.$transaction$\},\{$self$.$is$\_$write$\})"$

$\_\_$repr$\_\_=\_\_$str$\_\_$

class TestConflictSerializable$($unittest$.$TestCase$)$:

def test$\_$visible$\_1($self$)$:

actions $=[$

Action$($object$\_="$A$",$ transaction$="$T$2",$ is$\_$write$=$False$),$

Action$($object$\_="$B$",$ transaction$="$T$1",$ is$\_$write$=$False$),$

Action$($object$\_="$A$",$ transaction$="$T$2",$ is$\_$write$=$True$),$

Action$($object$\_="$A$",$ transaction$="$T$3",$ is$\_$write$=$False$),$

Action$($object$\_="$B$",$ transaction$="$T$1",$ is$\_$write$=$True$),$

Action$($object$\_="$A$",$ transaction$="$T$3",$ is$\_$write$=$True$),$

Action$($object$\_="$B$",$ transaction$="$T$2",$ is$\_$write$=$False$),$

Action$($object$\_="$B$",$ transaction$="$T$2",$ is$\_$write$=$True$),$

$]$

print$("$Actions:$")$

pprint$($actions$)$

result $=$ is$\_$conflict$\_$serializable$($actions$)$

print$($f$"$Result $=\{$result$\}")$

expected $=$ True

print$($f$"$Expected $=\{$expected$\}")$

assert expected $==$ result

def test$\_$visible$\_2($self$)$:

actions $=[$

Action$($object$\_="$A$",$ transaction$="$T$2",$ is$\_$write$=$False$),$

Action$($object$\_="$B$",$ transaction$="$T$1",$ is$\_$write$=$False$),$

Action$($object$\_="$A$",$ transaction$="$T$2",$ is$\_$write$=$True$),$

Action$($object$\_="$A$",$ transaction$="$T$3",$ is$\_$write$=$False$),$

Action$($object$\_="$B$",$ transaction$="$T$1",$ is$\_$write$=$True$),$

Action$($object$\_="$A$",$ transaction$="$T$3",$ is$\_$write$=$True$),$

Action$($object$\_="$B$",$ transaction$="$T$2",$ is$\_$write$=$False$),$

Action$($object$\_="$B$",$ transaction$="$T$1",$ is$\_$write$=$True$),$

Action$($object$\_="$B$",$ transaction$="$T$2",$ is$\_$write$=$True$),$

$]$

print$("$Actions:$")$

pprint$($actions$)$

result $=$ is$\_$conflict$\_$serializable$($actions$)$

print$($f$"$Result $=\{$result$\}")$

expected $=$ False

print$($f$"$Expected $=\{$expected$\}")$

assert expected $==$ result

def test$\_$hidden$($self$)$:

actions $=[$

Action$($object$\_="$A$",$ transaction$="$T$2",$ is$\_$write$=$False$),$

Action$($object$\_="$B$",$ transaction$="$T$1",$ is$\_$write$=$False$),$

Action$($object$\_="$A$",$ transaction$="$T$2",$ is$\_$write$=$True$),$

Action$($object$\_="$A$",$ transaction$="$T$3",$ is$\_$write$=$False$),$

Action$($object$\_="$B$",$ transaction$="$T$1",$ is$\_$write$=$True$),$

Action$($object$\_="$A$",$ transaction$="$T$3",$ is$\_$write$=$True$),$

Action$($object$\_="$B$",$ transaction$="$T$2",$ is$\_$write$=$False$),$

Action$($object$\_="$B$",$ transaction$="$T$1",$ is$\_$write$=$False$),$

Action$($object$\_="$B$",$ transaction$="$T$2",$ is$\_$write$=$True$),$

$]$

assert is$\_$conflict$\_$serializable$($actions$)$

actions $=[$

Action$($object$\_="$A$",$ transaction$="$T$2",$ is$\_$write$=$False$),$

Action$($object$\_="$B$",$ transaction$="$T$1",$ is$\_$write$=$False$),$

Action$($object$\_="$A$",$ transaction$="$T$3",$ is$\_$write$=$False$),$

Action$($object$\_="$A$",$ transaction$="$T$2",$ is$\_$write$=$True$),$

Action$($object$\_="$A$",$ transaction$="$T$3",$ is$\_$write$=$False$),$

Action$($object$\_="$B$",$ transaction$="$T$1",$ is$\_$write$=$True$),$

Action$($object$\_="$A$",$ transaction$="$T$3",$ is$\_$write$=$True$),$

Action$($object$\_="$B$",$ transaction$="$T$2",$ is$\_$write$=$False$),$

Action$($object$\_="$B$",$ transaction$="$T$1",$ is$\_$write$=$False$),$

Action$($object$\_="$B$",$ transaction$="$T$2",$ is$\_$write$=$True$),$

$]$

assert not is$\_$conflict$\_$serializable$($actions$)$

if $\_\_$name$\_\_==\text{'}\_\_$main$\_\_\text{'}$:

unittest.main$()$