User Tools
magik-demo:user:school-example
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:school-example [2013/05/14 19:43] admin [Introduction] |
magik-demo:user:school-example [2017/07/06 15:24] (current) |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | {{:magik-demo:magik-logo.jpg?900|}} | + | {{:magik-demo:magik_logo.png?nolink&500|}} |
| Line 38: | Line 38: | ||
| if D were complete (it contains all information). | if D were complete (it contains all information). | ||
| - | In the rest we illustrate main reasoning featutes of MAGIK using the imaginary | + | In the rest we illustrate main reasoning featutes of MAGIK using the following |
| - | school schema: | + | toy schema: |
| <code sql> | <code sql> | ||
| pupil(name,level,code), | pupil(name,level,code), | ||
| Line 234: | Line 234: | ||
| Query Q4 returns a pupil if such a pupil learns French language. Each pupil will be returned at most once, considering ''DISTINCT'' command in the | Query Q4 returns a pupil if such a pupil learns French language. Each pupil will be returned at most once, considering ''DISTINCT'' command in the | ||
| - | ''SELECT''. In this case appearance of ''l2'' is absolute superfouls. | + | ''SELECT''. In this case appearance of ''l2'' is absolute superfouls. |
| On the other hand, query Q5 returns each | On the other hand, query Q5 returns each | ||
magik-demo/user/school-example.1368553390.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
