Applying mathematical models in software design

The paper focuses on techniques for systematically applying mathematical models in software design. We implement a generic sorting algorithm at database level, revealing the advantages of the approach. Based on techniques for processing hierarchical structures at database level, a dedicated analysis addresses means of implementing simplification and equivalence algorithms on data structures based on modular entities. We reveal the advantages of systematically implementing mathematical algorithms in software design and implementation, including the level of database processing. The novelty of the implementation consists in applying generic algorithms at database level and in modelling discipline and module equivalence with equivalence and simplification algorithms.