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:15]
Patrick Michel
stats:schema:exercise [2011/11/03 12:29]
Patrick Michel
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 =====
Line 7: Line 7:
 <code xcend> <code xcend>
   element exercises {                  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 //​accounts/​account[./​account]/​assistant[..exercise/​id] ]}
 </​code>​ </​code>​
  
-{{page>​group#​Schema&​noheader&​nofooter}}+{{page>​group#​Schema&​noheader&​nofooter&​noindent}}
  
 <code xcend> <code xcend>
       element sheets {              ​       element sheets {              ​
-        element sheet * id {        +        element sheet * id {
           attribute maxPoints ​      { double [ . >= 0 ]}           attribute maxPoints ​      { double [ . >= 0 ]}
         }                                    }                           
       }                                    }                             
-      element students {             +</code> 
-        element student * id {      [ exists ​//​accounts/​account/​student[./​id] ] + 
-          ​attribute group ?         { ident [ exists ..exercise/​groups/​group[.] ]} +{{page>student#​Schema&noheader&nofooter&​noindent}} 
-          ​element result * sheet  [ exists ..exercise/​sheets/​sheet[./​sheet] ] + 
-            attribute points ​       ​double [ . >= 0 && ​. <= ..exercise/​sheets/​sheet[../​sheet]/​maxPoints ]} +<code xcend>
-          ​                        ​ +
-        ​} ​                           +
-      ​} ​                            +
     }                                    }                               
   }   }
Line 51: Line 49:
 ==== Group Management ==== ==== Group Management ====
  
-The tutor role from section [[:​stats:​schema:​account]] and the students depend on groups, which restricts deletion.+The tutor role from section [[:​stats:​schema:​account]] and the students depend on groups, which restricts deletion. The [[group]] are a large enough parts of the schema to have their own section and associated procedures.
  
 {{page>​stats:​proc:​createGroup&​noheader&​nofooter}} {{page>​stats:​proc:​createGroup&​noheader&​nofooter}}
  
 {{page>​stats:​proc:​deleteGroup&​noheader&​nofooter}} {{page>​stats:​proc:​deleteGroup&​noheader&​nofooter}}
- 
- 
-=== Group Procedures === 
- 
-{{page>​stats:​proc:​changeAttributes (Group)&​noheader&​nofooter}} 
  
 ==== Sheet Management ==== ==== Sheet Management ====
Line 72: Line 65:
 ==== 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.txt · Last modified: 2013/07/10 12:49 (external edit)