15. Элементы реляционного исчи сления. Реляционное вычисление доменов

Реляционное исчисление является прикладной ветвью формального механизма исчисления предикатов первого порядка. Базисными понятиями исчисления являются понятие переменной с определенной для нее областью допустимых значений и понятие правильно построенной формулы, опирающейся на переменные, предикаты и кванторы. В исчислении доменов областью определения переменных являются домены. Основным формальным отличием исчисления доменов от исчисления кортежей является наличие дополнительного набора предикатов, позволяющих выражать так называемые условия членства. Если R - это n-арное отношение с атрибутами a1, a2, ..., an, то условие членства имеет вид R (ai1:vi1, ai2:vi2, ..., aim:vim) (m <= n), где vij - это либо либерально задаваемая константа, либо имя кортежной переменной. Условие членства принимает значение true в том случае, если в отношении R существует кортеж, содержащий указанные значения указанных атрибутов. Если vij - константа, то на атрибут aij задается жесткое условие, не зависящее от текущих значений доменных переменных; если же vij - имя доменной переменной, то условие член ства может принимать разные значения при разных значениях этой переменной.

23. Серверы бд.

Сервер БД-фактически, обычные СУБД, принимающие запросы по сети и возвращающие рез-ты. Исп. для обозначения всей СУБД в целом, основанной на архитектуре клиент-сервер, включая обе части.

Такие системы предназначены для хранения и обеспечения доступа к данным.

Несмотря на то, что одна СУБД хранится в одном узле и поддерживается одним сервером, серверы БД представляют собой простое и дешевое приближение к распределенным БД, поскольку общая БД доступна для всех пользователей локальной сети.

СОДЕРЖАНИЕ.

1. Понятие данных. Типы Данных

2. Модели данных. Понятие и классификация.

3. Файлы. Файловые системы.

4.Общ хар-ка реляц модели дан. Типы данных, использ в реляц модели. Домены.

5. Отношения. Атрибуты, картежи отношения.

6. Сходство таблиц и отношений. Отношения. Свойства.

7. Первая нормальная форма.

8. Целостная часть РМД

9. Манипуляционная часть РМД

10. Обзор реляционной алгебры

11. Теоретико-множественные операторы

12. Специальные реляционные операторы.

13. Зависимые и примитивные реляционные операторы

14 Элементы реляционного исчисления. Реляционное вычисление кортежей.

15. Элементы реляционного исчисления. Реляционное вычисление доменов

16. Язык SQL. Общие сведения. Стректура SQL Типы данных в SQL. Агрег ф-ции

17. Оператор SELECT. Составляющие оператора SELECT. Вложенные запросы

18. Модель бинар ассоциаций. Отнош ассоц. Бинарная ассоц. Искл ассоциация.

19. Функции СУБД

20. Типовая организация современной СУБД

21. Открытые системы. Клиенты и серверы локальных сетей.

22. Системная архитектура "клиент-сервер"

23. Серверы БД

24. БД на инвертированных списках.

25. Распределенные БД

26. БД, основанные на правилах

27. Связь ОО СУБД с общими понятиями ОО подхода

28. ОО модели данных

29. Языки программирования ООБД

30. Языки запросов ООБД

31. Транзакция. Основные понятия.

32. Огранич целост в транзакциях. Класс огранич целостности в транзакциях