АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Кванторы, свободные и связанные переменные

Читайте также:
  1. I. Способы, связанные с управлением дыханием
  2. Аномалии обновлений, связанные с наличием перекрывающихся возможных ключей
  3. В поисках выхода: ответ на угрозы, связанные с нестабильностью сырьевых цен
  4. Волшебные вещи связанные с Горацием Слизнортом.
  5. ВОПЛОЩЕННЫЕ: Свободные
  6. Все затраты можно разделить на постоянные и переменные.
  7. Вторых, регулируются отношения, связанные с совершением административных правонару-
  8. Глава 20. Преступления, связанные с семейными отношениями
  9. Глава IV. Человек с точки зрения физики, взгляд на его особенности и происходящие внутри процессы, связанные с его жизнедеятельностью
  10. ГЛАЗ и связанные с ним структуры. Оболочки глазного яблока, их отделы и производные, функц.аппараты, циркуляция внутриглазной жидкости, возрастные изменения.
  11. Динамические переменные
  12. Другие стрессоры, связанные с освоением новой культуры

При построении WFF допускается использование кванторов существования (EXISTS) и всеобщности (FORALL). Если form – это WFF, в которой участвует переменная var, то конструкции EXISTS var (form) и FORALL var (form) представляют собой WFF. По определению, формула EXISTS var (form) принимает значение true в том и только в том случае, если в области определения переменной var найдется хотя бы одно значение (кортеж), для которого WFF form принимает значение true. Формула FORALL var (form) принимает значение true, если для всех значений переменной var из ее области определения WFF form принимает значение true.

 

Все переменные, входящие в WFF, при построении которой не использовались кванторы, являются свободными. Фактически, это означает, что если для какого-то набора значений свободных кортежных переменных при вычислении WFF получено значение true, то эти значения кортежных переменных могут входить в результирующее отношение. Если же имя переменной использовано сразу после квантора при построении WFF вида EXISTS var (form) или FORALL var (form), то в этой WFF и во всех WFF, построенных с ее участием, var - это связанная переменная. На самом деле, правильнее говорить не о свободных и связанных переменных, а о свободных и связанных вхождениях переменных.

 

Целевые списки

Итак, WFF обеспечивают средства формулировки условия выборки из отношений БД. Чтобы можно было использовать исчисление для реальной работы с БД, требуется еще один компонент, который определяет набор и имена атрибутов результирующего отношения. Этот компонент называется целевым списком (target list).

 

Целевой список строится из целевых элементов, каждый из которых может иметь следующий вид:

· var.attr, где var – имя свободной переменной соответствующей WFF, а attr – имя атрибута отношения, на котором определена переменная var;

· var, что эквивалентно наличию подсписка var.attr1, var.attr2,..., var.attrn, где {attr1, attr2,..., attrn} включает имена всех атрибутов определяющего отношения;

· new_name = var.attr; new_name – новое имя соответствующего атрибута результирующего отношения.

 

Последний вариант требуется в тех случаях, когда в WFF используется несколько свободных переменных с одинаковой областью определения.

Выражением реляционного исчисления кортежей называется конструкция вида target_list WHERE wff. Значением выражения является отношение, тело которого определяется WFF, а набор атрибутов и их имена - целевым списком.


 

Исчисление доменов. Основные отличия от исчисления кортежей.


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 |

Поиск по сайту:

Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.003 сек.)