Смекни!
smekni.com

Итак, бланк QBE ориентирован на запись ДНФ-выражений. Но ведь фильтры могут задаваться любыми логическими выражениями, в том числе и не являющимися ДНФ-выражениями! И тут у любознательного ученика может возникнуть вопрос: а почему так сделано? Как быть, если фильтр не является ДНФ-выражением? Это что, недосмотр разработчиков, или тут есть какой-то резон?

К сожалению, “пользовательская” информатика (видимо вслед за разработчиками программного продукта), очень не любит отвечать на подобные вопросы. А зря. Мы считаем, что школьная информатика должна не только отвечать на эти вопросы, но и стимулировать их появление у учащихся.

Оказывается, резон есть. Дело в том, что всякое логическое выражение эквивалентно некоторому ДНФ-выражению. И мы это сейчас докажем. А заодно дадим и алгоритм сведения произвольного логического выражения к ДНФ-выраженнию.

Сведение произвольного логического выражения к ДНФ-выраженнию.

Определение 4. Пусть Х и У – логические выражения с одинаковыми наборами атомов. Скажем, что Х и У равносильны, если они принимают одинаковые значения для любого набора значений входящих в них атомов.

Символически эквивалентность выражений Х и У обозначается как ХÛ У.

Лемма 1. Пусть Х и У – произвольные логические выражения. Тогда NOT(Х OR У) Û (NOT Х) AND (NOT У)

Доказательство. Мы только что построили таблицу истинности для NOT(Х OR У). Постройте такую же таблицу для Û (NOT Х) AND (NOT У) и сравните обе таблицы.

Лемма 2. Пусть Х и У – произвольные логические выражения. Тогда NOT(Х AND У) Û (NOT Х) OR (NOT У).

Доказательство: аналогично доказательству леммы 1.

Лемма 3. Пусть Х, У и Z– произвольные логические выражения. Тогда Х AND (У OR Z) Û (Х AND У) OR (Х AND Z).

Доказательство: постройте таблицы истинности для обоих выражений.

Теорема 2. Всякое логическое выражение эквивалентно некоторому ДНФ-выражению.

Эскиз доказательства. Идея доказательства очень проста. Сначала мы с помощью лемм 1 и 2 загоняем все NOT внутрь AND и OR, а потом, с помощью леммы 3 – все AND внутрь OR. Формальное описание этой процедуры довольно громоздко, и поэтому мы ограничимся примером. Пусть Х, У и Z– произвольные атомы. Тогда Х AND NOT(У AND Z) Û Х AND (NOT У OR NOT Z) Û (Х AND NOT У) OR (Х AND NOT Z).

Заключение.

Итак, мы убедились, что фильтр – это просто логическое выражение, а фильтрование – выбор кортежей, на которых это выражение истинно. Фильтр записывается на бланке QBE. Этот бланк приспособлен для записи ДНФ-выражений. Такой выбор не случаен: любое логическое выражение эквивалентно некоторому ДНФ-выражению. Таковы, на наш взгляд, основные идеи, лежащие в основе реализации фильтра в Access.

Отметим, кстати, что в Access существуют еще и другие конструкции, идейно очень близкие к фильтру, но оформленные, порою, совершенно по-другому. В частности, это ЗАПРОСЫ НА УДАЛЕНИЕ (см. [6]), а также УСЛОВИЯ НА ЗНАЧЕНИЕ, задаваемые либо в СВОЙСТВАХ ТАБЛИЦЫ, либо в СВОЙСТВАХ ПОЛЯ. Соотношение фильтра, условия на значение и ЗАПРОСА НА УДАЛЕНИЯ можно пояснить так. Каждое из них задается логическим выражением, которое мы будем называть “законом”. ФИЛЬТР позволяет скрыть все “незаконные” кортежи, УСЛОВИЯ НА ЗНАЧЕНИЕ – не допустить появления в таблице “незаконных” кортежей, а ЗАПРОС НА УДАЛЕНИЯ – удалить все “незаконные” кортежи из таблицы.

.

Общие сведения

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

Microsoft Excel позволяет работать с таблицами в двух режимах:
- обычный - наиболее удобный для выполнения большинства операций.
- разметка страниц - удобен для окончательного форматирования таблицы перед распечаткой. Границы между страницами в этом режиме отображаются синими пунктирными линиями. Границы таблицы - сплошной синей линией, перетягивая которую, можно изменять размеры таблицы.
Для перехода между режимами Обычный и Разметка страниц используются соответствующие пункты меню Вид.

Рабочая книга, ячейки

Файл Microsoft Excel называется рабочей книгой. Рабочая книга состоит из рабочих листов, имена которых (Лист1, Лист2, …) выведены на ярлыках в нижней части окна рабочей книги (рис.2). Щелкая по ярлыкам, можно переходить от листа к листу внутри рабочей книги. Для прокручивания ярлыков используются кнопки слева от горизонтальной координатной линейки:

Рабочий лист представляет собой таблицу, состоящую из 256 столбцов и 65536 строк. Столбцы именуются латинскими буквами, а строки – цифрами.

Каждая ячейка (Ячейка - минимальный элемент электронной таблицы, над которым можно выполнять те или иные операции.) таблицы имеет адрес, который состоит из имени строки и имени столбца. Например, если ячейка находится в столбце F и строке 7, то она имеет адрес F7. Диапазон ячеек - две или более ячеек листа. Ячейки диапазона могут быть как смежными, так и несмежными.

Форматирование строк, столбцов и ячеек

Для изменения ширины столбца перемещайте правую границу заголовка столбца до тех пор, пока его ширина не достигнет необходимого размера. Отображаемая ширина столбца говорит о среднем числе символов 0-9 стандартного шрифта, помещающихся в ячейке.
Чтобы изменить ширину столбца вручную, выделите столбец, выберите команду Столбец в меню Формат, затем — команду Ширина и введите необходимую ширину.
Чтобы столбцы имели одинаковую ширину, выделите ячейку в одном из столбцов, нажмите кнопку Копировать на панели инструментов Стандартная и затем выделите столбец, ширина которого изменяется. В меню Правка выберите команду Специальная вставка и затем выберите Ширины столбцов.


Для изменения высоты строки перемещайте с помощью мыши нижнюю границу заголовка строки до тех пор, пока высота строки не достигнет необходимого размера.
Чтобы подобрать высоту строки в соответствии с содержимым, поместите указатель на нижнюю границу заголовка и дважды нажмите кнопку мыши.
Чтобы изменить высоту нескольких строк, выделите строки, которые необходимо изменить, а затем переместите нижнюю границу заголовка строки. Чтобы изменить высоту всех строк на листе, нажмите кнопку Выделить все, а затем переместите нижнюю границу заголовка любой строки.


Управление отображением строк и столбцов

Для скрытия строки или столбца проделайте следующие действия:

  • выберите строки или столбцы, которые нужно скрыть;
  • в меню Формат установите указатель на пункт Строка или Столбец и выберите команду Скрыть.

Для отображения скрытых строк выделите ячейки в строках над и под скрытыми строками. Чтобы вывести на экран скрытые столбцы, выделите ячейки в столбцах слева и справа от скрытых столбцов. В меню Формат установите указатель на пункт Строка или Столбец и выберите команду Показать.
Если первая строка или столбец листа являются скрытыми, выберите команду Перейти в меню Правка. В поле Ссылка введите A1 и нажмите кнопку OK. Установите указатель на пункт Строка или Столбец в меню Формат и выберите команду Показать.

Форматы ячеек

Чтобы изменить формат ячейки или диапазона ячеек выделите их, затем нажмите правую кнопку мыши, в открывшемся меню выберите пункт “Формат ячеек”. Существует множество форматов ячеек, также можно создавать свои, используя встроенный в Excel язык форматов ячеек.

Для копирования форматов одних ячеек на другие проделайте следующие действия:

  • выделите ячейку или диапазон ячеек, формат которых необходимо скопировать;
  • на панели инструментов Стандартная нажмите кнопку Формат по образцу;
  • выделите ячейку или диапазон ячеек, в который необходимо скопировать формат.

Форматирование ячеек

Для отображения нескольких строк текста внутри ячейки проделайте следующие действия:

  • выделите ячейки, формат которых необходимо изменить;
  • в меню Формат выберите команду Ячейки, а затем откройте вкладку Выравнивание;
  • в поле Отображение установите флажок переносить по словам.

Для начала новой строки текста с определенного места на панели формул (рис1) (или в ячейке, если редактирование производится в ячейке) выберите место, где строка должна прерваться, а затем нажмите клавиши ALT+ENTER.

Для использования рамок в ячейках проделайте следующие действия:

  • выделите ячейки, в которые необходимо добавить рамку;
  • чтобы использовать последний выбранный цвет, нажмите кнопку Границы на панели инструментов Форматирование;
  • для использования другого типа рамки нажмите стрелку рядом с кнопкой Границы и выберите требуемый тип рамки.

Для затенения фона ячеек цветом проделайте следующие действия:

  • выделите ячейки, которые необходимо затенить;
  • чтобы использовать последний выбранный цвет, выберите мышью элемент Цвет заливки на панели инструментов Форматирование;
  • для использования другого цвета нажмите стрелку рядом с кнопкой Цвет заливки, а затем выберите необходимый цвет.