Production Rule for Functional Requirement # 6

<RECORDS Identifiable> (6.0) :

<Equal Identifier(RECORD) Identifier(TRANSACTION)> (6.0a)

<RECORD Unique> (6.0b)

Metadata