Contents

vocabulary SchoolActivities;

/*
 * Value Types
 */
Activity Name is written as String(32);
School Name is written as String;
Student Name is written as String;

/*
 * Entity Types
 */
Activity is identified by its Name;

School is identified by its Name;

School Activity is where
	School sanctions Activity;

Student is identified by its Name;
Student is enrolled in one School;

Student Participation is where
	Student represents School in Activity,
	Student participates in Activity which is sanctioned by at most one School;

/*
 * Constraints:
 */
Student represents School in Activity
	only if School sanctions Activity;
Student represents School in Activity
	only if Student is enrolled in School;

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
activefacts-0.8.8	examples/CQL/SchoolActivities.cql