Лекции по Основам ВТ
Категория реферата: Рефераты по информатике, программированию
Теги реферата: реферат на тему экология, конспект лекций
Добавил(а) на сайт: Komjahov.
Предыдущая страница реферата | 16 17 18 19 20 21 22 23 24 25 26 | Следующая страница реферата
R(t1,t2,...,tk) : R(t)(R(t1...tk); 3) каждое свободное вхождение t[i] заменяется на ti; 4) для каждого квантора существования или всеобщности вводится m переменных на доменах , где m –арность u .
[(u],((u)(m(u1...um. в области действия этой квантификации действуют замены R(u)(R(U1...Um) ; U(i) ( Ui ; (( U)( ((U1)...((Um) ; ( (u)(
((U1)...((Um) ;5)выполняется построение выражения {t1...tk/ ( (t1...tk}
, ( -это ( в котором осуществлена замена переменных.
Теорема2: для каждого безопасного вырожения реляционного ичисления с переменными кортежами существует эквивалентное безопасное выражение реляционного исчисления на доменах
Теорема3: для каждого безопасного выражения реляционного исчисления с перменными на доменах существует эквивалентное ему выражение реляционной алгебры.
Дополнительные возможности языка манипулирования данными в реляционных системах.
ЯМД выходит за рамки абстрактных языков , т.к. для обработки данных требуются операции выходящие за рамки возможностей реляционной алгебры .
Это прежде всего следующие команды: включить данные, модифицировать данные , удалить данные.
Арифметические выражения: 1) арифметические вычисления и сравнения могут непосредственно включаться в формулы селекции реляционной алгебры выражений или в атомы в выражениях реляционного исчисления 2) команды присваивантя и печати 3) агрегатные функции –это функции применяемые к столбцам отношений , в результате выполнения которых вычисляется одна единственная величина .
Т.к. реляционные языки могут реализовывать функции не имеющие аналогов ни в реляционноцй алгебре , ни в реляционных исчислениях , то в действитеьности эти языки являются более чем полные, некоторые функции этих языков дублируются.
Полным считается язык в котором реализуются все возможности реляционного исчисления с переменными кортежами , либо спеременными на доменах , или реляционной алгебры.
Ограничение модели.
1) Отношения в БД обладают всеми свойствами множеств . Основным
(жестким) ограничением является невозможность представления в отношении кортежей дубликатов. Оно означает, что каждое отношение имеет по крайней мере хотя бы один первичный ключ ( в крайнем случае он состоит из всех атрибутов)
В реляционной модели данных ключ определяется кк неизбыточное подмножество атрибутов схемы отношения , совокупность значений которых однозначно идентифицирует кортеж в отношении. Отношение может иметь несколько ключей, так называемых возможных ключей. Один из возможных ключей выбирается в качестве первичного ключа отношения.
2) При традиционной форме представления отношения порядок столбцов фиксирован, однако , если столбцы поименованы и при выполнении операций над данными пердставленными в отношении , обращаться к столбцам по их именам , то это ограничение снимается .
Назначение атрибутов в модели – можно задавать разнообразные ограничения в явном виде : можно специфицировать область значений атрибутов , задавая тип значений . Для задания более общих ограничений можно использовать предикаты .
ЯОД в реляционных СУБД обычно имеет развитые средства для описания явных ограничений целостности , т.е. он не затрагивает стандартов.
На практике ограничение целостности: ограничение на зависимости м/у атрибутами. Для явного задания ограничений целостности м/б использованы функциональные и ??? зависимости м/у атрибутами.
Функциональные зависимости : x,y ( R атрибут y отношения r функционально зависит от атрибута x отношения R .
Если в каждый момент времени каждому значению атрибута x соостветствует тоже значение атрибута y . x(y читается: x зависит от y
-- теорема о функциональной зависимости.
Свойствa из теоремы: аксиома 1)—свойство рефлексивности : если x ( u
, y(u , y(x , то существует функциональная зависимость из x(y.
Аксиома 2)—свойство пополнения : если x ( u , y ( u, z ( u , задана зависимость из x(y , которая принадлежит полному множеству функциональных зависимостей данного отношения , то справедлива формула : x (z ( y( z . Аксиома 3) --свойство транзитивности : если x(u , y(u , z (u и задана зависимость x(y , y(z , то существует зависимость x(z .
Аксиома 4)—свойство расширения : x ( u , y ( u : x(y ; z ( u : x и z (y
Многозначные зависимости.
Теорема для многозначной зависимости : многзначная зависимость существует , если при заданных значениях атрибутов , существует множество состоящее из нулей ( или более взаимных значений атрибутов y)
, причем множество значений атрибутов y не связано со значениями атрибутов в отношении u-x-y . обозначение: x((y.
Аксиома 1) –дополнение для многозначной зависимости: если x прин u
, y прин u , x(( y , то имеет место многозначная зависимость x((u-x-y
Аксиома 2)—пополнение для многозначной зависимости : если x прин u, v прин u , w прин u, y прин u, v прин w , x прин y , то имеет место многозначная зависимость
W объединено k (( v объединено y
Аксиома 3) – транзитивность для многозначной зависимости : если x прин u , y прин u , то имеет место многозначная зависимость x((y , y(( x , то имеет место x((z-y .
Т.о. формальная проверка многозначной зависимости должна выполняться на множестве z всех возможных экземпляров кортежей рассматриваемого отношения.
КЛЮЧИ ОТНОШЕНИЙ
Формальное определение ключа.
Если R-схема отношения с атрибутами: A1..An, и множество F функциональных зависимостей X-подмножество множества атрибутов, то X называют ключом в случае выполнения следующих условий:
1. зависимость X-> A1..An принадлежит полному замыканию (F+) (полному множеству функциональных зависимостей), которое можно получить из F с помощью правил вывода;
2. ни для какого собственного подмножества X зависимость Y из атрибутовY-> A1..An,Y принадлежит X , не принадлежит полному замыканию
F+.
Условие (2) ставит вопрос о минимальности ключа. Данный ключ только тогда будет являться ключом отношений, когда он является минимальным
(max ссылок связей в отношениях). В противном случае ключом будет 1 или более элементов из его подмножеств.
ОПР. (о первичных атрибутах).
Атрибут A является первичным тогда и только тогда, когда он входит в состав любого ключа (первичного или возможного) в отношении R.В противном случае – атрибут непервичный.
Нормализация отношений (подразумевается неизбыточность базы)
Задача группировки атрибутов в отношениях, при условии, что набор возможных отношений заранее не фиксируется, допускает большое количество различных вариантов этих отношений и приводит к проблеме выбора рационального варианта из множества альтернативных вариантов схемы отношений. Рациональные варианты группировки атрибутов в отношении должны отвечать следующим требованиям:
1.выбрать для отношений первичные (и возможные) ключи, которые должны быть минимальными.
2.выбрать состав отношений базы, который должен быть минимальным
Рекомендуем скачать другие рефераты по теме: оформление доклада, вред реферат.
Предыдущая страница реферата | 16 17 18 19 20 21 22 23 24 25 26 | Следующая страница реферата