Cтраница 3
Однако в базах данных система множеств данных имеет определенный алгебраический тип. Предполагается, что над данными выполняются некоторые алгебраические операции, и эти операции подчинены определенным законам. На этом пути возникает идея типа данных. Законы, которым удовлетворяют основные операции в типе данных, как правило, носят характер тождеств. Другой пример - тождество де Моргана в булевых алгебрах: х / у-х [ у. Подробнее понятие типа данных и его связь с определением базы данных обсуждаются в заключительной 16 - й главе. [31]