Abrial model Разновидность бинарной модели данных, в которой используется алгоритмический перевод непроцедурных логических высказываний, содержащих логические связки и кванторы всеобщности и существования, в форму программы, которую можно реализовать в базе данных.