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 =====