SlideShare a Scribd company logo
1 of 9
Протоколы и расписания
Формальная модель транзакций ,[object Object],[object Object],[object Object],[object Object]
Модели транзакций
Расписание транзакций
Алгоритм. Проверка сериализуемости расписания. ,[object Object],[object Object],[object Object]
Граф предшествований для расписания представленного на слайде 4
Протокол, гарантирующий сериализуемость ,[object Object]
Модели с блокировками для чтения и записи  ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Матрица совместимости транзакций в модели для чтения и записи

More Related Content

What's hot

Symfony(keremet research)
Symfony(keremet research)Symfony(keremet research)
Symfony(keremet research)Alex Polorotov
 
Функциональное программирование и Clojure
Функциональное программирование и ClojureФункциональное программирование и Clojure
Функциональное программирование и ClojureAnjLab
 
Нормальные формы для формул алгебры высказываний. Совершенные нормальные формы
Нормальные формы для формул алгебры высказываний. Совершенные нормальные формыНормальные формы для формул алгебры высказываний. Совершенные нормальные формы
Нормальные формы для формул алгебры высказываний. Совершенные нормальные формыИльдус Ситдиков
 
Сложные условия в паскале
Сложные условия в паскалеСложные условия в паскале
Сложные условия в паскалеDaria Romanova
 
Теория. Сложные условия в операторе сравнения
Теория. Сложные условия в операторе сравненияТеория. Сложные условия в операторе сравнения
Теория. Сложные условия в операторе сравненияAlexandr Grigorenko
 
ветвление
ветвлениеветвление
ветвлениеisva69
 
лекция №4и
лекция №4илекция №4и
лекция №4иstudent_kai
 
А.Власов. "Нижнеуровневая масштабируемая реализация ISO15926"
А.Власов. "Нижнеуровневая масштабируемая реализация ISO15926"А.Власов. "Нижнеуровневая масштабируемая реализация ISO15926"
А.Власов. "Нижнеуровневая масштабируемая реализация ISO15926"Anatoly Levenchuk
 
практика 2
практика 2практика 2
практика 2student_kai
 
Илья Космодемьянский, PostgreSQL-Consulting.com. «Pragma autonomous transaction»
Илья Космодемьянский, PostgreSQL-Consulting.com. «Pragma autonomous transaction»Илья Космодемьянский, PostgreSQL-Consulting.com. «Pragma autonomous transaction»
Илья Космодемьянский, PostgreSQL-Consulting.com. «Pragma autonomous transaction»Mail.ru Group
 
теория рекурсивных функций
теория рекурсивных функцийтеория рекурсивных функций
теория рекурсивных функцийMariya_Lastochkina
 
ветвление.условный оператор.циклы
ветвление.условный оператор.циклыветвление.условный оператор.циклы
ветвление.условный оператор.циклыdasha2012
 
scanf(). Операторы ветвления. Тернарный оператор. switch
scanf(). Операторы ветвления. Тернарный оператор. switchscanf(). Операторы ветвления. Тернарный оператор. switch
scanf(). Операторы ветвления. Тернарный оператор. switchIhor Porotikov
 

What's hot (17)

Symfony(keremet research)
Symfony(keremet research)Symfony(keremet research)
Symfony(keremet research)
 
Функциональное программирование и Clojure
Функциональное программирование и ClojureФункциональное программирование и Clojure
Функциональное программирование и Clojure
 
Нормальные формы для формул алгебры высказываний. Совершенные нормальные формы
Нормальные формы для формул алгебры высказываний. Совершенные нормальные формыНормальные формы для формул алгебры высказываний. Совершенные нормальные формы
Нормальные формы для формул алгебры высказываний. Совершенные нормальные формы
 
Сложные условия в паскале
Сложные условия в паскалеСложные условия в паскале
Сложные условия в паскале
 
Теория. Сложные условия в операторе сравнения
Теория. Сложные условия в операторе сравненияТеория. Сложные условия в операторе сравнения
Теория. Сложные условия в операторе сравнения
 
лекция 2
лекция 2лекция 2
лекция 2
 
ветвление
ветвлениеветвление
ветвление
 
лекция №4и
лекция №4илекция №4и
лекция №4и
 
Применение модели GOMS
Применение модели GOMSПрименение модели GOMS
Применение модели GOMS
 
4 algoritm
4 algoritm4 algoritm
4 algoritm
 
А.Власов. "Нижнеуровневая масштабируемая реализация ISO15926"
А.Власов. "Нижнеуровневая масштабируемая реализация ISO15926"А.Власов. "Нижнеуровневая масштабируемая реализация ISO15926"
А.Власов. "Нижнеуровневая масштабируемая реализация ISO15926"
 
практика 2
практика 2практика 2
практика 2
 
Java. Циклы.
Java. Циклы.Java. Циклы.
Java. Циклы.
 
Илья Космодемьянский, PostgreSQL-Consulting.com. «Pragma autonomous transaction»
Илья Космодемьянский, PostgreSQL-Consulting.com. «Pragma autonomous transaction»Илья Космодемьянский, PostgreSQL-Consulting.com. «Pragma autonomous transaction»
Илья Космодемьянский, PostgreSQL-Consulting.com. «Pragma autonomous transaction»
 
теория рекурсивных функций
теория рекурсивных функцийтеория рекурсивных функций
теория рекурсивных функций
 
ветвление.условный оператор.циклы
ветвление.условный оператор.циклыветвление.условный оператор.циклы
ветвление.условный оператор.циклы
 
scanf(). Операторы ветвления. Тернарный оператор. switch
scanf(). Операторы ветвления. Тернарный оператор. switchscanf(). Операторы ветвления. Тернарный оператор. switch
scanf(). Операторы ветвления. Тернарный оператор. switch
 

Viewers also liked

лабораторная работа № 4
лабораторная работа № 4лабораторная работа № 4
лабораторная работа № 4Gulnaz Shakirova
 
презентация лр № 4 091214 v1
презентация лр № 4 091214 v1презентация лр № 4 091214 v1
презентация лр № 4 091214 v1Gulnaz Shakirova
 
лекция 8 арифметические операции информатика
лекция 8 арифметические операции информатикалекция 8 арифметические операции информатика
лекция 8 арифметические операции информатикаGulnaz Shakirova
 
лабораторная работа № 8
лабораторная работа № 8лабораторная работа № 8
лабораторная работа № 8Gulnaz Shakirova
 
лабораторная работа №1
лабораторная работа №1лабораторная работа №1
лабораторная работа №1Gulnaz Shakirova
 
през лекц 2-7_канал_091214_v1
през лекц 2-7_канал_091214_v1през лекц 2-7_канал_091214_v1
през лекц 2-7_канал_091214_v1Gulnaz Shakirova
 
лекция 8 арифметические операции информатика
лекция 8 арифметические операции информатикалекция 8 арифметические операции информатика
лекция 8 арифметические операции информатикаGulnaz Shakirova
 
лабораторная работа №8
лабораторная работа №8лабораторная работа №8
лабораторная работа №8Gulnaz Shakirova
 

Viewers also liked (19)

лабораторная работа № 4
лабораторная работа № 4лабораторная работа № 4
лабораторная работа № 4
 
презентация лр № 4 091214 v1
презентация лр № 4 091214 v1презентация лр № 4 091214 v1
презентация лр № 4 091214 v1
 
лекция 8 арифметические операции информатика
лекция 8 арифметические операции информатикалекция 8 арифметические операции информатика
лекция 8 арифметические операции информатика
 
презентация8
презентация8презентация8
презентация8
 
лабраб 3
лабраб 3лабраб 3
лабраб 3
 
лабораторная работа № 8
лабораторная работа № 8лабораторная работа № 8
лабораторная работа № 8
 
лекц1
лекц1лекц1
лекц1
 
лабораторная работа №1
лабораторная работа №1лабораторная работа №1
лабораторная работа №1
 
лекция 8
лекция 8лекция 8
лекция 8
 
лабраб 2
лабраб 2лабраб 2
лабраб 2
 
лекция № 2
лекция № 2лекция № 2
лекция № 2
 
презентация2
презентация2презентация2
презентация2
 
презентация6
презентация6презентация6
презентация6
 
през лекц 2-7_канал_091214_v1
през лекц 2-7_канал_091214_v1през лекц 2-7_канал_091214_v1
през лекц 2-7_канал_091214_v1
 
лекция 8 арифметические операции информатика
лекция 8 арифметические операции информатикалекция 8 арифметические операции информатика
лекция 8 арифметические операции информатика
 
лабораторная работа №8
лабораторная работа №8лабораторная работа №8
лабораторная работа №8
 
лекция № 10
лекция № 10лекция № 10
лекция № 10
 
лаб работа 1 1
лаб работа 1 1лаб работа 1 1
лаб работа 1 1
 
слайды лаб 1 1
слайды лаб 1 1слайды лаб 1 1
слайды лаб 1 1
 

More from Gulnaz Shakirova (20)

лекция1
лекция1лекция1
лекция1
 
слайды курса
слайды курсаслайды курса
слайды курса
 
зис презентация метод реком по практике
зис презентация метод реком по практикезис презентация метод реком по практике
зис презентация метод реком по практике
 
зис презентация метод реком по практике
зис презентация метод реком по практикезис презентация метод реком по практике
зис презентация метод реком по практике
 
лекция 17
лекция 17лекция 17
лекция 17
 
лекция 16
лекция 16лекция 16
лекция 16
 
лекция 15
лекция 15лекция 15
лекция 15
 
лекция 14
лекция 14лекция 14
лекция 14
 
лекция 13
лекция 13лекция 13
лекция 13
 
лекция 12
лекция 12лекция 12
лекция 12
 
лекция 11
лекция 11лекция 11
лекция 11
 
лекция 10
лекция 10лекция 10
лекция 10
 
лекция 9
лекция 9лекция 9
лекция 9
 
лекция 8
лекция 8лекция 8
лекция 8
 
лекция 8
лекция 8лекция 8
лекция 8
 
лекция 7
лекция 7лекция 7
лекция 7
 
лекция 6
лекция 6лекция 6
лекция 6
 
лекция 5
лекция 5лекция 5
лекция 5
 
лекция 4
лекция 4лекция 4
лекция 4
 
лекция 3
лекция 3лекция 3
лекция 3
 

лекц7