ти цей список, додаючи такі типи як:
Цілий. p> Речовий. p> Дата. p> Час. p> Грошовий. p> Перечіслімий. p> Інтервальний. p> І т.д. ...
Звичайно, поняття атомарності досить відносно. Так, строковий тип даних можна розглядати як одновимірний масив символів, а цілий тип даних - як набір бітів. Важливо лише те, що при переході на такий низький рівень втрачається семантика (сенс) даних. Якщо рядок, що виражає, наприклад, прізвище співробітника, розкласти в масив символів, то при цьому втрачається сенс такого рядка як єдиного цілого. p> Структуровані типи даних призначені для завдання складних структур даних. Структуровані типи даних конструюються зі складових елементів, званих компонентами, які, у свою чергу, можуть володіти структурою. В якості структурованих типів даних можна навести такі типи даних:
Масиви
Записи (Структури)
З математичної точки зору масив являє собою функцію з кінцевою областю визначення. Наприклад, розглянемо кінцеве безліч натуральних чисел
зване безліччю індексів. Відображення
з безлічі в безліч дійсних чисел задає одновимірний речовинний масив. Значення цієї функції для деякого значення індексу називається елементом масиву, відповідним. Аналогічно можна задавати багатовимірні масиви. p> Запис (або структура) являє собою кортеж з деякого декартового твори множин. Дійсно, запис є іменований упорядкований набір елементів, кожен з яких належить типу. Таким чином, запис є елемент множини. Оголошуючи нові типи записів на основі вже наявних типів, користувач може конструювати як завгодно складні типи даних [3] . p> Спільним для структурованих типів даних є те, що вони мають внутрішню структуру, що використовується на тому ж рівні абстракції, що й самі типи даних. p> При роботі з масивами або записами можна маніпулювати масивом або записом і як з єдиним цілим (створювати, видаляти, копіювати цілі масиви або записи), так і поелементно. Для структурованих типів даних є спеціальні функції - конструктори типів, що дозволяють створювати масиви або записи з елементів більш простих типів. p> Працюючи ж з простими типами даних, наприклад з числовими, ми маніпулюємо ними як неподільними цілими об'єктами. Щоб "Побачити", що числовий тип даних насправді складний (є набором бітів), потрібно перейти на більш низький рівень абстракції. На рівні програмного коду це виглядатиме як асемблерні вставки в код мовою високого рівня або використання спеціальних побітових операцій. p> Посилальний тип даних (покажчики) призначений для забезпечення можливості вказівки на інші дані. Покажчики характерні для мов процедурного типу, в яких є поняття області пам'яті для зберігання даних. Контрольний тип даних призначений для обробки складних змінюються структур, наприклад дерев, графів, рекурсивних структур. p> Для реляційної моделі даних тип використовуваних даних не важливий. Вимога, щоб тип даних був простим, потрібно розуміти так, що в реляційних ...
