A set and mapping-based detection and solution method for structure clash between program input and output data

Structure clash is one of the main concerns in JSP (Jackson Structured Programming). Structure clash is a program implementation issue rather than a program specification issue. Furthermore, structure clash must be accurately detected and solved in order to produce an efficient program. Therefore, there is a very important non-procedural language class in which a programmer need not think about the clashes, but in which a compiler detects and solves the clashes. In this class, an array-based detection and solution method was previously studied in the nonprocedural language MODEL. However, a set and mapping-based detection and solution method has not been used, although sets and mappings appear in several very high level nonprocedural languages. An experimental compiler based on the method has been implemented for the entity-relationship model-based nonprocedural language PSDL. The experiment has demonstrated that usable programs will be generated.<>