User Tools
magik-demo:developer:generalization-howitworks
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
magik-demo:developer:generalization-howitworks [2013/07/22 17:01] alex |
— (current) | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== 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 | ||
magik-demo/developer/generalization-howitworks.1374505293.txt.gz ยท Last modified: 2017/07/06 15:24 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
