3. ����������� ������������� ���� (���)
������������� ������ �������� ����, ������� ���������� �� ������� � ��������� ����� ����. ��� ���� ����������� ���������� �������� � ���������� �� ������� �������� ����� �������.
��������: �����, ������� � ������, ��������� ������������� ����������������� �����������, �������� ����� ������� ������ � ����.
�������� ����� ������� ������ ���������� � ������� (�� ����� � ���, �����, �������, ������), ���� (�� ����� � �������, ��������, �����), ����� � �.�. ��� ��� ����� ���������� �� �� � ������ ���� ������������ � ������� � �� ����� ���. �������� ������� � �����������. �� ������� ������� ����� �������� ��� �����, ��������� ������������� �����������.
������� ������������� ���� ������� �� ������ (��� ������������� ��������) � ����������� �� ���; ������� ������������� ����������. ��������, "���� ���� �����" �������������� � ����:
����� ������������� �� �������� ������ � �������� ������������� �������������. ������� ����� ���������:
- ����, ����, ����, ... - ����� �������� ����� (�����, ��������� , ��������);
- ����1, ����2, ... ����1 ... - ���������� �������, � ������ ������ ������ � ������� ����, ���� (�� � �� ����� ���� ����� � � ������ ����� �� �������).
����� �������� ���������� ��� ����� ������� ������������� ����������. ����� ������ ���� ������ ����������� ������� �����. ����� ������������ ������������ ��������� (��) ���������� ����:
���. 3
�� ���.3 ������������, ��� ����1 ���� ����1. ����� 1,2 ���������, ��� ����1 � ��� ������ ������ ���������, � ����1 � 2-�. ���� �������� �� �������, �� �������� ����1 ���� ����1. ��� ���� ������� � ��������� (����) �������� ��� ���������������. ��� ���� ����� ���� ������� ����������.������, �������� ����������� ������� G1, ������� ������������� �������� ����1, ����1 � �� ����������. ��� ��� �������� ����� ����� � ����� �������� �������, �������� ������������ ������� G1. � ����� DECL ����� �� ������������ � ����:
����(����!,����/.G1)
����� �������� ����� ����� - ������� � ����������� ����. ���� �������: ��� ��������� ����������� �������� ��� �� ����� ���������� ������������ ������ ������� �� ����� ������ ���������� 1-�� � 2-�� ��������.
���� �������-��������� (����)� � ����������� ������� (G1) �� ������� � ������-���� ������� ��������� (�� ������ � ������ �� � �������� ������-��������), �� ����� ������������ ����� ������� ������ ��:
������ � ����������� ����: ����(����1,����1)
����� ��������� 2 ���� ������:
1. �������, ��������������� ������������ ��������, ����������, ������� �������� (����1, ����,...).
2. �������, ��������������� �������������� �������� (X1, X2, ...,Xn). ����� �������� �� �-��������� ������������-�����������. ����� �������� �� ����������� �� ����� ������, �������� ����� �������, ��� ��� �� ��������.
����1 ���� ���������� ����: ����(����1,X1)
���. 3
����1 � ����1 ���-�� ������� ����� �����, �� ����������, ����� ����������: X2(����1.����1).
� ���������� ����� �������� ��������� � � ������� ������ � ��������� ��������� �������� ��������� (����� ����). � ���� ������ �� � ����� ���� ����� ��������� ��������� �������:
����� ������������ n-����� ��������� R1 ����� �����������1, �2, ..., �N, ������� �������� ����������� ������ G2. ����� �� ������������ � ����������� ����:
R1(A1, A2, ..., AN/G2).
���������� ������|��������� ������