Запити, фільтри, використання та функціональне призначення
Так що ж таке запит (і, зокрема, запит-вибірка): “спеціальна структура”, “вимога на добір даних”, “питання про даний”, “таблиця”, чи що-небудь інше?Щоб відповісти на це питання, потрібно знову згадати, що в реляційних системах усі дані представляються у виді таблиць. Ці таблиці поділяються на базисні (тобто вихідні дані) і похідні, що обчислюються на основі базисних. Базисні відносини - це вихідні дані. А похідні - це або відповідь, або проміжні результати. Суть роботи СУБД полягає в тім, що вона, перетворити наявні відносини, будує по них нові відносини. Зрештою, обчислюється підсумкове відношення, що ми будемо називати відповіддю на запит.
Обмеження цілісності - це правила (можна сказати, аксіоми), що із усіх станів виділяють “розумні”. Наприклад, якщо в деякій базисній таблиці є атрибути “дата_народження” і “дата_смерті”, те природно ввести таке обмеження цілісності: дата_народження £ дата_смерті.
Визначимо стан БД як набір базисних відносин. (Більш точно було б визначити стан як алгебраїчну систему, але це ускладнило б формалізацію.) У класі всіх станів виділяється підклас припустимих станів. Це ті стани, що задовольняють обмеженням цілісності. Тоді запит можна трактувати як функцію Z, що зіставляє кожному припустимому стану ST деяке відношення Z(ST), що ми і називаємо відповіддю на запит. При цьому сам запит записується вираженням на відповідному формальній мові, що, як було вище сказане, називається мовою запитів. Це вираження ми будемо називати формулою запиту.
Пояснимо сказане на прикладі. Нехай мається два базисних відношення:
Розмови
номердатамістотривалість
11-22-3301.01.00Москва7
11-22-3301.02.00Париж9
22-33-4401.01.00Женева20
22-33-4402.01.00Цюрих17
і
Телефони
номервласникАдрес
11-22-33ІвановЛенина 17
22-33-44ПетровВайнера 4
Нас цікавить, з якими містами і коли розмовляв Петров. Для того, щоб вирахувати відповідь на цей запит, потрібно з'єднати таблиці Розмови і Телефони і вибрати з них всі рядки, які відповідають умовам власник = “Петров”, і забрати зайві колонки. В результаті отримаємо наступну таблицю:
Відповідь на запит
датамісто
01.01.00Женева
02.01.00Цюрих