Для описания
внешних моделей в реляционной модели могут использоваться представления. Представление
(View) — это SQL-запрос на выборку, который пользователь воспринимает как
некоторое виртуальное отношение. Задание представлений входит в описание схемы
БД в реляционных СУБД. Представления позволяют скрыть ненужные несущественные
детали для разных пользователей, модифицировать реальные структуры данных в
удобном для приложений виде и, наконец, разграничить права доступа к данным
и тем самым повысить защиту данных от несанкционированного доступа.
В отличие
от реальной таблицы представление в том виде, как оно сконструировано, не существует
в базе данных, это действительно только виртуальное отношение, хотя все данные,
которые представлены в нем, действительно существуют в базе данных, но в разных
отношениях. Они скомпонованы для пользователя в удобном виде из реальных таблиц
с помощью некоторого запроса. Однако пользователь может этого не знать, он может
обращаться с этим представлением как со стандартной таблицей. Представление
при создании получает некоторое уникальное имя, его описание хранится в описании
схемы базы данных, и СУБД в любой момент времени при обращении к этому представлению
выполняет запрос, соответствующий его описанию, поэтому пользователь, работая
с представлением, в каждый момент времени видит действительно реальные, актуальные
на настоящий момент данные. Оно формируется как бы на лету, в момент обращения.
Оператор
определения представления имеет следующий вид:
<создание
представлениям := CREATE VIEW <имя представления> [ (<список столбцов>)]
AS <SQL-3anpoc>
При необходимости
в представлении можно задать новое имя для каждого столбца виртуальной таблицы.
При этом надо помнить, что если указывается список столбцов, то он должен содержать
ровно столько столбцов, сколько содержит их SQL-запрос.
Если список
имен столбцов в представлении не задан, то каждый столбец представления получает
имя соответствующего столбца запроса.
Рассмотрим
типичные виды представлений и их назначение.
Релятивисты и позитивисты утверждают, что "мысленный эксперимент" весьма полезный интрумент для проверки теорий (также возникающих в нашем уме) на непротиворечивость. В этом они обманывают людей, так как любая проверка может осуществляться только независимым от объекта проверки источником. Сам заявитель гипотезы не может быть проверкой своего же заявления, так как причина самого этого заявления есть отсутствие видимых для заявителя противоречий в заявлении.
Это мы видим на примере СТО и ОТО, превратившихся в своеобразный вид религии, управляющей наукой и общественным мнением. Никакое количество фактов, противоречащих им, не может преодолеть формулу Эйнштейна: "Если факт не соответствует теории - измените факт" (В другом варианте " - Факт не соответствует теории? - Тем хуже для факта").
Максимально, на что может претендовать "мысленный эксперимент" - это только на внутреннюю непротиворечивость гипотезы в рамках собственной, часто отнюдь не истинной логики заявителя. Соответсвие практике это не проверяет. Настоящая проверка может состояться только в действительном физическом эксперименте.
Эксперимент на то и эксперимент, что он есть не изощрение мысли, а проверка мысли. Непротиворечивая внутри себя мысль не может сама себя проверить. Это доказано Куртом Гёделем.
Понятие "мысленный эксперимент" придумано специально спекулянтами - релятивистами для шулерской подмены реальной проверки мысли на практике (эксперимента) своим "честным словом". Подробнее читайте в FAQ по эфирной физике.