Равносильные преобразования формул

Используя равносильности групп 1–3 можно часть формулы или формулу заменить равносильной ей формулой. Такие преобразования формул называются равносильными.

Равносильные преобразования используются для доказательства равносильностей, для приведения формул к заданному виду, для упрощения формул. Формула A считается проще равносильной ей формулы B, если она содержит меньше букв, меньше логических операций. При этом обычно операции эквивалентность и импликация заменяются операциями дизъюнкции и конъюнкции, а отрицание относят к элементарным высказываниям.

25. Основные понятия. Таблица, книга, ячейка. Относительные, абсолютные и смешанные адреса.

Таблица – это основной обьект, набор данных по конкретной теме.

Ячейка – область, определяемая пересечением столбца и строки электронной таблицы, имеющая свой уникальный адрес.

Абсолютный адрес

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

Например ссылка http://www.webpupil.ru является абсолютной и ведет на главную страницу этого сайта.

Ссылка http://www.webpupil.ru/articles.php также является абсолютной и указывает путь к странице сайта www.webpupil.ru, содержащей перечень статей - файлу articles.php.

Пример

Фрагмент кода:

<a href="http://www.webpupil.ru/articles.php">  Ссылка на файл articles.php  </a>

Результат:

Ссылка на файл articles.php

Таким образом абсолютный адрес или путь - это полный путь к файлу, начинающийся с указания протокола http с двоеточием и двумя символами слэш «://», затем указывают адрес сайта: в нашем случае - это www.webpupil.ru и через слэш «/» непосредственно имя файла -articles.php.

Если файл расположен не в корневом каталоге сайта (Корневой каталог/папка - это каталог, который не является подкаталогом ни одного другого каталога), а скажем в папке folder (то есть расположен во вложенной папке), то для задания его полного адреса следует после имени сайта указать имя папки, а затем имя самого файла: http://www.webpupil.ru/folder/articles.php

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

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

26. свойства реляционной модели, Манипулирование реляционными моделями.

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

Для формулы реляционного исчисления однозначная интерпретация (соответствующая однозначная последовательность действий), вообще говоря, отсутствует. Формула только устанавливает условия, которым должны удовлетворять кортежи результирующего отношения. Поэтому языки реляционного исчисления являются более непроцедурными или декларативными. Операции, реализуемые с помощью указанных аппаратов, обладают важным свойством: они замкнуты на множестве отношений. Это означает, что выражения реляционной алгебры и формулы реляционного исчисления определяются над отношениями реляционных БД и результатом вычисления также являются отношения. В результате любое выражение или формула могут интерпретироваться как отношение, что позволяет использовать их в других выражениях или формулах. Как мы увидим, алгебра и исчисление обладают большой выразительной мощностью, очень сложные запросы к базе данных могут быть выражены с помощью одного выражения реляционной алгебры или одной формулы реляционного исчисления. Именно по этой причине такие механизмы включены в реляционную модель данных. Конкретный язык манипулирования реляционными БД называется реляционно полным, если любой запрос, выражаемый с помощью одной операции реляционной алгебры или одной формулы реляционного исчисления, может быть выражен с помощью одного оператора этого языка. Заметим, что крайне редко алгебра или исчисление принимаются в качестве полной основы какого-либо языка БД. Обычно (как, например, в случае языка SQL) язык основывается на некоторой смеси алгебраических и логических конструкций. Тем не менее знание алгебраических и логических основ языков баз данных часто бывает полезно на практике.

Реляционная модель данных Почти все современные системы основаны на реляционной (relational) модели управления базами данных. Название реляционная связано с тем, что каждая запись в такой базе данных содержит информацию, относящуюся только к одному конкретному объекту. В реляционной СУБД все обрабатываемые данные представляются в виде плоских таблиц. Информация об объектах определенного вида представляется в табличном виде: в столбцах таблицы сосредоточены различные атрибуты объектов, а строки предназначены для сведения описаний всех атрибутов к отдельным экземплярам объектов. Модель, созданная на этапе инфологического моделирования, в наибольшей степени удовлетворяет принципам реляционности. Однако для приведения этой модели к реляционной необходимо выполнить процедуру, называемую нормализацией.

Теория нормализации оперирует с пятью нормальными формами. Эти формы предназначены для уменьшения избыточности информации, поэтому каждая последующая нормальная форма должна удовлетворять требованиям предыдущей и некоторым дополнительным условиям. При практическом проектировании баз данных четвертая и пятая формы, как правило, не используются. Мы ограничились рассмотрением первых четырех нормальных форм. Введем понятия, необходимые для понимания процесса приведения модели к реляционной схеме. Отношение - абстракция описываемого объекта как совокупность его свойств. Проводя инфологический этап проектирования, мы говорили об абстракции объектов и приписывали им некоторые свойства. Теперь же, проводя концептуальное проектирование, мы переходим к следующему уровню абстракции. На данном этапе объектов, как таковых, уже не существует. Мы оперируем совокупностью свойств, которые и определяют объект.

Экземпляр отношения - совокупность значений свойств конкретного объекта. Первичный ключ - идентифицирующая совокупность атрибутов, т.е. значение этих атрибутов уникально в данном отношении. Не существует двух экземпляров отношения содержащих одинаковые значения в первичном ключе. Простой атрибут - атрибут, значения которого неделимы. Сложный атрибут - атрибут, значением которого является совокупность значений нескольких различных свойств объекта или несколько значений одного свойства.

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

трудностей. Графическая интерпретация реляционной схемы Концептуальная модель, реализованная в виде реляционной схемы, имеет свои правила графического представления. Отношение представляется в виде полоски, содержащей имена всех атрибутов. Имя отношения пишется над ней. Первичный ключ отношения должен быть выделен жирной рамкой. Связи, определенные между отношениями, должны быть показаны линиями, проведенными между связующими атрибутами. Значения экземпляров связующих атрибутов должны совпадать.

27. Принципы работы в internet.Адресация в internet. Услуги Internet.

Принцип работы интернета

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