Page 79 - 6109

Семантика Значення -виразу x 1,...,x nF є значення n-арного предиката,
одержаного привласненням конкретизації формальним параметрам.
Вираз (8.3) стає бінарним предикатом, який можна позначити, наприклад,
Ламбда-посилка(х, у). Він прийме значення І або Х залежно від здійсненого
привласнення конкретизації змінним х і у. У деяких системах баз даних -
вирази використовуються для постановки питань. Вираз (8.3) відповідав би
питанню (запиту): «Назвіть послані до Марії об'єкти і відповідних
відправників».

79