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 16:51] 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 ===== | ||
magik-demo/developer/generalization-howitworks.1374504703.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
