Типи і моделювання
Математика і фізика, торговельне справа і виробництво, економіка та інші сфери, де застосовуються числа, завжди оперували даними і не надавали ніякого значення поняттю типу. Те, що числа можуть бути цілими і дробовими, не мало особливого значення.
Кожна конкретна формула або конкретна дія могли дати ціле, нескінченний дріб, дійсне чи комплексне число. Досі є такі чудеса розуму, як нескінченно мала і нескінченно велика величина. Причому у цих чудес навіть властивості є.
У програмуванні досі немає ніякої свободи. Все має бути строго формалізоване. Поняття даних – це, перш за все, тип:
- integer;
- boolean;
- char;
- string і так далі.
Найменування типів можуть відрізнятися в різних мовах програмування, але завжди є ціле або дійсне число, логічне значення, символ, рядок. Залишилися ще релікти і специфічні ідеї: ціле без знака, код, байт, слово, подвійне слово, рядок фіксованої довжини.
Поняття даних у системи даних не має ніякої волі. Мова SQL – «міжнародний» (є діалект для кожної сучасної бази даних) – не терпить ніяких неточностей не тільки даних, але і в sql-запитах. Помилка в запиті – гарантія відсутності результату. Про порушення описів говорити зовсім не доводиться.
Моделювання інформаційних процесів та уявлень даних є єдиним вірним способом побудувати таку структуру, яку можна розвивати і адаптувати до умов, що змінюються.