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