Mathjax correction
This commit is contained in:
parent
05b143ac2f
commit
4a9c7219f5
1 changed files with 4 additions and 4 deletions
|
@ -156,7 +156,7 @@ Les instructions notées \\(t_x\\) et \\(t_y\\) des transactions \\(T_x\\) et
|
|||
* sont **en conflit** si l'une des deux (ou les deux) accède à \\(Q\\)en
|
||||
écriture
|
||||
|
||||
Si notre ordonnancement \\(O_n\\) peut-être transformé en \\(O_n^'\\) par une
|
||||
série de remplacement d'instructions non conflictuelle alors \\(O_n\\) et
|
||||
\\(O_n^'\\) sont dit **c-équivalent**. \\(O_n\\) est c-sérialisable s'il est
|
||||
c-équivalent à un ordonnancement en série.
|
||||
Si notre ordonnancement \\(O_n\\) peut-être transformé en \\(O_n^\text{'}\\) par
|
||||
une série de remplacement d'instructions non conflictuelle alors \\(O_n\\) et
|
||||
\\(O_n^\text{'}\\) sont dit **c-équivalent**. \\(O_n\\) est c-sérialisable s'il
|
||||
est c-équivalent à un ordonnancement en série.
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue