Главная » Статьи для тега "является"

МАНИПУЛИРОВАНИЕ ДАННЫМИ XML

Добавлено Дата: 3 August, 2012 категория: SQL, Базы данных

Теперь перейдем к вопросу о языках манипулирования данными XML. Было предложено много таких языков, но стандартным, по-видимому, должен стать XQuery [27.29]. Как будет вскоре показано, язык XQuery (работа над которым ко  времени написания данной книги еще не была закончена) основан на  нескольких более ранних языках, включая, в частности, XPath [27.27]; в действительности, язык XQuery полностью включает в себя XPath.

Читать »

ДЕКОМПОЗИЦИЯ БЕЗ ПОТЕРЬ И ФУНКЦИОНАЛЬНЫЕ ЗАВИСИМОСТИ

Добавлено Дата: 1 August, 2012 категория: SQL, Базы данных

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

Читать »

ПРОВЕРКА ОГРАНИЧЕНИЙ

Добавлено Дата: 28 July, 2012 категория: SQL, Базы данных

В данном разделе рассматриваются две темы. Одна из них относится к реализации, а другая — к модели, и обе эти темы касаются вопроса о том, как фактически должны проверяться объявленные ограничения. Вначале рассмотрим проблему реализации. Еще раз вернемся к примеру 1, в котором, как известно, фактически утверждается, что если некоторый кортеж присутствует в переменной отношения S, то этот кортеж должен удовлетворять определенному условию (в данном случае условию "статус должен находиться в пределах от 1 до 100"). В частности, следует отметить, что в этом ограничении речь идет о кортежах в переменной отношения. Поэтому очевидно, что при осуществлении попытки вставить новый кортеж с данными о поставщике со статусом (скажем) 200, должна происходить описанная ниже последовательность событий.

Читать »

Свободные и связанные переменные области значений

Добавлено Дата: 27 July, 2012 категория: SQL, Базы данных

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

Читать »

ОБЗОР КОНЦЕПЦИИ ТРЕХЗНАЧНОЙ ЛОГИКИ

Добавлено Дата: 26 July, 2012 категория: SQL, Базы данных

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

Читать »

КРИТИКА ПОДХОДА, ОСНОВАННОГО НА ИСПОЛЬЗОВАНИИ СВОЙСТВ ACID

Добавлено Дата: 26 July, 2012 категория: SQL, Базы данных

Как было сказано в главе 15, в настоящей главе будет продолжено описание свойств ACID транзакций. В действительности, у автора сложилось довольно  нестандартное мнение по этой теме, как вскоре станет очевидным.

Вначале напомним, что ACID — это сокращенное обозначение таких свойств транзакций, как неразрывность, правильность, изолированность и устойчивость  (atomicitycorrectness-isolation-durability). Ниже эти свойства кратко описаны повторно.

Читать »

ПОДРОБНЫЕ СВЕДЕНИЯ ОБ ОГРАНИЧЕНИЯХ ЦЕЛОСТНОСТИ

Добавлено Дата: 25 July, 2012 категория: SQL, Базы данных

В общем, ограничения целостности представляют собой ограничения, налагаемые на значения, которые разрешено принимать некоторой переменной, или комбинации переменных1. Поэтому тот факт, что конкретная переменная относится к некоторому определенному типу, представляет собой априорное ограничение, налагаемое на рассматриваемую переменную (это ограничение состоит в том, что значения, которые может принимать данная переменная, должны, безусловно, быть значениями этого типа). Например, переменная отношения S (поставщики) ограничивается тем, что должна содержать значения, являющиеся  отношениями, в которых каждое значение s# представляет собой номер поставщика (значение типа s#), каждое значение SNAME является именем  (значением типа NAME) и т.д.

Читать »

ШИФРОВАНИЕ ДАННЫХ СУБД

Добавлено Дата: 24 July, 2012 категория: SQL, Базы данных

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

Читать »

ТРИВИАЛЬНЫЕ И НЕТРИВИАЛЬНЫЕ ЗАВИСИМОСТИ

Добавлено Дата: 24 July, 2012 категория: SQL, Базы данных

Примечание. Далее в этой главе выражение функциональная зависимость будет иногда для краткости заменяться словом зависимость, а функционально зависит от  — словами функционально определяется как и т.п.

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

Читать »

ЗАВИСИМОСТИ СОЕДИНЕНИЯ И ПЯТАЯ НОРМАЛЬНАЯ ФОРМА

Добавлено Дата: 24 July, 2012 категория: SQL, Базы данных

До сих пор в настоящей главе и на протяжении всей предыдущей главы по умолчанию предполагалось, что единственной необходимой или допустимой  операцией в процессе нормализации является замена переменной отношения по  правилам декомпозиции без потерь точно двумя ее проекциями. Такое допущение нас вполне устраивало, пока речь не шла о 4НФ. Однако, хотя это может показаться удивительным, существуют переменные отношения, для которых нельзя выполнить декомпозицию без потерь на две проекции, но которые можно подвергнуть декомпозиции без потерь на три или большее количество проекций.  Подобные переменные отношения обозначим не очень удачным, но достаточно удобным термином "n-декомпонуемая переменная отношения, или отношение". Такое название применяется к переменной отношения, если можно выполнить ее декомпозицию без потерь нап проекций, но не наш проекций, где 1  < m и m < п.

Читать »

ОПЕРАЦИИ НАД МАТРИЦАМИ

Добавлено Дата: 24 July, 2012 категория: Basic

Другими   широко   распространенными   операциями   над   матрицами   являются  обращение    и транспонирование. Если система предусматривает автоматическое переопределение размеров, то она должна  иметь  определенные средства для  получения  информации о  текущих  рабочих  пределах индексов массива.  Например,  в   системе  ICL  2903/4  предусмотрены  две функции:   ROW  (А), возвращающая предельное  значение  первого индекса  А,  и  COL(А),  возвращающая  предельное значение второго индекса А.

Читать »

Типы DISTINCT

Добавлено Дата: 24 July, 2012 категория: SQL, Базы данных

Язык SQL поддерживает две разновидности определяемых пользователем типов — типы DISTINCT и структурированные типы; оба эти типа  определяются13  с помощью оператора CREATE TYPE. рассматриваются в этом подразделе, а структурированные типы — в  следующем  (ключевое слово "DISTINCT" записано здесь прописными буквами, чтобы подчеркнуть, что данное слово не используется в этом контексте в своем обычном естественном языковом смысле — как "различный"). Ниже приведено определение SQL для типа WEIGHT типа DISTINCT (сравните и сопоставьте всевозможные определения для этого типа на языке Tutorial D в разделе 5.4).

Читать »

ДОКАЗАТЕЛЬНО-ТЕОРЕТИЧЕСКОЕ ПРЕДСТАВЛЕНИЕ БАЗ ДАННЫХ

Добавлено Дата: 23 July, 2012 категория: SQL, Базы данных

Как описано в разделе 24.4, выражение представляет собой терм в следующей форме.

Al AND A2 AND . . . AND Am ⇒  Bl OR B2 OR … OR Bn

Здесь все компоненты А и в являются термами в такой форме.

r   (  xl,   х2,   . . .,   xt  )

Здесь r— предикат, a xl, х2, …, xt — фактические параметры этого предиката.)

Читать »

ПРОЕКТИРОВАНИЕ БАЗЫ ДАННЫХ С ПОМОЩЬЮ МЕТОДА ER-МОДЕЛИРОВАНИЯ

Добавлено Дата: 23 July, 2012 категория: SQL, Базы данных

В определенном смысле построенная в соответствии с описанными выше правилами ER-диаграмма является проектом базы данных. Если попытаться отобразить подобный проект4  на некоторую формальную схему,  соответствующую  требованиям конкретной СУБД, то станет ясно, что обычная ER-диаграмма для этого недостаточно точна и в ней отсутствует описание множества важных деталей (особенно тех, которые относятся к целостности данных). Для иллюстрации этого утверждения рассмотрим, что происходит при попытке отобразить проект базы данных, показанный на рис. 14.1, на набор определений компонентов реляционной базы данных.

Читать »

ВЫЧИСЛИТЕЛЬНЫЕ ВОЗМОЖНОСТИ

Добавлено Дата: 22 July, 2012 категория: SQL, Базы данных

Несмотря на то, что ранее об этом не упоминалось, в определенном нами реляционном исчислении уже есть аналоги алгебраических операторов EXTEND и SUMMARIZE ПО перечисленными ниже причинам.

■     Одной из допустимых форм кортежа-прототипа является параметр < tuple se lector inv>  ("вызов селектора кортежа"), компонентами которого могут быть произвольные выражения.

Читать »