Практические задачи проектирования автоматизированных банков данных стимулировали развитие новых методов математического моделирования, предназначенных для отражения семантики предметных областей и для обеспечения жизнеспособности и эффективности разрабатываемых систем....