Билеты по ПИ (9-12)

Билет 9

9.1

Транзитивная зависимость – это когда неключевые столбцы зависят от значений других неключевых столбцов.

Требование третьей нормальной формы (3NF) заключается в том, чтобы в таблицах отсутствовала транзитивная зависимость.

(можно конечно и позаумнее определения найти, но так понятнее)

Более подробно, в том числе примеры тут-https://info-comp.ru/third-normal-form (там же есть хорошие статьи про первую и вторую нормальные формы, один раз прочитаешь и полное понимание будет)

Ограничения целостности баз данных — это специальные средства в базах данных, главное назначение которых — не допустить попадания в базу ошибочных данных, например — тридцатый день в феврале или восьмой день недели.

Все ограничения целостности можно разделить на три категории:

-Ограничение на значение столбцов

-Ссылочная целостность

-Доменная целостность

-Целостность сущностей

Подробнее тут-http://cyclowiki.org/wiki/Ограничения_целостности_баз_данных

9.2

Это с практики

Это с лекции

схема

Относительно коротко и понятно тут- http://oracledb.ru/administrirovanie-subd/bezopasnost/sozdanie-i-upravlenie-rolyami.html

Более подробно тут- https://oracle-patches.com/oracle/prof/oracle-права-и-доступ-к-базе-данных

Билет 10

10.1

Язык исчисления- формализованный язык, предназначенный для анализа логической структуры сложных высказываний

Дополнительно

Пример

10.2

Организационное обеспечение - совокупность доку­ментов, устанавливающих организационную структуру, права и обязанности пользователей и эксплуатационного персонала АС в условиях функционирования, провер­ки и обеспечения работоспособности АС.

Методическое обеспечение - совокупность документов, описывающих технологию функционирования системы, методы выбора и применения пользователями технологических приемов для получения конкретных результатов при функционировании АС.

Техническое обеспечение - совокупность всех технических средств, используемых при функционировании АС.

Математическое обеспечение - совокупность математи­ческих методов, моделей и алгоритмов, примененных в АС.

Программное обеспечение - совокупность программ на носителях данных и программных докумен­тов, предназначенная для отладки, функционирования и проверки работоспособности АС.

Билет 11

11.1

Понятие ``предикат'' обобщает понятие ``высказывание''. Неформально говоря, предикат – это высказывание, в которое можно подставлять аргументы. Если аргумент один – то предикат выражает свойство аргумента, если больше – то отношение между аргументами.

Пример предикатов. Возьмём высказывания: ``Сократ - человек'', ``Платон - человек''. Оба эти высказывания выражают свойство ``быть человеком''. Таким образом, мы можем рассматривать предикат ``быть человеком'' и говорить, что он выполняется для Сократа и Платона.

Возьмём высказывание: ``расстояние от Иркутска до Москвы 5 тысяч километров''. Вместо него мы можем записать предикат ``расстояние'' (означающий, что первый и второй аргумент этого предиката находятся на расстоянии, равном третьему аргументу) для аргументов ``Иркутск'', ``Москва'' и ``5 тысяч километров''.

Думаю после трех определений понимание о предикатах +-появилось

Для общего понимания кванторы это вот это

Вообще для понимания можно глянуть видео- https://www.youtube.com/watch?v=l-eV7U4oB94

11.2

Вот файлик, где все касаемо создания, изменения и удаления таблиц.

Тут поверхностно касаемо целостности

Если интересно поподробнее, в том числе синтаксис, то сюда-https://postgresql.men/manual/ddl-constraints.html

Билет 12

12.1

*не думаю что прям все аксиомы надо учить, но представление лучше иметь

По поводу ппф в кортежах это лучшее что я нашел:

12.2

Лучше для полного понимания почитать тут(пары прочтений и заучивания синтаксиса вполне хватит)- https://info-comp.ru/transactions-in-t-sql