Cтраница 2
Другим ЯМД для реляционных баз данных является класс языков, основанных на исчислении отношений. Исчисление отношений представляет собой совокупность обозначений для описания свойств результирующего отношения, выводимого из модели данных. Основным отличием ЯМД на основе исчисления отношений от алгебраического языка является то, что средства первого языка позволяют просто констатировать свойства искомого отношения в форме предиката первого порядка, а второй язык позволяет фактически строить отношения посредством последовательного выполнения специальных операций. Таким образом, ЯМД на основе исчисления отношений по сравнению с алгебраическим языком является непроцедурным. [16]
Это может быть сделано автоматически с использованием так называемого исчисления отношений: пользователь просто указывает желаемое отношение и предоставляет машине самой решать, какие операции необходимо выбрать для получения нужного отношения из базы данных. Исчисление отношений - это аппарат для формулирования отношения, которое нужно получить из хранимых в базе данных отношений. [17]
Будучи основан на исчислении отношений и алгебре отношений, он целиком к ним не сводится. Во-первых, селективная способность его увеличена за счет введения стандартных функций и трехзначной логики; во-вторых, основные операторы языка не дают явных конструктивных выражений для поиска информации и поэтому такие вопросы, как оптимизация доступа и физического хранения данных, а также проверка замков секретности, полностью возлагаются на систему. Таким образом, рассмотренный нами язык дает представление о тех дополнительных средствах, которые должны быть включены в язык управления базой данных, чтобы приблизить к пользователю абстрактные конструкции реляционной алгебры и исчисления отношений и дать ему возможность писать прикладные программы независимо от конкретного устройства базы данных. [18]
Имена и правила образования имен. Язык DSL-a предназначен для взаимодействия пользователя с базой данных, которая построена на основе исчисления отношений. Там же было указано на необходимость введения имен для элементов алгебры: отношений, атрибутов и множеств, на которых определяются эти отношения. Эти имена играют важную роль при поиске информации в банке данных. Поэтому мы сейчас более подробно остановимся на понятии имени и правилах его образования. [19]
В настоящее время особое внимание разработчиков АБД сосредоточено на создании языков взаимодействия с реляционной базой данных. Эту категорию ЯМД представляют два типа языков: ЯМД, основанные на реляционной алгебре, и ЯМД исчисления отношений. Алгебраические языки проще в использовании, однако требуют от прикладного программиста детального знания модели данных и особенностей выполнения операций над отношениями. ЯМД исчисления отношений относятся к категории языков общей селекции, и они более других ЯМД удобны для непрофессионального пользователя АБД. [20]
Языки, которые в этом случае предоставляются конечному пользователю, в той или иной мере основаны на реляционной алгебре или исчислении отношений. Языки, основанные на реляционной алгебре, в большей степени процедурны, чем языки, основанные на исчислении отношений, и позволяют строить достаточно сложные с использованием кванторов общности и существования) выражения, описывающие новое отношение, которое нужно получить, в терминах заданных отношений. [21]
В-третьих, для пользователя-непрограммиста естественнее требовать данные по их названиям, чем вводить собственный набор операций. Пользователь может задавать операции поиска в удобной для него форме шагов запланированного диалога, которые машина интерпретирует в формальный язык исчисления отношений. [22]
Направленные связи, ставшие обычным явлением в базах, могут быть опущены ( фиг. Отношения по своей природе обладают более точным смыслом и поддаются математически точным методам манипулирования с использованием таких средств, как алгебра отношений и исчисление отношений. [23]
Другим ЯМД для реляционных баз данных является класс языков, основанных на исчислении отношений. Исчисление отношений представляет собой совокупность обозначений для описания свойств результирующего отношения, выводимого из модели данных. Основным отличием ЯМД на основе исчисления отношений от алгебраического языка является то, что средства первого языка позволяют просто констатировать свойства искомого отношения в форме предиката первого порядка, а второй язык позволяет фактически строить отношения посредством последовательного выполнения специальных операций. Таким образом, ЯМД на основе исчисления отношений по сравнению с алгебраическим языком является непроцедурным. [24]
В настоящее время особое внимание разработчиков АБД сосредоточено на создании языков взаимодействия с реляционной базой данных. Эту категорию ЯМД представляют два типа языков: ЯМД, основанные на реляционной алгебре, и ЯМД исчисления отношений. Алгебраические языки проще в использовании, однако требуют от прикладного программиста детального знания модели данных и особенностей выполнения операций над отношениями. ЯМД исчисления отношений относятся к категории языков общей селекции, и они более других ЯМД удобны для непрофессионального пользователя АБД. [25]
Другим ЯМД для реляционных баз данных является класс языков, основанных на исчислении отношений. Исчисление отношений представляет собой совокупность обозначений для описания свойств результирующего отношения, выводимого из модели данных. Основным отличием ЯМД на основе исчисления отношений от алгебраического языка является то, что средства первого языка позволяют просто констатировать свойства искомого отношения в форме предиката первого порядка, а второй язык позволяет фактически строить отношения посредством последовательного выполнения специальных операций. Таким образом, ЯМД на основе исчисления отношений по сравнению с алгебраическим языком является непроцедурным. [26]
Замена членов синонимического ряда дескриптором рассматривается как средство устранения неоднозначности выражения смысла и в конечном итоге - как средство подавления поискового шума. Характерной иллюстрацией здесь является, например, обработка запроса на получение значения некоторого показателя, который непосредственно не хранится в БД, но может быть вычислен на основе отношения, связывающего этот показатель с первичными показателями и фиксированного в тезаурусе. Заметим, что в отличие от языка, основанного на исчислении отношений, который, как это было описано, обеспечивает вывод сведений на основе явно указываемой в запросе связи заданных и выводимых отношений, механизм вывода здесь скрыт от пользователя. [27]
Будучи основан на исчислении отношений и алгебре отношений, он целиком к ним не сводится. Во-первых, селективная способность его увеличена за счет введения стандартных функций и трехзначной логики; во-вторых, основные операторы языка не дают явных конструктивных выражений для поиска информации и поэтому такие вопросы, как оптимизация доступа и физического хранения данных, а также проверка замков секретности, полностью возлагаются на систему. Таким образом, рассмотренный нами язык дает представление о тех дополнительных средствах, которые должны быть включены в язык управления базой данных, чтобы приблизить к пользователю абстрактные конструкции реляционной алгебры и исчисления отношений и дать ему возможность писать прикладные программы независимо от конкретного устройства базы данных. [28]