Production Rule for Functional Requirement # 9

<RECORDS Preserved> (9.0) :
<RECORDS Inviolate> (9.0a)
<RECORDS Coherent> (9.0b)
<RECORDS Auditable> (9.0c)