User Tools
magik-demo:user:query_approximation:generalization
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
magik-demo:user:query_approximation:generalization [2013/08/23 10:33] alex |
magik-demo:user:query_approximation:generalization [2017/07/06 15:24] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| {{:magik-demo:magik_logo.png?nolink&500|}} | {{:magik-demo:magik_logo.png?nolink&500|}} | ||
| - | \====== Generalization ====== | + | ====== Generalization ====== |
| 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. | 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. | ||
magik-demo/user/query_approximation/generalization.1377246809.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
