Математическая логика и базы данных
Математическая логика как инструмент для исследований в области оснований математики. Развитие теории алгоритмов. Реляционная модель данных. Отношение как файл. Ключевые поля отношений. Обобщенные теоретико-множественные операции над двумя отношениями.
| Рубрика | Программирование, компьютеры и кибернетика |
| Вид | реферат |
| Язык | русский |
| Дата добавления | 18.09.2013 |
| Размер файла | 691,7 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Ж
М
М
Исходное отношение не содержит кортежа <Джонс, 20, 2.2, Ж>, который получается как результат декартова произведения кортежей <Джонс, 20>, <Джонс, 2.2>, и <Джонс, Ж>. Таким образом, при декомпозиции отношения следует учитывать функциональные зависимости. Иногда потеря кортежей из-за того, что соединение имеет свойства теоретико-множественного пересечения, доставляет неудобства. Кодд предложил внешнее соединение, которое представляет собой соединение с последующим теоретико-множественным объединением результата с теми кортежами первого отношения, которые были потеряны при теоретико-множественном пересечении. Таким образом, результат этой операции можно использовать для восстановления (с помощью проекции) первого отношения. К сожалению, добавленные кортежи должны содержать нуль-значения для атрибутов, взятых из второго отношения. Это крайне неудобно для дальнейшей работы.
Заключение
Набор таблиц или отношений может быть использован для моделирования взаимоотношений между объектами реального мира и хранения данных о них. Хотя формально отношение - структура с более жесткими ограничениями, чем структуры данных, оно может отобразить многие взаимоотношения, представляемые этими более сложными структурами. Имеется много способов декомпозиции отношений и их соединений. Существенными для конструирования отношений являются операции объединения и соединения, которые основаны на теоретико-множественных операциях объединения и пересечения. Операция соединения использует соответствие по совпадению значений.
Реляционная модель сознательно не указывает способов эффективной реализации такого соответствия и не позволяет использовать не нормализованные отношения, содержащие списки указателей. Эта особенность является основным источником общности и мощи реляционной модели, и она дает возможность определить языки высокого уровня, основанные только на теории множеств.
Имеется большое количество теоретических исследований, посвященных декомпозиции некоторого набора отношений в более "модульно" организованное множество; это процесс нормализации. Однако такой процесс не является чисто механическим, и для моделирования реального мира необходимо определить объекты и связи, рассмотреть, каким образом объекты можно организовать в иерархии подтипов. Связи образуют иерархию через их компоненты.
Набор отношений, представляющих собой непротиворечивую и взаимосвязанную базу данных, имеет неявную структуру, и должен удовлетворять некоторым ограничениям. Такой набор нельзя рассматривать как набор совершенно изолированных таблиц.
Операции с базами данных получили широкое распространение в мире, на сегодняшний день.
Список использованных источников
1. Грей П. Логика, алгебра и базы данных. / Пер. с англ. X.И. Килова, Г.Е. Минца; Под ред. Г.В. Орловского, А.О. Слисенко. - М.: Машиностроение, 1989. - 368 с.
2. Дискретная математика // Википедия - свободная энциклопедия: URL: http://ru. wikipedia.org/wiki/Дискретная_математика
3. Математическая логика // Википедия - свободная энциклопедия: URL: http://ru. wikipedia.org/wiki/Математическая_логика
4. Базы данных // Википедия - свободная энциклопедия: URL: http://ru. wikipedia.org/wiki/Базы_данных
Размещено на Allbest.ru
Подобные документы
Основные понятия реляционной модели данных. Отношение атрибутов внутри модели. Контроль ссылочной целостности (анализ содержимого ключевых полей связанных таблиц). Нормализация отношений реляционной базы данных. Теоретико-множественные операции.
реферат [69,8 K], добавлен 19.12.2011Механизм манипулирования реляционными данными. Теоретико-множественные и специальные реляционные операции. Объединение, пересечение, взятие разности и взятие декартова произведения отношений. Операция взятия проекции. Операции реляционной алгебры.
презентация [260,8 K], добавлен 06.01.2014Сущность и характеристика типов моделей данных: иерархическая, сетевая и реляционная. Базовые понятия реляционной модели данных. Атрибуты, схема отношения базы данных. Условия целостности данных. Связи между таблицами. Общие представления о модели данных.
курсовая работа [36,1 K], добавлен 29.01.2011Базы данных и их использование в вычислительной технике. Особенности и основная конструктивная единица сетевой модели данных. Иерархическая модель, объекты предметной области. Реляционная модель, ее наглядность, представление данных в табличной форме.
реферат [115,8 K], добавлен 19.12.2011Соединения и теоретико-множественные операции над отношениями. Операции выборки, проекции и декартово произведение. Операция соединения по двум отношениям. Построение вычисляемых полей. Запросы модификации данных. Основные ограничения для доменов полей.
презентация [281,4 K], добавлен 14.10.2013Реляционная алгебра как система операций над отношениями в реляционной модели данных. Теоретико-множественные операторы, синтаксис операций объединения, пересечения, вычитания и декартова произведения. Использование баз данных в вычислительной технике.
курсовая работа [46,7 K], добавлен 01.02.2015Понятие системы базы данных. Реляционная модель и ее характеристики. Целостность в реляционной модели. Реляционная алгебра. Вопросы проектирования БД. Нормальные формы отношений. Проектирование БД методом сущность-связь. ER-диаграммы. Язык SQL.
курс лекций [353,0 K], добавлен 03.10.2008Современные системы управления базами данных (СУБД). Анализ иерархической модели данных. Реляционная модель данных. Постреляционная модель данных как расширенная реляционная модель, снимающая ограничение неделимости данных, хранящихся в записях таблиц.
научная работа [871,7 K], добавлен 08.06.2010Понятие базы данных, ее архитектура. Классификация баз данных. Основные модели данных. Примеры структурированных и неструктурированных данных. Достоинства и недостатки архитектуры файл-сервер. Иерархическая модель данных. Виды индексов, нормализация.
презентация [1,4 M], добавлен 06.08.2014Базы данных с двумерными файлами и реляционные системы управления базами данных (СУБД). Создание базы данных и обработка запросов к ним с помощью СУБД. Основные типы баз данных. Базовые понятия реляционных баз данных. Фундаментальные свойства отношений.
реферат [57,1 K], добавлен 20.12.2010
