Методическое руководство преподавателя

Тема 2. Взаимосвязи в моделях и реляционный подход к построению моделей — Логическая и физическая независимость данных (§2.2 с.7 программы)

1. Поминутный тайминг учебного занятия

В зависимости от расписания учебной части СИЭУиП занятие реализуется в основном регламенте (80 минут) или в сокращенном регламенте (60 минут при сжатом графике звонков):

2. Архитектура ANSI/SPARC и концепция Data Independence

В 1975 году комитет стандартов ANSI/X3/SPARC (American National Standards Institute, Standards Planning and Requirements Committee) сформулировал фундаментальный принцип организации современных СУБД — трехуровневую архитектуру данных, призванную решить проблему жесткой привязки прикладного программного обеспечения к форматам хранения на магнитных носителях.

3. Логическая независимость данных (Logical Data Independence)

Логическая независимость данных — это свойство СУБД и схемы данных, при котором изменение концептуальной схемы (структуры таблиц, разделения или слияния сущностей, добавления новых атрибутов) не требует переписывания внешних схем и прикладного программного кода.

Механизмы обеспечения логической независимости:

1. Представления (VIEW): виртуальные таблицы, формируемые SQL-запросом к одной или нескольким базовым таблицам. При дроблении таблицы Клиенты на ЮрЛица и ФизЛица создается виртуальное представление v_Клиенты с помощью оператора UNION ALL, что позволяет внешним программам выполнять прежние SELECT-запросы без ошибок.
2. Триггеры INSTEAD OF: специальный тип триггеров, перехватывающий операции манипулирования данными (INSERT, UPDATE, DELETE), направленные на обновляемые сложные представления. Триггер программно распределяет входящий поток строк по новым концептуальным таблицам, сохраняя полную работоспособность устаревших систем учета.
3. Экранирование прав доступа и проекции: создание специализированных представлений для разных категорий пользователей (например, кассир видит только ID, ФИО и Скидочную карту, не получая доступа к паспортам и финансовой истории).

-- Пример логической независимости: сохранение старого интерфейса
-- Исходная таблица Clients разделена на Legal_Entities и Individuals.
-- Создаем VIEW для старой бухгалтерской программы:
CREATE OR REPLACE VIEW Clients AS
SELECT client_id, company_name AS client_name, inn AS tax_id, 'LEGAL' AS client_type
FROM Legal_Entities
UNION ALL
SELECT client_id, full_name AS client_name, inn AS tax_id, 'INDIVIDUAL' AS client_type
FROM Individuals;

-- Обеспечение вставки через триггер INSTEAD OF:
CREATE OR REPLACE TRIGGER trg_clients_insert
INSTEAD OF INSERT ON Clients
FOR EACH ROW
BEGIN
  IF :NEW.client_type = 'LEGAL' THEN
    INSERT INTO Legal_Entities(client_id, company_name, inn)
    VALUES (:NEW.client_id, :NEW.client_name, :NEW.tax_id);
  ELSE
    INSERT INTO Individuals(client_id, full_name, inn)
    VALUES (:NEW.client_id, :NEW.client_name, :NEW.tax_id);
  END IF;
END;

4. Физическая независимость данных (Physical Data Independence)

Физическая независимость данных — это способность СУБД изменять структуры физического хранения данных на дисковых накопителях, алгоритмы индексации, методы сжатия и распределение файлов по файловой системе без изменения концептуальной схемы (таблиц и связей) и прикладных запросов.

Ключевые инструменты физического уровня:

• Индексы (B-Tree, Hash, GiST, GIN, BRIN): дополнительные структуры доступа, ускоряющие поиск данных. Клиентский запрос SELECT * FROM Orders WHERE order_date = '2026-05-10' синтаксически остается абсолютно неизменным: оптимизатор СУБД сам решает переключиться со сканирования всей таблицы (Seq Scan) на сканирование индекса (Index Scan).
• Секционирование таблиц (Table Partitioning): логически таблица Архив_Заказов воспринимается приложением как единая сущность, однако на диске СУБД автоматически распределяет строки по физическим секциям (например, по годам или регионам: orders_2024, orders_2025, orders_2026).
• Табличные пространства (Tablespaces) и точки монтирования: администратор БД может перенести холодные исторические данные на медленные недорогие HDD-накопители, а оперативные горячие таблицы разместить на скоростном NVMe SSD-массиве. Для SQL-разработчика и прикладного сервиса структура таблицы не меняется ни на один байт.
• Алгоритмы компрессии и размер страниц: включение постраничного сжатия (LZ4, ZSTD) сокращает объем дискового ввода-вывода, оставаясь полностью прозрачным для концептуального уровня.

-- Пример физической независимости: оптимизация без изменения прикладного кода
-- Приложение шлет запрос:
SELECT order_id, total_amount FROM Orders WHERE customer_id = 94821;

-- Администратор создает B-Tree индекс:
CREATE INDEX idx_orders_customer ON Orders USING btree(customer_id);

-- Запрос приложения НЕ ИЗМЕНИЛСЯ ни на символ, 
-- но время выполнения сократилось с 1200 мс (Sequential Scan) до 1.5 мс (Index Scan).

5. Типовые ошибки студентов и методические приемы

6. Критериальное оценивание работы студентов (4 балла)

Оценка за практическую работу на интерактивном листе zanyatie.html выставляется по 4-балльной прозрачной шкале:

• Различение логической и физической независимости (2 балла): безошибочная классификация сценариев архитектурных изменений, точное сопоставление уровней ANSI/SPARC с конкретными компонентами СУБД.
• Механизм реализации (VIEW / Индексы / Партиции) (1 балл): корректное формулирование технического решения (экранирование интерфейса представлением, выбор типа индекса B-Tree vs Hash, секционирование).
• Выводы и самопроверка (1 балл): формулирование системного вывода о влиянии рефакторинга на внешние приложения и успешное прохождение контрольного блока самопроверки.