Range of PD is pasportdata

PD (PD.Code = R.PasportCode ^ PD.Birthday = ‘13.11.1970')

Эта формула означает, что в отношении PasportData существует кортеж, который имеет такое же значение атрибута Code, что и значение атрибута PasportCode в текущем кортеже R из отношения Readers, и атрибут Birthday из кортежа PD имеет значение '13.11.1970'. Квантор общности (), или так называемый символ "для всех", используется в выражениях, которые относятся ко всем экземплярам, например:

R (R.FamilyNamе ~= 'Петров')

Эта формула означает, что во всех кортежах отношения Readers значение атрибута FamilyNamе не равно 'Петров'. Если правила эквивалентности применить в отношении логи­ческих операций, то ее можно переписать следующим образом:

~R (R.FamilyNamе = 'Петров')

В таком виде она означает, что читатель по фамилии Петров в библиотеке не зарегистрирован.

Переменные кортежа называются свободными переменными, если они не квали­фицируются кванторами или , в противном случае они называются связанными переменными. Аналогично тому, как не все возможные последовательности букв ал­фавита образуют правильно построенные слова, так и в реляционном исчислении не каждая последовательность формул является допустимой. Допустимыми формулами могут быть только недвусмысленные и небессмысленные последовательности. Фор­мула (или правильно построенная формула) в исчислении предикатов определяется следующими правилами.

· Если Р является n -арной формулой (предикатом с п аргументами), а t₁,t₂,...,t_n — это константы или переменные, то выражение P(t_l,t₂,..., t_n) является правильно построенной формулой.

· Если t₁ и t₂ являются константами или переменными из одного домена, а представляет собой один из операторов сравнения (<, <=, >, >=, = или ~=), то выражение t₁ t₂ является правильно построенной формулой.

· Если выражения F₁ и F₂ являются формулами, то их конъюнкция обозна­чается как F₁ Ù F₂, дизъюнкция — как F₁ Ú F₂, а отрицание — как ~F₁.

· Если выражение F₁ является формулой со свободной переменной X, то выражения F(X) и F(X) также являются формулами.

ПРИМЕР

Создайте список всех читателей, у которых номер читательского билета больше 100.

Дата добавления: 2014-01-07