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

Логич. модели – в основе лежит формальная система, сост. из 4 множеств:

M=<T, P, A, B>

Т- множ-во элем. базы предм. обл., для кот. сущ. способ определения принадл-ти этого элемента к множ-ву;

Р – множ. синтакс. правил, кот. позволяют из множ. элем. строить синтаксич. прав-ые совокупности;

А – во множ. синтаксич. правильных совок. выдел-ся (А), элементы кот. назыв. аксиомами. Должна сущ. процедура, с пом. кот. можно определ. принадл-ть или непринадл-ть множ. аксиом;

В – множ. правил вывода, применяя кот. можно получать новые правильные совокупности.

В системе формир-ся множ. вывод-ых данных.

Для знаний, вход. в БЗ, можно считать, что в кач-ве аксиом выступають все инф. ед-цы, введенные в БЗ извне. Из них выводятся новые произвольные знания.

Логич. модель основана на алгебре высказываний и предикатов, на сис-ме аксиом этой алгебры и ее правилах вывода.

44. Хар-ка СУБД Microsoft Access 2003: тип, платформа, функц.возм., пользоват. интерфейс, настройка рабочей среды.

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

Access имеет инструмент-е средства для создания: лок. БД, централиз. БД в лок. сети с файловым сервером, проектов(прилож. работающих с БД Microsoft SQL Server 6.5 b 7.0) Access поддерживает механизм OLE – связывание и внедрение разл. прилож. Windows в БД. Позволяет импорт-ть данные таблиц: других БД(dBase, Paradox, Oracle); Microsoft Excel; а также данные почтовой прогр. Microsoft Exchange, таблицы и списки HTML. Может экспорт-ть объекты БД в другие прилож.

Access позв. осущ. восстан., сжатие, репликацию и защиту БД. Дает возм-ть конвертировать БД из предыд. версий в текущ. и наоборот. Для получ. помощи можно воспольз. справ. системой, вызываемой из пункта меню Справка.

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

При констр. объектов БД пользов. имеет дело с окнами констр. табл, запросов, форм, отчетов, страниц, макросов. В окне БД, из окон конструкторов откр. окна объектов БД, в кот. просматр. созд. объекты. Задание опред. хар-к эл-ам объектов БД происх. в окнах свойств. Вывод сообщ. Access осущ. в окнах сообщ. Вып. нек. команд меню влечет появл. диалог. окон.

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

Дата добавления: 2015-10-21