[A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [L] [M] [N] [O] [P] [R] [S] [T] [U] [V] data access set data access set The data access set is the set of all data items read, written, or referenced by a single activation data access:conflict conflict:data access 2nd data access:rules about rules:data access data type core datatype domain-specific dependent attribute attribute:dependent derived attribute A derived attribute is an attribute whose value can be computed from other attributes already in the attribute:derived definition of; derived identifier A derived identifier is an identifier that is the derived concatenation of several identifying attri discriminator domain 2nd 3rd 4th 5th 6th 7th A domain is an autonomous, real, hypothetical, or abstract world inhabited by a set of conceptual en dividing identification 2nd kinds of linking realized domain-specific data type A domain-specific data type is a definition of the set of legal values that can be assigned to attri dynamic verification verification:dynamic 2nd |