Академический Документы
Профессиональный Документы
Культура Документы
md
Множество:
1. совокупность элементов A={1,2,4}
2. не упорядоченность A = {4,2,1}
3. уникальность элементов ∀ x ∈ A , x ∈ℕ
4. однотипность элементов A
5. множество имеет имя B = {}, A -конечное множество конечное множество
6. множество может быть пустым {}
7. может быть конечным C={2 x∣x ∈ℕ}
8. может быть бесконечным card A = 3, |A| = 3 — арность
Операции:
A = {0,3,7,4,5}
B = {1,8,7,9,5}
C = {2,6}
1. Объединение A∪B={0,3,7,4,5,1,8,9}
2. Пересечение A∩B={7,5}
3. Разность A ∖ B={0,3,4 }, B∖ A={1,8,9}
A (10) ={1,2,6,8,9}, B(10 )={0,2,3,4,6}
4. Отрицание/ Дополнение
6 (9−6)=3, 5=4 , 5(8 )=2
Применительно к бд операция активного дополнения (исключает бесконечные множества)
5. Декартово произведение
A×C={(0,2) ,(0,6)(3,2) ,(3,6) ,(7,2) ,(7,6),(4,2) ,( 4,6),(5,2) ,(5,6)}
Цель создания бд -конечное множество данные сохраняются в целостности , коренными , чтобы была
возможность многопользовательского доступа, возможность использования данных путем их
автоматического нахождения по разным критериям.
При создании бд решаются следующие задачи:
1. сокращаются объем памяти сохраняемыми данными (не избыточность )
2. Ускоряется доступ к данным (индексация)
3. Обеспечивается уникальность данных
4.точные отражение в бд всех связей между объектами финономами объектами процесса
реального времени
5. обеспечение возможности изменять структуру данных без изменение приложений
Крисс Дэйте
dom(A) = {1,2,3}
dom(Фамилия) = {Дога,Агаки,Черней}
dom(Группа) = {ti-конечное множество 165,ti-конечное множество 164}
Студенты = {Фамилия,Имя,№,Ср.бал,Группа}
r A B C
a1 b1 c1
a2 b2 c2
c A B C
t1 a1 b1 c1
t2 a2 b2 c2
r — отношение r
R — сехма таблица r
Кортеж — множество пар вида имя атрибута:значение атрибута, которое содержит одно
вхождение каждого имени атрибута.
Полная форма:
t2 = < (Фамилия:Агаки), (Имя:Татьяна),(№:131573),(ср.бал:9,2),(группа:ti-конечное множество 165)>
s A атрибут B C D
T1 кортеж a1 b1 c1 d1
a2 b2 c2 d2
a3 b3 c3 d3
dom(A) = {a1,a2,a3}
S={A,B,C,D}
|S| = 4
t1 = <a1,b1,c1,d1>
t1 = <(A:a1),(B:b1),(C:c1),(D:d1)>
adom(C) = {c1,c2,c3}
dom(C) = {c1,c2,c3,ci…,cn}
n = 1..1000
r D первичный ключ E F
d1 e1 f1
d2 e2 f2
d3 e3 f3
d4 e2 f1
K = {D,EF}
SK = {DE,DF,DEF}
Типы Связи
Связь 1 ко многом сама часто используемая связь в бд он получается естественным способом
при декомпозиции отношений в процессе (нормализации) в бд.
Связь 1 к 1 создается искусственно пользователями в любое время ее можно убрать соединив
вместе связующие отношения, эта связь не может получиться в процессе проектирования.
Связь многие ко многим существует теоретически в своем непосредственном виде однако на
практике она создается с помощью 2 связей 1 ко многим в этом случае появляется 3
связующее отношение.
Связь многие ко многим может получиться в результате проектировании (нормализации).
Один ко многим в этой связи обычно связующие атрибуты являются одноименными если
связь получена в результате проектирование однако возможна ситуация когда связующие
атрибуты разноименные такую связь может создать пользователь однако она не появляется
естественным образом.
Участвуя в связи 1 ко многим можно соединить однако при этом может появится
избыточность и как следствие аномалии в работе в бд.
При связи 1 ко многим оному значению связующего атрибута со стороны 1 могут
соответствовать: дно, несколько или не одно значение связующего атрибута со стороны
многие.
Отсутствие значения для каково то атрибута в кортеже называется NULL значением которое
посуте означает не нулевое, а отсутствие значения.
По умолчанию атрибуты могут принимать NULL значение.
При создании таблиц и определение атрибутов можно принудительно запретить атрибутом
принимать NULL значение, при этом прописывается NOT NULL. Ключевые атрибуты по
умолчанию не могут принимать NULL значения иначе они не могли бы выступать в
качествен уникального идентификатора.
Данное ограничение недопустимости NULL значение для ключей называется ограничение
сущности.
add(r,a1,b1,c1,A,B,C)
change(r,a1,b1,c1,a11,b11,c11,A,B,C)
del(r,a1,b1,c1,A,B,C)
Причины неудач при выполнение операций для операции ввода
1. несоответствие домена
2. нарушение ограничений целостности для данного атрибута null,check, нарушение
ссылочный целостности, нарушение целостности сущности
Активное дополнение
r A B C
a1 b1 c1
a2 b2 c2
a3 b2 c3
adom(A) = {a1,a2}
adom(B) = {b1,b2}
adom(C) = {c1,c2}
atup(r) A B C
a1 b1 c1
a1 b1 c2
a1 b2 c1
a1 b2 c2
a2 b2 c1
a2 b1 c2
a2 b2 c1
a2 b2 c2
~r A B C
a1 b2 c2
a1 b2 c1
a1 b2 c2
a2 b1 c2
a2 b2 c1
Эта операция реально может быть выполнена, для данной операции нет своего оператора.
X = AB
tr[AB] = <a2,b1>
ПAB(r) A B
a1 b1
a2 b1
a2 b2
Операция селекция
горизонтальная выборка или ограничение
r(ABC)
Пa ( r ) -конечное множество проекция
dom(A) ={a1,a2,a3...an}
adom(A)={a1,a2,a3}
Пa ( r ) A
a1
a2
a3
ПA ( ϭA=a1 ( r ) )
ПA ( ϭA=a1 ( r ) ) A
a1
adom(B)={b1,b2}
ПB ( r )
ПB ( r ) B
b1
b1
ϭB=b2 ( r )
r A B C
a1 b1
a2 b2
a3 b2
П ∅ ( r)−?
r D E F
d1 e1 f1
d2 e1 f2
d2 e2 f3
d3 e3 f3
ϭF ( r )
1. G=D⊖E
2. H=G⊖d
3. N = G ɣ H
ɣ = {˅ или ,˄ и ,˥}}
?⊖?=¿ ,≠,<,>,≤,≥¿ ¿
ϭE<>F
D E F
d1 e1 f1
d2 e2 f2
d3 e3 f3
Ϭ(r)=r
ϭ D≠d (∅)
ϭ ( r )
D = d2 ˅ E <> e1
D E F
d2 1 1
Объединение
r A B C
a1 b1 c1
a2 b2 c2
a3 b3 c3
a1 b2 c3
s A B C
a1 b1 c1
a3 b3 c3
a4 b4 c4
a1 b1 c3
Объединение удаляются
1. r∪s
A B C
a1 b1 c1
a2 b2 c2
a3 b3 c3
a1 b2 c3
a4 b4 c4
a1 b1 c3
2. r∩s
A B C
a1 b1 c1
a3 b3 c2
r\s
A B C
a2 b2 c2
a1 b2 c3
s\r
A B C
a4 b4 c4
a1 b1 c3
Естественное соединение
►◄
t[R] = tr
t[S] = ts
r A B C
a1 b1 c1
a2 b2 c2
a3 b3 c3
a4 b5 c5
s C D
c1 d1
c2 d2
c3 d3
c4 d4
r►◄s
A B C D
a1 b1 c1 d1
a2 b2 c2 d2
a2 b2 c2 d3
a3 b3 c3 d3
Если кортежи ts и tr имеют равные значения для R∩S они называются соединяемые в
противном не соединяемые
Операции:
Полу соединение — она похоже на естественное соединение в результат входят кортежи
только из первого отношения.
|><
Внешнее соединение — суть операции соединить естественным соединением и не терять не
соединяемые отношения
r o|><| s left
r |><|o s right
r |>o<| s full
r o|><| s A B C D
a1 b1 c1 d1
a2 b2 c2 d2
a2 b2 c2 d3
a3 b3 c3 d3
a4 b5 c6 null
r |><|o s A B C D
a1 b1 c1 d1
a2 b2 c2 d2
a2 b2 c2 d3
a3 b3 c3 d3
null null c4 d4
r |>o<| s A B C D
a1 b1 c1 d1
a2 b2 c2 d2
a2 b2 c2 d3
a3 b3 c3 d3
a4 b5 c6 null
null null c4 d4
Атест
выражение реляционной алгебры
ограничение,(связи ключи)
реляционная структура
sch(E)
E-конечное множество const
sch(E) = sch( r ) = R
Если E является каким то выражением то
E 1∪E 2
E 1∩E 2
E 1∖E 2
S A B C
a1 b1 c1
a2 b2 c2
a2 b1 c2
~s = atup(S) \ S
~s A B C
a1 b1 c2
a1 b2 c1
a1 b2 c2
a2 b2 c1
r\~s A B C
a1 b1 c1
П(AB)(r \ ~s) A B
a1 b1
r∪s A B C
! a1 b1 c1
a2 b2 c2
! a2 b1 c2
a2 b2 c1
! a1 b2 c2
Ϭ (A =a 1∨B≠b 2 (r ∪s))
ϭ A B C
a1 b1 c1
a2 b1 c2
a1 b2 c2
SQL
SEQUEL
STRUCTURED
ENGLISH
QUERY
LANGUAGE
S STRUCTURED
Q QUERY
L Language