Хотя анализ текста позволяет выявить очевидные ошибки и установить правильность синтаксического описания и использования объектов, ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Цикритзис Д.N. Модели данных


Хотя анализ текста позволяет выявить очевидные ошибки и установить правильность синтаксического описания и использования объектов, однако многие свойства нельзя проверить средствами этого анализа. Так, для анализа ограничений следует применять формальные методы, рассмотренные в гл.

(cкачать страницу)

Смотреть книгу на libgen

Хотя анализ текста позволяет выявить очевидные ошибки и установить правильность синтаксического описания и использования объектов,  однако многие свойства нельзя проверить средствами этого анализа.  Так,  для анализа ограничений следует применять формальные методы,  рассмотренные в гл.