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