Математика | ||||
Моделирование семантики в базах данных-Цаленко М.Ш.Цаленко М.Ш. Моделирование семантики в базах данных. — М.: Наука. Гл. ред. физ-мат.лит., 1989. - 288 с. - (Проблемы искусственного интеллекта). - ISBN 5-02-014106-2 Практические задачи проектирования автоматизированных банков данных стимулировали развитие новых методов математического моделирования, предназначенных для отражения семантики предметных областей и для обеспечения жизнеспособности и эффективности разрабатываемых систем. Эти методы широко используют аппарат современной универсальной алгебры и математической логики. В последние годы выявилась связь между исследованиями в области искусственного интеллекта, теорией баз данных и конструированием языков программирования высокого уровня. Дано систематическое изложение методов семантического и математического моделирования, развиты* в теории баз данных. Основное внимание уделено результатам, которые позволяют алгоритмизировать и автоматизировать проектирование логической структуры автоматизированных банков данных. Для научных работников, аспирантов и студентов старших курсов высших учебных заведений, интересующихся теорией и методологией проектирования автоматизированных информационных систем. Табл. 6. Ил. 28. Библиогр. 205.назв. Рецензент поктоо технических наук Д. А. Поспелов | ||||
ПРЕДИСЛОВИЕ За последние двадцать лет теория баз данных (БД) стала одним из основных разделов информатики,' оказывающим сильное воздействие на развитие архитектуры вычислительных систем, современную информационную технологию и методологию проектирования автоматизированных информационных систем (АИС), особенно банков данных (БнД). В последние годы в теории БД сложилось новое направление научных исследований, получившее название семантического, или концептуального, моделирования в базах данных. Его основная цель — интеллектуализация банков данных и организация интерфейса конечного пользователя с информационной системой на уровне представлений о предметной области, а не на уровне структур данных. Эта книга посвящена проблемам семантического моделирования и результатам, полученным в этой области за последние десять лет. В середине семидесятых годов начало складываться представление 0 базе данных как о динамической модели фрагмента действительности, или предметной области (ПО), которая организуется и поддерживается внутри вычислительной системы. Для того чтобы модель была достаточно адекватной и обеспечивала "интеллектуальный" интерфейс между конечным пользователем — экспертом предметной области и банком данных, основой информационной базы которого служит БД, оказалось необходимым преодолеть характерный для автоматизированных информационных систем предшествующего периода разрыв между синтаксическими структурами данных, с одной стороны, и выражаемым ими смыслом (meaning) - с другой. В результате возникло новое направление математического моделирования —. моделирование структуры и динамики фрагментов действительности при помощи сложной системы алгоритмов, действующих на общей, организованной в памяти ЭВМ совокупности данных. В отличие от традиционных математических моделей естествознания, которые используют непрерывные структуры анализа и служат основой Для проведения сложных арифметических вычислений над относительно небольшим массивом чисел (линейное программирование, решение дифференциальных и интегральных уравнений, статистическая обработка результатов наблюдений и т.п.), в новых моделях основную роль играют Дискретные структуры современной алгебры и математической логики процедуры информационного поиска и получения новых знаний на ос- 1 * ОГЛАВЛЕНИЕ Предисловие.................................... 3 Глава 1. Представление знаний в базах данных .................... 7 § 1.1. Предметная область банка данных...................... 7 § 1.2. Концептуальные средства описания предметной области......... 21 § 1.3. Синтез концептуальной модели предметной области........... 41 § 1.4. Общение с банком данных на естественном языке............ 47 Глава 2. Необходимые сведения из алгебры и логики................ 52 § 2.1. Множества, отношения, замыкания...................... 52 § 2.2. Одноосновные универсальные алгебры............•....... 60 § 2.3. Булевы алгебры ................................. 76 § 2.4. Многоосновные универсальные алгебры................... 82 § 2.5. Категории..................................... 89 § 2.6. Языки, теории, модели............................. 101 Глава 3. Модели данных: алгебраическая структура................. 108 § 3.1. Алгебра функциональных данных . . ,................... 108 § 3.2. Свойства алгебры файлов............................ 115 § 3.3. Реляционная алгебра............................... 125 § 3.4. Бинарная модель данных.........................• • • 132 § 3.5. Расширения модели функциональных данных............... 142 Глава 4. Базы данных.................................... 151 § 4.1. Схемы и состояния баз данных......................... 1" § 4.2. Базы данных над алгеброй файлов...................... 157 § 4.3. Базы данных над реляционной алгеброй................... 160 § 4.4. Логика баз данных................................ 172 § 4.5. Базы данных с неполной информацией ................... 1»3 § 4.6. Интерфейс с базой данных........................... J9 Глава 5. Теория зависимостей .............................. 203 § 5.1. Структуры функциональных зависимостей................ • 204 § 5.2. Многозначные, встроенные многозначные и транзитивные зави-симости....................................... •ми. § 5.3. Применение булевых функций для анализа F- и MV-отношений .... 222 § 5.4. Зависимости соединения............................ 231; § 5.5. Алгебраическая трактовка метода прогонки.............. 241 § 5.6. Хорновские ограничения целостности и их обобщения........... 248 Глава 6. Проблемы моделирования семантики в базах данных.......... 253 § 6.1. Канонические представления бинарных отношений............ 254 § 6.2. Построение схемы базы данных......................... 261 Список литературы...................................... Цена: 150руб. |
||||