Согласование параметров сдвиговое

Сдвиговое согласование параметров - способ сопоставления двух множеств элементов, при котором каждый i-ый элемент первого множества соответствует i+1-ому элементу второго множества. Применение такого вида согласования при указании одного и того же множества в первом и втором параметрах позволяет выполнять операции над смежыми элементами множества, например, провести ломаную линию через последовательность точек, заданную в одном множестве и т.п.

В панелях формирования отношений сдвиговое согласование выбирается установкой радио-кнопки в секции "Согласование параметров" напротив наименования "Сдвиговое". В поле символьного описания комбинированных видов согласовний сдвиогвое согласование обозначается числом 2. Эквивалентная запись сдвигового согласования в символьной форме: sh(N1,N2). Через N1 и N2 обозначены порядковые номера параметров в функции.

Если при формировании отношения система обнаруживает, что в обоих параметрах двухаргументного отношения указаны одинаковые переменные, то селектор выбора вида согласования в панели формирования отношения автоматически устанавливается в положение "Сдвиговое".