Практические задачи проектирования автоматизированных банков данных стимулировали развитие новых методов математического моделирования, предназначенных для отражения семантики предметных областей и для обеспечения жизнеспособности и эффективности разрабатываемых систем. Эти методы широко используют аппарат современной универсальной алгебры и математической логики. В последние годы выявилась связь между исследованиями в области искусственного интеллекта, теорией баз данных и конструированием языков программирования высокого уровня.
Дано систематическое изложение методов семантического и математического моделирования, развитых в теории баз данных. Основное внимание уделено результатам, которые позволяют алгоритмизировать и автоматизировать проектирование логической структуры автоматизированных банков данных.
Для научных работников, аспирантов и студентов старших курсов высших учебных заведений, интересующихся теорией и методологией проектирования автоматизированных информационных систем. Это и многое другое вы найдете в книге Моделирование семантики в базах данных (М. Ш. Цаленко)