eth-janishutz/eth-summaries
1
0
Fork 0
mirror of https://github.com/janishutz/eth-summaries.git synced 2026-09-10 19:15:25 +02:00
Code Issues Packages Projects Releases Wiki Activity

[DMDB] Fix error on CS history

Browse Source
This commit is contained in:
janishutz
2026-08-15 15:52:18 +02:00
parent dd807b8cbd
commit 5de6b376ae
2 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
semester4/dmdb/data-modelling-databases-summary.pdf
BIN
View File
Binary file not shown.
semester4/dmdb/parts/05_concurrency-control-recovery/03_concurrency-control.tex
+1 -1
View File
@@ -16,7 +16,7 @@ and leaves the DB in a consistent state.
\inlinedefinition[(Conflict) Serializable History] A history is serializable if and only it is equivalent to a serial history. \inlinedefinition[(Conflict) Serializable History] A history is serializable if and only it is equivalent to a serial history.
A very simple way to check this is that a history is not CS if there are conflicting operations. A history is guaranteed to \textit{not} be CS if there are conflicting operations as defined on the previous page.
\inlinetheorem[Serializability] A history is serializable if and only if its serializability graph is acyclic. \inlinetheorem[Serializability] A history is serializable if and only if its serializability graph is acyclic.
The seerializabililty graph is constructed from the history graph as follows: The seerializabililty graph is constructed from the history graph as follows: