Рисунок 2.2 иллюстрирует взаимодействие пользователя, СУБД и ОС при обработке запроса на
получение данных. Цифрами помечена последовательность взаимодействий:
БМД — это
База Метаданных, именно здесь и хранится вся информация об используемых
структурах данных, логической организации данных, правах доступа пользователей
и, наконец, физическом расположении данных. Для управления БМД существует специальное
программное обеспечение администрирования баз данных, которое предназначено
для корректного использования единого информационного пространства многими пользователями.
Всегда ли
запрос проходит полный цикл? Конечно, нет. СУБД обладает достаточно развитым
интеллектом, который позволяет ей не повторять бессмысленных действий. И поэтому,
например, если этот же пользователь повторно обратится к СУБД с новым запросом,
то для него уже не будут проверяться внешняя модель и права доступа, а если
дальнейший анализ запроса покажет, что данные могут находиться в системном буфере,
то СУБД осуществит только 11 и 12 шаги в обработке запроса.
Разумеется, механизм прохождения запроса в реальных СУБД гораздо сложнее, но и эта упрощенная схема показывает, насколько серьезными и сложными должны быть механизмы обработки запросов, поддерживаемые реальными СУБД.
Релятивисты и позитивисты утверждают, что "мысленный эксперимент" весьма полезный интрумент для проверки теорий (также возникающих в нашем уме) на непротиворечивость. В этом они обманывают людей, так как любая проверка может осуществляться только независимым от объекта проверки источником. Сам заявитель гипотезы не может быть проверкой своего же заявления, так как причина самого этого заявления есть отсутствие видимых для заявителя противоречий в заявлении.
Это мы видим на примере СТО и ОТО, превратившихся в своеобразный вид религии, управляющей наукой и общественным мнением. Никакое количество фактов, противоречащих им, не может преодолеть формулу Эйнштейна: "Если факт не соответствует теории - измените факт" (В другом варианте " - Факт не соответствует теории? - Тем хуже для факта").
Максимально, на что может претендовать "мысленный эксперимент" - это только на внутреннюю непротиворечивость гипотезы в рамках собственной, часто отнюдь не истинной логики заявителя. Соответсвие практике это не проверяет. Настоящая проверка может состояться только в действительном физическом эксперименте.
Эксперимент на то и эксперимент, что он есть не изощрение мысли, а проверка мысли. Непротиворечивая внутри себя мысль не может сама себя проверить. Это доказано Куртом Гёделем.
Понятие "мысленный эксперимент" придумано специально спекулянтами - релятивистами для шулерской подмены реальной проверки мысли на практике (эксперимента) своим "честным словом". Подробнее читайте в FAQ по эфирной физике.