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