User Tools

Site Tools


magik-demo:developer:generalization-howitworks

This is an old revision of the document!


A PCRE internal error occured. This might be caused by a faulty plugin

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

magik-demo/developer/generalization-howitworks.1374504703.txt.gz ยท Last modified: 2017/07/06 15:24 (external edit)