Редактирование: Базы Данных, 06 лекция (от 22 сентября)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 42: | Строка 42: | ||
==Целостная часть== | ==Целостная часть== | ||
- | Принципиальной отличием БД от ФС является то, что данные являются логически связанными. БД удовлетворяет нас, если она не противоречит нашим | + | Принципиальной отличием БД от ФС является то, что данные являются логически связанными. БД удовлетворяет нас, если она не противоречит нашим знанием о предметной области. |
Базовые классы ограничений: | Базовые классы ограничений: | ||
Строка 67: | Строка 67: | ||
Любой язык должен обладать таким свойством, что в любом месте, если мы видим значение типа, то мы должны по нему понять, какого оно типа. | Любой язык должен обладать таким свойством, что в любом месте, если мы видим значение типа, то мы должны по нему понять, какого оно типа. | ||
- | С этой точки зрения определение кортежа избыточно, но это делается исключительно для технического удобства, так как теперь можно сказать, что ''значение типа | + | С этой точки зрения определение кортежа избыточно, но это делается исключительно для технического удобства, так как теперь можно сказать, что ''значение типа отношение это отношение кортежей''. |
В обиходе тип отношение часто называют заголовком отношения или схемой отношения. Значение типа отношения должно состоят из отношения кортежей, каждый из которых соответствует схеме отношения. | В обиходе тип отношение часто называют заголовком отношения или схемой отношения. Значение типа отношения должно состоят из отношения кортежей, каждый из которых соответствует схеме отношения. | ||
Строка 75: | Строка 75: | ||
Типы отношений анонимны. | Типы отношений анонимны. | ||
- | <div class="comment">[[Подшивалов|Дмитрий Б. Подшивалов]] — известный человек. Он в своё время был редактором перевода книжки [[Вирт|Вирта]] про [[Modula|Modula-2]], написал послесловие, у там есть пассаж относительно вреда структурной эквивалентности типов, оно | + | <div class="comment">[[Подшивалов|Дмитрий Б. Подшивалов]] — известный человек. Он в своё время был редактором перевода книжки [[Вирт|Вирта]] про [[Modula|Modula-2]], написал послесловие, у там есть пассаж относительно вреда структурной эквивалентности типов, оно поражает многочисленные трудности при реализации и не даёт никакой свободы. В SQL нет возможности определить заголовок таблицы до CREATE TABLE, хотя на самом деле в реальных БД есть таблицы, у которых одинаковые заголовки.</div> |
==Итог== | ==Итог== | ||
- | Ещё одно замечание: чем отличается то, что говорит лектор, от Дейты. Дейта | + | Ещё одно замечание: чем отличается то, что говорит лектор, от Дейты. Дейта своих последних публикациях включил кроме базовых абстрактных спецификаций описание конкретной системы типов, но это несчастье для реляционной модели данных. |
<div class="defintion">'''Переменные отношения''' (relvar — relation variable) — переменная некоего типа отношение, которая хранит (...).</div> | <div class="defintion">'''Переменные отношения''' (relvar — relation variable) — переменная некоего типа отношение, которая хранит (...).</div> |