Система запросов «Реляционное исчисление кортежей»
DESCRIPTION
Система запросов «Реляционное исчисление кортежей». Исчисле́ние Лат. calculus — небольшой камешек, используемый для подсчёта. Система запросов «Реляционное исчисление кортежей». Система запросов «Реляционное исчисление кортежей». Выражение реляционного исчисления кортежей. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/1.jpg)
Система запросов«Реляционное исчислениекортежей»
![Page 2: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/2.jpg)
Исчисле́�ние́ Лат. calculus — не́большой
каме́ше́к, используе́мый для подсчёта.
![Page 3: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/3.jpg)
Систе́ма запросов «Ре́ляционное́ исчисле́ние́ корте́же́й»
![Page 4: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/4.jpg)
Систе́ма запросов «Ре́ляционное́ исчисле́ние́ корте́же́й»
![Page 5: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/5.jpg)
Выраже́ние́ ре́ляционного исчисле́ния корте́же́й
x – переменная TCf – предикат
{x(R) | f(x)} – выражение TC, если:
1. f(x) разрешена над TC2. x – единственная переменная в f(x), имеющая свободный тип
вхождения3. R ⊆ U 4. Если type(x, f) определен, то type(x, f) = R, иначе R ⊇
men(f,x)
![Page 6: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/6.jpg)
Выраже́ние́ ре́ляционного исчисле́ния корте́же́й
Отношение, определяемое выражением TC:
r(R) = {t(R) : f(t) ≡ true}
type(x, f) – тип переменной x в формуле f men(f, x) – множество ссылок переменной x в
формуле f
![Page 7: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/7.jpg)
Формула ре́ляционного исчисле́ния корте́же́й
![Page 8: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/8.jpg)
Формула ре́ляционного исчисле́ния корте́же́й
![Page 9: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/9.jpg)
Формула ре́ляционного исчисле́ния корте́же́й
II. Формула
![Page 10: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/10.jpg)
Формула ре́ляционного исчисле́ния корте́же́й
II. Формула
ПримечаниеДопускается следующий вариант записи формул:Qx(R)∈r(f) x – переменный кортеж, f ∍ x – формула, r ∈ d – отношение, R ⊆ U, Q – квантор
![Page 11: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/11.jpg)
Разре́ше́нная формула ре́ляционного исчисле́ния корте́же́й
![Page 12: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/12.jpg)
Разре́ше́нная формула ре́ляционного исчисле́ния корте́же́й
II. Формула g – разрешенная формула
1. f = ¬g ⇨ f – разрешена типы вхождения переменных в f, а также типы и множества ссылок, сохраняются по сравнению с типами вхождения переменных в g type(x, f) = type(x, g), men(x, f) = men(x, g)
![Page 13: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/13.jpg)
Разре́ше́нная формула ре́ляционного исчисле́ния корте́же́й
II. Формула g, h – разрешенные формулы
2. f = g ∧ h ⇨ f – разрешена типы вхождения переменных в f сохраняются по сравнению с типами вхождения переменных в g type(x, f) = type(x, g) = type(x, h), если определены type(x, g) и type(x, h) type(x, f) = type(x, g), если определен type(x, g), но не определен type(x, h); men(x, h) type(x, g) men(x, f) = men(x, g) men(x, h), если не определены type(x, g) и type(x, h)
![Page 14: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/14.jpg)
Разре́ше́нная формула ре́ляционного исчисле́ния корте́же́й
II. Формула g, h – разрешенные формулы
3. f = g ∨ h ⇨ f – разрешена типы вхождения переменных в f сохраняются по сравнению с типами вхождения переменных в g type(x, f) = type(x, g) = type(x, h), если определены type(x, g) и type(x, h) type(x, f) = type(x, g), если определен type(x, g), но не определен type(x, h); men(x, h) type(x, g) men(x, f) = men(x, g) men(x, h), если не определены type(x, g) и type(x, h)
![Page 15: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/15.jpg)
Разре́ше́нная формула ре́ляционного исчисле́ния корте́же́й
II. Формула g – разрешенная формула
4. f = ∃x(R)g f разрешена, если тип вхождения х в g – свободный, type(x, g) = R (если type(x, g) определен в g) или men(x, g) R
тип вхождения х в g – связанный ⇨ type(x, f) и men(x, f) не определены типы вхождения переменных, ≠ х, в f сохраняются
по сравнению с типами вхождения переменных в g
![Page 16: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/16.jpg)
Разре́ше́нная формула ре́ляционного исчисле́ния корте́же́й
II. Формула g – разрешенная формула
5. f = ∀x(R)g f разрешена, если тип вхождения х в g – свободный, type(x, g) = R (если type(x, g) определен в g) или men(x, g) R тип вхождения х в g – связанный ⇨ type(x, f) и men(x, f) не определены типы вхождения переменных, ≠ х, в f сохраняются по
сравнению с типами вхождения переменных в g
![Page 17: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/17.jpg)
Разре́ше́нная формула ре́ляционного исчисле́ния корте́же́й
II. Формула g – разрешенная формула
6. f = (g) ⇨ f – разрешена типы вхождения переменных в f, а также типы и множества ссылок, сохраняются по сравнению с типами вхождения переменных в g type(x, f) = type(x, g), men(x, f) = men(x, g)
![Page 18: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/18.jpg)
Значе́ние́ выраже́ния ре́ляционного исчисле́ния корте́же́й:
Подстановкаf(x) – разрешенная формулаtype(x, f) = R, R⊆U, или men(x, f)⊆Rf(t/x) – подстановка кортежа t вместо переменной x, определяемая модификацией ∀ атома, содержащего свободное вхождение х в f по правилам:
![Page 19: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/19.jpg)
Значе́ние́ выраже́ния ре́ляционного исчисле́ния корте́же́й:
Подстановка
![Page 20: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/20.jpg)
Значе́ние́ выраже́ния ре́ляционного исчисле́ния корте́же́й
Интерпретация f(x) – разрешенная формула ∄ свободных переменных в f I(f) – интерпретация формулы f
1. f = true ⇨ I(f) = true f = false ⇨ I(f) = false2. f = ¬g, в g ∄ свободных переменных I(f) = true, если I(g) = false I(f) = false, если I(g) = true
![Page 21: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/21.jpg)
Значе́ние́ выраже́ния ре́ляционного исчисле́ния корте́же́й
Интерпретация f(x) – разрешенная формула ∄ свободных переменных в f I(f) – интерпретация формулы f
3. f = g ∧ h, в g и h ∄ свободных переменных I(f) = true, если I(g) = true и I(h) = true, иначе I(f) = false
4. f = g ∨ h, в g и h ∄ свободных переменных I(f) = false, если I(g) = false и I(h) = false, иначе I(f) = true
![Page 22: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/22.jpg)
Значе́ние́ выраже́ния ре́ляционного исчисле́ния корте́же́й
Интерпретация f(x) – разрешенная формула ∄ свободных переменных в f I(f) – интерпретация формулы f
5. f = ∃x(R)g, х – единственная свободная переменная в g
I(f) = true, если ∃ t ∈ dom(R) : I(g(t/x)) = true, иначе I(f) = false6. f = ∀x(R)g, х – единственная свободная переменная в g I(f) = true, если ∀ t ∈ dom(R) I(g(t/x)) = true, иначе I(f) = false
5. f = (g) ⇨ I(f) = I(g)
![Page 23: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/23.jpg)
Значе́ние́ выраже́ния ре́ляционного исчисле́ния корте́же́й
![Page 24: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/24.jpg)
Ре́ляционное́ исчисле́ние́ корте́же́й:приме́р
r(R), R = {“№ студ. билета“, “Фамилия“, “Группа“}Задание:Получить фамилии всех студентов, обучающихся в группе 2232
![Page 25: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/25.jpg)
{x(“Фамилия“) | y(R) (r(y) x(∃ ∧ “Фамилия“) = y(“Фамилия“) y(∧ “Группа“) = 2232)}
{x(“Фамилия“) | y(R) ∃ ∈ r (x(“Фамилия“) = y(“Фамилия“) y(∧ “Группа“) = 2232)}
Ре́ляционное́ исчисле́ние́ корте́же́й:приме́р
![Page 26: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/26.jpg)
Ре́ляционное́ исчисле́ние́ корте́же́й:приме́р
![Page 27: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/27.jpg)
Ре́ляционное́ исчисле́ние́ корте́же́й:приме́р
![Page 28: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/28.jpg)
Ре́ляционное́ исчисле́ние́ корте́же́й:приме́р
![Page 29: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/29.jpg)
Ре́ляционное́ исчисле́ние́ корте́же́й:приме́р
![Page 30: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/30.jpg)
Ре́ляционное́ исчисле́ние́ корте́же́й:приме́р
![Page 31: Система запросов «Реляционное исчисление кортежей»](https://reader036.vdocuments.site/reader036/viewer/2022062309/56814cfe550346895dba2271/html5/thumbnails/31.jpg)
Заключе́ние́
• Система запросов «Реляционное исчисление кортежей»
ВыражениеРазрешенность формулЗначение выражения
• Пример составления выражения и нахождения его значения