Contents

vocabulary SubtypePI;

/*
 * Value Types
 */
EntrantID is defined as AutoCounter();
FamilyName is defined as VariableLengthText();
GivenName is defined as VariableLengthText();
TeamID is defined as AutoCounter();

/*
 * Entity Types
 */
Entrant is identified by its ID;
EntrantHasGivenName is where
	Entrant has at least one GivenName,
	GivenName is of Entrant;

Team is a kind of Entrant identified by its ID;

Competitor is a kind of Entrant;
Competitor has one FamilyName;

/*
 * Constraints:
 */
for each Entrant exactly one of these holds:
	Competitor is a subtype of Entrant,
	Team is a subtype of Entrant;
each combination FamilyName, GivenName occurs at most one time in
	Competitor has FamilyName,
	Entrant has GivenName;

Version data entries

4 entries across 4 versions & 1 rubygems

Version	Path
activefacts-0.6.0	examples/CQL/SubtypePI.cql
activefacts-0.7.0	examples/CQL/SubtypePI.cql
activefacts-0.7.1	examples/CQL/SubtypePI.cql
activefacts-0.7.2	examples/CQL/SubtypePI.cql