Pavlo Zhezhnych Personal Site and Blog

Час – це безмежна щільна множина елементів, на якій визначено відношення порядку. Ця множина є ізоморфною до множини дійсних чисел, тобто часова вісь подається як вісь дійсних чисел [1]. Таке визначення належним чином відображає усі аспекти часу як одного з елементів дійсності.
В області баз даних часову вісь визначають як зліченну дискретну множину [2], на якій задано відношення порядку  (“менше рівне”). Елементи цієї множини називаються часовими моментами.

Рис. 1. Часова вісь.
На рис. 1 зображено часову вісь з дискретними моментами часу. Причому:


Дискретна часова вісь ізоморфна до множини натуральних чисел.
1. Караваев Э.Ф. Основания временной логики. //Ленинград: Изд-во ЛГУ, 1983.
2. Clifford J., Tansel A.U. On algebra for historical relational databases: Two views. //Proc. ACM Int'l Conf. Management Data, pp.247-265, Austin, Texas, May 1985.