Практические задачи проектирования автоматизированных банков данных стимулировали развитие новых методов математического моделирования, предназначенных для отражения семантики предметных областей и для обеспечения жизнеспособности и эффективности разрабатываемых систем. Эти методы широко используют аппарат современной универсальной алгебры и математической логики. В последние годы выявилась связь между исследованиями в области искусственного интеллекта, теорией баз данных и конструированием языков программирования высокого уровня.
Дано систематическое изложение методов семантического и математического моделирования, развитых в теории баз данных. Основное внимание уделено результатам, которые позволяют алгоритмизировать и автоматизировать проектирование логической структуры автоматизированных банков данных.
Для научных работников, аспирантов и студентов старших курсов высших учебных заведений, интересующихся теорией и методологией проектирования автоматизированных информационных систем.
Дополнительно: ГРАЖДАНЕ ПОКУПАТЕЛИ! ПРЕЖДЕ, ЧЕМ ОФОРМЛЯТЬ ЗАКАЗ, ПРОЧТИТЕ УСЛОВИЯ!
Если вы особо чувствительны к состоянию книг, то прежде чем, оформлять заказ, выйдите на связь с продавцом, воспользовавшись функцией "СПРОСИТЬ" (только для зарегистрированных пользователей), поскольку ваше понимание "хорошего" и "отличного" может не совпадать с таковым пониманием продавца.
Встреча по договоренности происходит б... [подробнее]