 |
АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция
Селекция (Ограничение)
|
Читайте также: |
| Алгебра | Исчисление |
| (а) R [ A q v ] (б) R [ A q B ] | { r | r Î R Ù(r [ A ]q v)} { r | r Î R Ù(r [ A ]q r [ B ])} |
В приведенном определении v обозначает константу, а В – атрибут отношения R, отличный от А. Символ q используется для обозначения одной из операций сравнения (<, £, =, ¹, ³, >).
Примеры
P [ D 1> D 2]=Æ (пустое множество) поскольку в отношении отсутствуют кортежи, где D 1> D 2.
Пересечение
| Алгебра | Исчисление |
| R Ç S | { t | t Î R Ù t Î S } |
Пересечение R Ç S = R -(R - S), что соответствует области, отмеченной звездочкой на диаграмме Венна для операции разности.
Пример
2. Реляционное исчисление (≈25 мин).
В выражениях реляционной алгебры всегда явно задается некий порядок выполнения запроса. В реляционном же исчислении указывается что необходимо извлечь, а не как.
Реляционное исчисление никак не связано с дифференциальным и интегральным исчислениями в математике, а его название произошло от части символьной логики, которая называется логикой предикатов.
В логике первого порядка или теории исчисления предикатов под предикатом подразумевается истинностная функция с аргументами. При подстановке вместо аргументов значений, функция становится выражением, называемым суждением, которое может быть истинным или ложным. Например, предложения «курсант Никитин учится на третьем курсе вуза» и «средний балл успеваемости курсанта Никитина выше, чем у курсанта Царько» являются суждениями, поскольку можно определить их истинность или ложность. В первом случае функция «учится на третьем курсе ввуза» имеет один аргумент («курсант Никитин»), а во втором случае функция «средний балл выше» имеет два аргумента («курсант Никитин» и «курсант Царько»).
Если предикат содержит переменную, например в виде «х учится на третьем курсе ввуза», то у этой переменной должна быть область определения. При подстановке вместо переменной х одних значений из ее области определения данное суждение может оказаться истинным, а при подстановке других – ложным.
Если Р – предикат, то множество всех значений переменной х, при которых суждение Р становится истинным, можно символически записать следующим образом:
{ х | Р(х)}.
Предикаты могут соединяться с помощью логических операторов Ù, Ú, Ø с образованием составных предикатов.
Поиск по сайту: