Лекции.Орг


Поиск:




Категории:

Астрономия
Биология
География
Другие языки
Интернет
Информатика
История
Культура
Литература
Логика
Математика
Медицина
Механика
Охрана труда
Педагогика
Политика
Право
Психология
Религия
Риторика
Социология
Спорт
Строительство
Технология
Транспорт
Физика
Философия
Финансы
Химия
Экология
Экономика
Электроника

 

 

 

 


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




В основе модели такого типа лежит формальн.сист., задаваемая 4-кой вида:

M=<T, P, A, B>

где Т - мн-во базовых элементов какой-либо природы(слова, буквы, конструктор, детали и т.д.),требующих наличие процедуры, позволяющей определить принадлежность элемента к этому мн-ву.

Р – мн-во синтаксич.правил,с пом-ью кот. из мн-ва базовых эл-ов строятся т.н. синтакс-и правильн. совок-ти.(из слов предлож-ия,из деталей машина)

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

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

Логическая (предикатная)модель

– представл. знаний основано на алгебре высказываний и предикатов,на сист. аксиом этой алгебры и её правилах вывода

В логич.мод. знаний

• Слова,опис-щие сущн-ти предм.обл.-термы(конст-ты,перем-ые, ф-ции)

• Слова,опис-щие отнош-ия сущн-тей предикаты

Предикат – логическая N-арная пропорцион-ая ф-ция, определенная для предм.обл-ти и приним-ая знач. истинности либо ложности.

Пропозиционной – наз-ся ф-ция,кот. ставит в соотв-ие объектам из обл-ти опр-ия одно из истинностных знач.(«истина» «ложь»)

Логич. Мод.

 Удобны для предст-ия логич.возм-тей между фактами

 Формализованы

 Строги теоретически

 Для их исп-ия имеется удобн. и адекватн. Инструментарий (яз.логич.программир-ия)

Достоинства Логич. Мод.

1)В кач-ве «фундамента» исп-ся классич. аппарат мат. логики

2)Существуют достаточно эффективные процедуры вывода,реализованные на языке логич-ого программир-ия Пролог

3)В базе знаний можно хранить лишь мн-во аксиом,а все остальные знания получать из них.

 

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

Сист.управл-ия БД Mіcrosoft Access (MA) 2003 и ее основные возможности

Приложение MA – это настольн. сист. управл-ия реляц-ыми БД (СУБД), предназнач-ая для раб. на автономном персональном комп-ре(ПК) или локальной вычислит-ой сети под управл-ием семейства операц-ых сист. Microsoft Windows (Windows 2000, Windows XP и Windows Server 2003).

СУБД MA обладает мощными, удобными и гибкими ср-ами визуального проектир-ия объектов с пом-ью Мастеров, что позволяет польз-лю при min-ой предварительной подгот-ке быстро создать полноценную инф-ную сист. на ур-не таблиц, запросов, форм,отчетов.

К осн-ым возм-тям СУБД MA можно отнести следующие:

-Проектир-ие базовых объектов–двумерные таблицы с полями разных типов данных.

-Созд-ие связей между табл-ами,с поддержкой целостности данных, каскадного обновления полей и каскадного удаления записей.

-Ввод,хранение,просмотр,сортировка,измен-ие и выборка данных из таблиц с исп-ием различных ср-ств контроля инф-ии, индексир-ия таблиц и аппарата алгебры логики.

-Созд.,модификация и исп-ие производных объектов(запр-ов,форм,отчетов)

Пользовательский интерфейс MA2003

Интерфейс пользователя MА–это комплекс прогр-м,кот.реализует диалог в процессе работы пользователя с приложением Access.

После загрузки MA на экране появ-ся главное окно,в кот-ом размещ-ся окно БД. При 1-ом запуске Access в гл-ом окне вывод-ся обл.зад. в режиме «Приступая к раб.»,с пом-ью кот.можно открыть существ-ие БД и «Созд. файл».

При выборе команды «Созд. файл» в обл. зад. изм-ся режим на «Созд.Ф.».

При выборе ком-ы «Нов.БД» откр-ся окно диалога«Файл нов.БД», в кот. необх-мо выбрать имя диска и директории для хран-ия БД, а также имя БД (тип файла устанавливается по умолчанию «Базы данных MA»)и щелкнуть на кнопке «Создать», будет сохранен файл с расширением.mdb.

В гл.окне появ-ся окно БД с назнач-ым именем.В Access2003 для новых БД по умолчанию исп-ся формат файла Access 2000,необх-ый для обеспечения совместимости с БД предыдущих версий.Для того чтобы изм-ить формат файлов Access2000,необх-мо в меню гл. окна выбрать ком-ду «Сервис/Служебн.прогр-ы/Преобр-ать БД» и указать нужный формат.

Для изм-ия исп-ого по умолч-ию формата файлов при созд.нов. БД необх-о выбрать команду Сервис/Параметры,активиз-ать вкладку «Другие» и в списке«Формат файла по умолч-ию»выбрать из списка Access 2002—2003.

Гл окно приложения MA сост. из след-их обл-тей:-строка заголовка;-строка меню;-панель инструментов;-окно БД;-строка сост-ия.

1)В строке заголовка нах-тся системн. меню в виде пиктограммы,располож-ой слева от названия главного окна: «Microsoft Access».2)Строка меню содержит группы команд объед-ые по функцион-ому признаку:Файл,Правка,Вид,Вставка,Сервис,Окно,Справка.Команды, содерж-ие в меню аналогичны командам в редакторах Word,Excel и в др. прилож-ях Office.3)Панель инстр-ов.При запуске Access по умолчанию активиз-тся одна панель инструментов.На панели инстр-ов расположены наиб. часто исп-ые команды.Перед созд-ем БД необходимо ознаком-ся с главным меню и панелью инструментов.4) Окно БД имеет:строку заголовка;панель инструментов, на кот.расп-ены след-ие кнопки: Открыть – (открытие выдел-го объекта (табл., запр., формы,т.д.)в режиме стр);Конструктор(открытие выделенного объекта в режиме конструктора); Создать; Удалить; Крупные значки; Мелкие значки; Список; Таблица; панель "Объекты": табл.,запр-ы,формы,отч-ы,стр-ы, макросы,модули;обл. окна со списком возм-ых режимов созд-ия нов. объектов или просм-а,редактир-ия существ-их объектов(в этой обл-ти также отображ-ся списки имеющихся в этой базе табл.,форм,запр.и т.д.) 5) Строка сост.Наход-ся внизу гл. окна и предназн-на для вывода кратк. инф.о текущем режиме раб.

Панель "Объекты": Табл.–двумерные табл-ы,кот.исп-ся для хранения данных в реляц-ых БД. Данные хранятся в записях,кот.сост.из отдельных полей. Кажд.табл. содержит инф-ию о сущностях опр-ого типа(например, студентах). Запрос – ср-во для отбора данных,удовлетвор-их опр-ым усл-ям.С пом-ью запросов можно выбрать из БД только необх-ую инф-ию

Форма – ср-во,кот.позв-яет упростить процесс ввода/изм-ия данных в табл-ах БД,что обесп-ает ввод данных персоналом невысокой квалификации.

Отчет – ср-во,кот.позв-яет извлечь из БД нужн. инф-ию и представить ее в виде,удобном для восприятия,подгот-ить для распечатки отчет,кот. оформлен соотв-им образом.Стр-ы-стр-ы доступа к данным предст-яют собой спец-ую Web-стр, предназн-ую для просм-а и раб. через Интернет/интрасеть с данными, кот. хранятся в БД MA или БД MS SQL Server.Макрос-набор макрокоманд,созд-ый польз-ем для автомат-ции вып-ия конкр. операций.Модуль-объект,содерж-ий прогр-ы на яз.Visual Basic,примен-ые в некот. случаях для обраб. данных.

Обл. со списком возм-ых режимов созд. объектов.В этой обл.кроме списка реж-ов созд. объектов отображ-ся созд-ые объекты (таблицы,формы,т.д.),кот.можно просм-ать/редакт-ать.Для этого необх-мо выделить треб-ый объект,наприм.,табл.и нажать кнопку"Откр."/"Констр-ор".Нажатие кнопки “Откр.”активизирует режим табл.,в кот. можно просм-ать и редакт-ать данные в выбр-ой табл.Нажатие кн-ки“Констр-ор”откр-ает табл.в режиме констр-ра,предназн-ом для просм-а и изме-ия структ-ы табл.

 





Поделиться с друзьями:


Дата добавления: 2016-04-03; Мы поможем в написании ваших работ!; просмотров: 724 | Нарушение авторских прав


Поиск на сайте:

Лучшие изречения:

Велико ли, мало ли дело, его надо делать. © Неизвестно
==> читать все изречения...

2443 - | 2127 -


© 2015-2024 lektsii.org - Контакты - Последнее добавление

Ген: 0.007 с.