Екілік қатынастық есептеу

method ID: binaryrelationalcalculus

Кіріс байланыстар

Байланыс	Бастапқы нысан	Түрі	Әрекеттер
uses	Жолға негізделген қорытынды	method	Көру