stats:schema:group
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
stats:schema:group [2011/09/29 11:11] Patrick Michel |
stats:schema:group [2013/07/10 12:47] (current) |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| <code xcend> | <code xcend> | ||
| - | element groups { | + | element group * id { [ count(./id, ..exercise/student/group) <= ./maxSize ] |
| - | element group * id { [ count(./id, ..exercise/students/student/group) < ./maxSize ] # 4.1, 2.8 | + | attribute day { "Monday" | "Tuesday" | "Wednesday" | "Thursday" | "Friday" | "Saturday" | "Sunday" } |
| - | attribute day { "Monday" | "Tuesday" | "Wednesday" | "Thursday" | "Friday" | "Saturday" | "Sunday" } | + | attribute time { string } |
| - | attribute time { string } | + | attribute location { string } |
| - | attribute location { string } | + | attribute curSize { integer [ . = count(../id, ..exercise/student/group) ]} |
| - | attribute maxSize { integer [ . >= 0 ]} # 3.1 | + | attribute maxSize { integer [ . >= 0 ]} |
| - | + | ||
| - | element tutor * account {[ exists //accounts/account[./account] ]} # 1.5, 2.9 | + | element tutor * account {[ exists /account[./account]/tutor[..exercise/id]/group[..group/id] ]} |
| - | } | + | } |
| - | } | + | |
| </code> | </code> | ||
stats/schema/group.1317287515.txt.gz · Last modified: 2011/09/29 11:11 by Patrick Michel
Page Tools
