This is an old revision of the document!
====== Generalization ====== After the elaboration MAGIK, will answer if the query given by the user, is complete or not with respect to schema constraints and TC-statements. If it is not complete, MAGIK will try to generate the generalized and specialized query. In this page it is explained how works the generalization algorithm. {{ :magik-demo:user:query_approximation:generalization.png?nolink&650 |}} This schema illustrates all the steps that the generalization algorithm does. In order to be more comprehensive, we will use and example.