Correctness in multi-user hierarchically structured information systems

摘要: state Data Base State S Figure 3.25. Conceptual relationship between data base operations and the semantic procedures. In our work, we view consistency somewhat differently. Let H be a process at level i. is constructed of which operate on information structures. The effect these well defined in definitional language. As result refinement generation new i+1, divide structures into two parts, abstract part real part. that portion refined operated by i+1 or lower. not refined. For example, assume 3.26 gives logical structure used i 3.27 to support i, then 3.28 parts