LOGICAL DESIGN: INTERPRETATION OF RDM SYMBOLIZED SETS

As we explain in Logical Database Design (forthcoming), LDD assigns the meaning of terms in conceptual models (CMs)—properties, entities, groups, multigroup—to non-logical symbols of a formal logic theory. If the theory is RDM, the symbols stand for sets—domains/attributes, tuples, relations, database—adapted for database management. For each CM the theory acquires an interpretation, which…