Cтраница 1
Информационная алгебра определяет элементы данных, группы элементов и множество операций над ними. Она позволяет компактно формализовать описание процесса преобразования данных. Важными проблемами при этом являются определение необходимого и достаточного набора типовых операций по обработке данных и представление элементов и групп данных. [1]
Модель информационной алгебры [55] представляет собой совокупность различных сущностей с присущими им различными свойствами. Каждое свойство сущности обладает значением. В расширенном варианте алгебры [75] допускается существование отношений между сущностями. [2]
Операции подобного типа названы операциями свертки суперпозиции и связки, имеют прямые аналогии в реляционных БД в виде операций соединения отношений, проекции на множество общих атрибутов, сужения, композиции и т.п. В каждом отдельном случае удается найти эквивалентные простейшие компоненты ( базовые информационно-вычислительные процедуры), которые указывают на перспективные связи между алгеброй множества ГДП и информационной алгеброй реляционного типа. [3]
Определения допустимых типов данных и отношений называют концептуальными моделями данных. Информационная алгебра, разработанная CODASYL [16], была одной из первых попыток развития концептуальных моделей данных на основе теории множеств. Для конкретной базы данных такое стандартизированное определение данных называется концептуальной схемой; хранение концептуальной схемы в СУБД обеспечивает совместное использование базы данных различными пользователями, каждый из которых может иметь свое собственное представление о структуре данных. СУБД осуществляет доступ к совместно используемой базе данных при помощи стандартизированных адресных функций, соответствующих представлениям пользователей о структуре данных. Таким образом, представление пользователя о структуре данных связано только с определением данных. Следовательно, концептуальная модель данных должна обеспечивать эффективное представление двух составляющих структуры данных: множеств и отношений между элементами этих множеств. [4]
Методология функциональной спецификации дает возможность отразить общую структуру ИЭС и ее компонент, их функциональные характеристики и поведение во времени. Концептуальной основой функциональной спецификации является информационная алгебра. [5]