Структура данных типа «запись»

Запись — это последовательность элементов (полей), которые могут быть различных типов.

На абстрактном уровне запись представляет собой линейную структуру.

На физическом уровне запись реализована последовательной схемой хранения. Располагаться она может в статической или в динамической памяти. Размер памяти, выделяемый под запись, зависит от типов полей и от их количества и определяется формулой V _зап = S V_i ½ i =1, k; где V _зап — объем памяти для записи, k — количество полей, V_i — объем памяти для i -го поля. На логическом уровне СД типа запись можно записать следующим образом:

Type Т_rec = Record

S₁: T₁;

S₂: T₂;

……..

S_n: T_n;

End;

Var Rec: T_rec;

Здесь: S₁, …, S_n — идентификаторы полей; Т₁, …, T_n — типы полей;

Rec — идентификатор записи; T_rec — тип записи.

Если D_T1 — множество значений элементов типа Т₁, D_Т2 — множество значений элементов типа Т₂, …, D_Тn — множество значений элементов типа Т_n, то D_Trec — множество значений элементов типа Т_rec будет определяться с помощью прямого декартова произведения:

.

Кардинальное число для записи T_rec:

С ar(T_rec) = П Car(T_i) | i = 1, n

Допустимые операции для СД типа запись аналогичны операциям для СД типа массив.

По характеру изменчивости запись — это статическая структура. Доступ к элементам записи прямой, осуществляется по имени поля.