Differences

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

--- stats:schema:group [2011/09/29 16:48] – Patrick Michel
+++ stats:schema:group [2013/07/10 12:47] (current) – external edit 127.0.0.1
@@ Line 6: / Line 6: @@
 <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 curSize         { integer [ . = count(../id, ..exercise/students/student/group) ]} # NEW
+      attribute maxSize         { integer [ . >= 0 ]}
-          attribute maxSize         { integer [ . >= 0 ]} # 3.1
+      element tutor * account   {[ exists /account[./account]/tutor[..exercise/id]/group[..group/id] ]}
-          element tutor * account   {[ exists //accounts/account[./account]/tutor[..exam/id]/group[..group/id] ]} # 1.5, 2.9
+    }
-        }
-      }
 </code>