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:41] 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 following we illustrate main reasoning featutes of MAGIK by | + | In the rest we illustrate main reasoning featutes of MAGIK using the following |
- | creating a school toy 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 |