© 1987 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||
The Algorithmic Transformation of Schemas to Structured Form
Department of Computer Science, University College, Cork, Republic of Ireland, UK
Algorithms are given to transform unstructured program schemas into equivalent structured forms. These algorithms are shown to have a computational complexity which is linearly related to schema size for almost all schemas, but at worst exponential with an exponent greater than but asymptotically close to one for large problems. Structuring is achieved by first identifying the forward paths of the schema and reducing them to an equivalent structured elementary path E. Each back path of E is then recursively structured to an equivalent single back arc, thus reducing the original schema to a single elementary path together with a set of possibly overlapping back arcs. The remaining unstructuredness is removed by recursive application of a loop-structuring algorithm. The algorithms are illustrated by application to a complex hypothetical schema and to two practical problems.
Received August 1984.
* Department of Computer Science, University College, Cork, Republic of Ireland