User Tools

Site Tools


stats:schema:exercise

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
stats:schema:exercise [2011/09/28 20:18]
Patrick Michel [Group Management]
stats:schema:exercise [2013/07/10 12:49] (current)
Line 1: Line 1:
 ====== Exercise Management and Sheets ====== ====== Exercise Management and Sheets ======
  
-This page describes a major part of the [[:​stats:​start]] [[:​stats:​schema]],​ namely the exercise management, including groups, sheets and student results.+This page describes a major part of the [[:​stats:​start]] [[:​stats:​schema]],​ namely the exercise management, including groups, sheets and student results. It is a part of [[stats]] and contains [[student]] as well as [[group]].
  
 ===== Schema ===== ===== Schema =====
  
 <code xcend> <code xcend>
-  ​element exercises {                +  element exercise * id { 
-    ​element exercise * id {         ​ +    attribute lecture ​          ​{ string } 
-      attribute lecture ​            ​{ string } +    attribute term              { string } 
-      attribute term                { string } +    ​attribute open              { boolean } 
-  + 
-      element assistant * account ​  ​{[ exists ​//accounts/​account[./​account] ]}+    ​element assistant * account {[ exists /​account[./​account]/​assistant[..exercise/​id] ]}
 </​code>​ </​code>​
  
Line 17: Line 17:
  
 <code xcend> <code xcend>
-      element sheets {               +    ​element sheet * id { 
-        ​element sheet * id {         +      attribute maxPoints ​      { double [ . >= 0 ]} 
-          attribute maxPoints ​      { double [ . >= 0 ]} +    }                            
-        }                            +</code> 
-      ​} ​                             + 
-      element students {             +{{page>student#​Schema&noheader&nofooter&​noindent}} 
-        element student * id {      [ exists ​//​accounts/​account/​student[./​id] ] + 
-          ​attribute group ?         { ident [ exists ..exercise/​groups/​group[.] ]} +<code xcend> 
-          ​element result * sheet  [ exists ..exercise/​sheets/​sheet[./​sheet] ] +  }                               
-            attribute points ​       ​double [ . >= 0 && ​. <= ..exercise/​sheets/​sheet[../​sheet]/​maxPoints ]} +
-          ​                        ​ +
-        ​} ​                           +
-      ​} ​                             +
-    }                                +
-  }+
 </​code>​ </​code>​
  
Line 57: Line 51:
 {{page>​stats:​proc:​deleteGroup&​noheader&​nofooter}} {{page>​stats:​proc:​deleteGroup&​noheader&​nofooter}}
  
-] 
 ==== Sheet Management ==== ==== Sheet Management ====
  
Line 68: Line 61:
 ==== Student Management ==== ==== Student Management ====
  
-Students themselves depend on an account, but nothing depends on them; Their results stand for themselves.+Students themselves depend on an account, but nothing depends on them; Their results stand for themselves. ​As with [[group]], [[student]] are large enough to warrant their own section and associated procedures. 
 + 
 +{{page>​stats:​proc:​registerStudent&​noheader&​nofooter}} 
 + 
 +{{page>​stats:​proc:​unregisterStudent&​noheader&​nofooter}}
  
-{{page>​stats:​proc:​addStudent&​noheader&​nofooter}}+{{page>​stats:​proc:​openSignUp&​noheader&​nofooter}}
  
-{{page>​stats:​proc:​removeStudent&​noheader&​nofooter}}+{{page>​stats:​proc:​closeSignUp&​noheader&​nofooter}}
  
stats/schema/exercise.1317233886.txt.gz · Last modified: 2011/09/28 20:18 by Patrick Michel