summaryrefslogtreecommitdiff
path: root/databases/lectures/lecture2.tex
diff options
context:
space:
mode:
authorAndrew Guschin <guschin.drew@gmail.com>2022-06-26 13:05:56 +0400
committerAndrew Guschin <guschin.drew@gmail.com>2022-06-26 13:05:56 +0400
commitcad4b972574c9c58357fa21d18dddc388258b4ee (patch)
tree7afd8fe5073dc906b219dc926e9cf093a95efd5a /databases/lectures/lecture2.tex
parent14fffdc1df3661252661dbc96ac9810118f00601 (diff)
parent323bfc05e2bf72820299976c8b26057ca8ed86aa (diff)
Merge branch 'master' of github.com:vasthecat/university-lectures
Diffstat (limited to 'databases/lectures/lecture2.tex')
-rw-r--r--databases/lectures/lecture2.tex29
1 files changed, 29 insertions, 0 deletions
diff --git a/databases/lectures/lecture2.tex b/databases/lectures/lecture2.tex
new file mode 100644
index 0000000..e7052ab
--- /dev/null
+++ b/databases/lectures/lecture2.tex
@@ -0,0 +1,29 @@
+% Лекция 2 (16.09.21)
+\section{Целостность данных}
+
+NULL нельзя ни с чем сравнивать, любая операция с NULL даёт в результате NULL.
+
+\textbf{Целостность} в реляционной базе данных означает правильность
+данных в любой момент времени. \textbf{Ограничения целостности} --- это
+некие правила позволяющие поддерживать целостность данных в каждый
+момент времени. Поддержание целостности базы данных может
+рассматриваться как защита данных от неверных изменений или разрушений
+(не путать с незаконными изменениями и разрушениями, являющимися
+проблемой безопасности). Современные СУБД имеют ряд средств для
+поддержания целостности.
+
+Выделяют три группы правил по целостности:
+
+\begin{itemize}
+ \item Целостность по сущностям;
+ \item Целостность по ссылкам (ограничения уровня БД);
+ \item Целостность, определяемая пользователем (ограничения уровня атрибута)
+\end{itemize}
+
+\subsection{Целостность по сущностям}
+
+Так как потенциальные ключи фактически служат идентификаторами объектов
+предметной области, то значения этих идентификаторов не могут сожержать
+неизвестные значения. Это определяет следующее \emph{правило целостности
+сущностей}: атрибуты, входящие в состав некоторого потенциального ключа
+не могут принимать null-значений.