This is an old revision of the document!
====== Generalization algorithm ====== 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:developer:generalization.png?nolink&800 |}} ===== Phase 1: generation of the DLV program ===== The first of the algorithm is to "translate" query and schema in a DLV program. This operation is done by the class [[magik-demo:developer:class:core:programgenerator|ProgramGenerator]] in **core** package