Формал. логич. модели. Их примеры




В основе моделей такого типа лежит формальная система, задаваемая четверкой вида: M = <T, P, A, B>. Т – множество базовых элементов; Р- мн-во синтакс правил, В- мн-вом правил вывода; А- множество синтаксически правильных сов-тей. Для знаний, входящих в БЗ, можно считать, что множ-во аксиом образуют множ-во единиц, введенных в базу извне. Примером аксиоматич сис-м являя исчесление высказываний и предикатов. Логика(исчисл-е) высказываний – раздел мат логики,лежащий в основе всех ее разделов. Основными объектами явл высказывания-предл-я, о каждом из кот можно сказать истинно и ложно оно (истина обознач.симв. 1, ложь-0) Логика предикатов нач-ся с анализа строения высказываний, кот выражают тот факт,что объекты обладают некот св-вами или наход-ся между собой в некот отн-ях(понятие он-ние и св-во являя частным случаем:сущ предикат-свойство, предикат отн-ние). Форм логич модель основана на предикатах 1-го порядка,когда предметн обл или задача описыв-ся в виде аксиом. Логические модели формализованы, строги, имеют удобный и адекватный инструментарий. «+» хорошо исследованы, достаточно эффективные процедуры вывода, «фундамент»-классич аппарат математ логики а «-« их закрытость и негибкость: модификация и расширение всегда связаны с перестройкой всей сис-мы. Форм.лог модель предъявляет выс огрыничения и требов к предм обл,поэтому применима в осн в исследоват сис-мах.

Хар-ка СУБД Micrоsoft Access 2003

СУБД Microsoft Access предназначена для работы с реляц. БД. Эта СУБД входит в программный комплекс Microsoft Office 2000, компоненты кот. работают в среде Windows 95/98, Windows NT Workstation 4.0 и выше.

Хар-ка СУБД Access: - высокая степень универсальности и продуманности интерфейса; -развитые возм-ти интеграции с комп-ми MS Office,продуктами, поддерж OLE; - наличие средств автоматизации работы; - наличие визуальных ср-в разработки;-наличие встроенного языка для разраб приложений; -возможность создания локал БД, централиз БД в локальной сети, клиентских приложений; -механизмы сжатия, восстановления БД после сбоя; -репликация БД; -разграничение доступа к данным и макетам; -наличие встроенных драйверов, связывающ след типы данных: БД Access, проекты Access, файлы Paradox, dBASE, Excel, Exchange, HTML, Outlook.

Польз. интерфейс. После загрузки Access появится старт. окно Access, содерж. окно запуска, позвол. откр. сущ. БД или созд. новую. Выполнение одной из предлож. операций вызывает главное окно Access. В строке заголовка отображ. имя программы. Строка меню содерж. неск. пунктов меню. Панель инстр. представл. собой набор граф. кнопок, назначение кот. ускорить вызов команд меню. В рабочей области главного окна Access располагается окно БД, состоящее из:1. Строки заголовка окна БД, в которой всегда отображается имя открытой БД (db1).2. Панели объектов БД, наход-ся в левой части окна БД и отображающей в рабочей области окна БД объекты нужного типа. размещается папка Избранное. 3. Рабочей области окна БД, где содержатся ярлыки, служащие для создания новых объектов БД. При конструировании объектов БД пользователь имеет дело с окнами конструкторов таблиц, запросов, форм, отчетов, страниц, макросов. В окне БД, из окон конструкторов таблиц, запросов, форм, отчетов, страниц, макросов открываются окна объектов БД.

Настрйка раб. среды Осущ. настр. раб. среды в можно с помощ. команды Сервис/Парам. В результаое появ диалог. окно Параметры с вкладками. На вкладке Вид есть возм. включить/отключить отображение строки состояния, окна запуска, ярлыков для создания нов. объектов в окне БД. На вкладке Общие устанавл. поля страниц, звук. сопровождение при выполнении разл. действий. На вкладке Правка и Поиск задаются парам. поиска и замены. Вкладка Режим табл. служит для установки парам. табл. Вкладка Табл. и запросы позвол. установ. парам., использ. в режиме конструктора табл. и в режиме констр. запроса. Вкладка Формы и Отчеты прим. для устан. Параметров в реж. констр. формы и в режиме констр. отчета. Вкладка Клавиатура позвол.задать реж. работы при вводе данных с клав-ы.

Хар-ка объектов БД.

Объекты СУБД: 1) Таблицы - основн.структура, предназн. для хранен.информации в БД. Ее строки - записи, а столбцы - поля БД. 2) Запрос - это требовование на: отбор данных, хран-ся в табл.; выполнение вычисл. над данными; внесение измений в БД. 3)Форма – созданный на экране шаблон, использ., главн. образ., для ввода, просм-ра и редакт-я записей БД. 4) Отчет – отображ. на принтере или на экр. информации из БД в виде, удобн. для ее восприят. и анализа пользов-ем. 5) Страница доступа к данным – диалог. Web-стр., кот. поддерж. динам. связь с БД и позвол. просматр., редакт. и вводить данные в базу из окна браузера Internet 6)Макрос – последов-ть макрокоманд для автомат. выполн-я операц. в среде Access без программ. 7) Модуль – программа для раб. с БД, напис. на языке VBA.

Размещение объектов БД:

- Все объекты, за исключ. стр. доступа к данным, можно хран. в одном файле БД с расширением. mdb. - Страницы сохр. как самост. файлы с расшир.. html отдельно от БД, с кот. они связаны - Отчёты можно сохран. в файле с расшир.. snp (формат снимка очёта) и распределять среди пользоват. по электр. почте. - БД может быть сохр. в файле приложения с расшир.. mde. - Проект размещается в файле с расшир.. adp

Стандартные режимы работы с объектами БД:1) создать-создание стр-ры объекта; 2)конструктор- создание и изменение стр-ры; 3)открыть (просмотр, запуск) – работа с объектами БД; 4) мастер- пошаговое создание объекта

этапы создания БД:1) разработка и описание структур таблиц данных; 2) раз-ка схемы данных и задание системы взаимосвязей между таблицами; 3) раз-ка системы запросов к таблицам БД; 4) разработка экранных форм ввода и вывода данных; 4) раз-ка системы отчетов; 5) раз-ка программ расширений; 6) разр-ка системы защиты данных, прав и ограничений по доступу



Поделиться:




Поиск по сайту

©2015-2024 poisk-ru.ru
Все права принадлежать их авторам. Данный сайт не претендует на авторства, а предоставляет бесплатное использование.
Дата создания страницы: 2016-04-02 Нарушение авторских прав и Нарушение персональных данных


Поиск по сайту: