Итак, бланк 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.
Для использования рамок в ячейках проделайте следующие действия:
Для затенения фона ячеек цветом проделайте следующие действия: