Тема_4 (1122340), страница 7
Текст из файла (страница 7)
Кузнецов. Базы данных.РеляционРеляционное исчисление доменов (5)Условия членства (4)С другой стороны, WFFСЛУЖАЩИЕ (СЛУ_НОМ:2934, СЛУ_ИМЯ:’Иванов’,СЛУ_ЗАРП:22400.00, ПРО_НОМ:ПРО_НОМ)будет принимать значение true для всех комбинаций явно заданныхзначений и допустимых значений переменной ПРО_НОМ, которыесоответствуют кортежам, входящим в тело отношения СЛУЖАЩИЕПри наличии нашего значенияотношения СЛУЖАЩИЕ областьюистинности этой WFF являютсядва следующих набора значенийдоменных переменных:<2934, ’Иванов’, 22400.00, 1> и<2934, ‘Иванов’, 22400.00, 2>08.10.2010100С.Д.
Кузнецов. Базы данных.РеляционРеляционное исчисление доменов (6)Выражения исчисления доменов (1)Во всех остальных отношениях формулыи выражения исчисления доменоввыглядят похожими на формулы ивыражения исчисления кортежейВ частности, формулы могут включатькванторы, и различаются свободные исвязанные вхождения доменныхпеременных08.10.2010101С.Д. Кузнецов. Базы данных.РеляционРеляционное исчисление доменов (7)Выражения исчисления доменов (2)Для примера выражения исчисления доменовсформулируем с использованием исчисления доменовзапрос «Выдать номера и имена служащих, не получающихминимальную заработную плату»:СЛУ_НОМ, СЛУ_ИМЯ WHERE EXISTS СЛУ_ЗАРП1(СЛУЖАЩИЕ (СЛУ_ЗАРП:СЛУ_ЗАРП1) ANDСЛУЖАЩИЕ (СЛУ_НОМ:СЛУ_НОМ, СЛУ_ИМЯ:СЛУ_ИМЯ,СЛУ_ЗАРП:СЛУ_ЗАРП) ANDСЛУ_ЗАРП > СЛУ_ЗАРП1)Реляционное исчисление доменов является основойбольшинства языков запросов, основанных наиспользовании формВ частности, на этом исчислении базировался известныйязык Query-by-Example, который был первым (и наиболееинтересным) языком в семействе языков, основанных натабличных формах08.10.2010102С.Д.
Кузнецов. Базы данных.РеляционЗаключение (1)В этой теме рассматривалась манипуляционная составляющаяреляционной модели данныхБыли представлены два варианта реляционной алгебры.С формальной точки зрения можно было бы обойтись одним из вариантов,поскольку их выразительные средства эквивалентныНо алгебра Кодда в большей степени базируется на теории множествБазовыми операциями являются переименование атрибутов, объединение,пересечение, взятие разности, декартово произведение, проекция иограничениеОперация соединения общего вида, хотя и включается в алгебру, являетсявторичной и явно представляется через другие операцииФундаментальная же в реляционном подходе операция естественногосоединения выражается через соединение общего вида и в алгебру невключаетсяВ терминах алгебры Кодда проще всего определяются алгебраическиечерты языка SQL, в частности общая семантика оператора SELECT08.10.2010103С.Д.
Кузнецов. Базы данных.РеляционЗаключение (2)Базисом Алгебры A являются операции реляционногоотрицания (дополнения), реляционной конъюнкции (илидизъюнкции) и проекции (удаления атрибута)Реляционные аналоги логических операций определяются втерминах отношений на основе обычных теоретикомножественных операций и позволяют выражать напрямуюоперации пересечения, декартова произведения,естественного соединения, объединения отношенийПутем комбинирования базовых операций выражаютсяоперации переименования атрибутов, соединения общеговида, взятия разности отношенийАлгебра A позволяет лучше осознать логические основыреляционной модели, хотя, безусловно, является в меньшейстепени ориентированной на практическое применение, чемалгебра Кодда08.10.2010104С.Д.
Кузнецов. Базы данных.РеляционЗаключение (3)Реляционному исчислению мы отвели меньше места,поскольку не ставили перед собой задачу определить какойлибо полноценный логический язык запросовЦель состояла в том, чтобы показать возможностьдекларативной логической формулировки запросовВ этом случае выполнение запроса происходит путеминтерпретации логической формулы, а не вычисленияалгебраического выраженияБыли рассмотрены два варианта реляционного исчисления, первый из которых – реляционное исчисление кортежей –был определен сравнительно полно, а для второго – реляционного исчисления доменов – былитолько отмечены и проиллюстрированы основныеотличительные черты08.10.2010105С.Д.
Кузнецов. Базы данных.Реляцион.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
