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