activefacts 0.8.6 → 0.8.8

data/examples/CQL/Moon.cql

@@ -0,0 +1,23 @@
+vocabulary Moon;
+
+/*
+ * Value Types
+ */
+Moon Name is written as String;
+Nr Days Nr is written as Signed Integer(32);
+Planet Name is written as String;
+
+/*
+ * Entity Types
+ */
+Moon is identified by its Name;
+
+Nr Days is identified by its Nr;
+
+Orbit is where
+	Moon is in orbit;
+Orbit has a synodic period of at most one Nr Days;
+
+Planet is identified by its Name;
+Orbit is around one Planet;
+

data/examples/CQL/MultiInheritance.cql

@@ -3,9 +3,9 @@ vocabulary MultiInheritance;
 /*
  * Value Types
  */
-EmployeeID is written as AutoCounter;
-PersonName is written as VariableLengthText;
-TFN is written as FixedLengthText(9);
+Employee ID is written as Auto Counter;
+Person Name is written as String;
+TFN is written as Char(9);
 
 /*
  * Entity Types
@@ -18,5 +18,5 @@ Australian has at most one TFN,
 
 Employee is a kind of Person identified by its ID;
 
-AustralianEmployee is a kind of Employee, Australian;
+Australian Employee is a kind of Employee, Australian;
 

data/examples/CQL/NonRoleId.cql

@@ -0,0 +1,14 @@
+vocabulary NonRoleId;
+
+/*
+ * Value Types
+ */
+Comparison Id is written as Auto Counter;
+Ordinal is written as Auto Counter;
+
+/*
+ * Entity Types
+ */
+Comparison is identified by its Id where
+	Ordinal comes before larger-Ordinal;
+

data/examples/CQL/OddIdentifier.cql

@@ -0,0 +1,18 @@
+vocabulary OddIdentifier;
+
+/*
+ * Value Types
+ */
+Ordinal is written as Signed Integer(32);
+Text is written as String;
+Thing ID is written as Auto Counter;
+
+/*
+ * Entity Types
+ */
+Thing is identified by its ID;
+
+Thing Sequence is identified by Thing and Text where
+	Thing has Ordinal occurrence,
+	Thing Sequence has one Text;
+

data/examples/CQL/OilSupply.cql

@@ -4,19 +4,19 @@ vocabulary OilSupply;
  * Value Types
  */
 Cost is written as Money;
-MonthCode is written as FixedLengthText;
-ProductName is written as VariableLengthText;
-Quantity is written as UnsignedInteger(32);
-RefineryName is written as VariableLengthText(80);
-RegionName is written as VariableLengthText;
-Season is written as VariableLengthText(6) restricted to {'Autumn', 'Spring', 'Summer', 'Winter'};
-TransportMethod is written as VariableLengthText restricted to {'Rail', 'Road', 'Sea'};
-YearNr is written as SignedInteger(32);
+Month Nr is written as Signed Integer(32);
+Product Name is written as String;
+Quantity is written as Unsigned Integer(32);
+Refinery Name is written as String(80);
+Region Name is written as String;
+Season is written as String(6) restricted to {'Autumn', 'Spring', 'Summer', 'Winter'};
+Transport Method is written as String restricted to {'Rail', 'Road', 'Sea'};
+Year Nr is written as Signed Integer(32);
 
 /*
  * Entity Types
  */
-Month is identified by its Code;
+Month is identified by its Nr restricted to {1..12};
 Month is in one Season;
 
 Product is identified by its Name;
@@ -25,27 +25,27 @@ Refinery is identified by its Name;
 
 Region is identified by its Name;
 
-TransportRoute is where
-	TransportMethod transportation is available from Refinery to Region,
-	TransportMethod transportation is available to Region from Refinery;
-TransportRoute incurs at most one Cost per kl;
+Transport Route is where
+	Transport Method transportation is available from Refinery to Region,
+	Transport Method transportation is available to Region from Refinery;
+Transport Route incurs at most one Cost per kl;
 
 Year is identified by its Nr;
 
-AcceptableSubstitutes is where
+Acceptable Substitutes is where
 	Product may be substituted by alternate-Product in Season [acyclic, intransitive],
 	alternate-Product is an acceptable substitute for Product in Season;
 
-SupplyPeriod is identified by Year and Month where
-	SupplyPeriod is in one Year,
-	SupplyPeriod is in one Month;
+Supply Period is identified by Year and Month where
+	Supply Period is in one Year,
+	Supply Period is in one Month;
 
-ProductionForecast is where
-	Refinery forecasts production of Product in SupplyPeriod;
-ProductionForecast predicts at most one Cost;
-ProductionForecast is for one Quantity;
+Production Forecast is where
+	Refinery forecasts production of Product in Supply Period;
+Production Forecast predicts at most one Cost;
+Production Forecast is for one Quantity;
 
-RegionalDemand is where
-	Region will need Product in SupplyPeriod;
-RegionalDemand is for at most one Quantity;
+Regional Demand is where
+	Region will need Product in Supply Period;
+Regional Demand is for at most one Quantity;
 

data/examples/CQL/OneToOnes.cql

@@ -0,0 +1,17 @@
+vocabulary OneToOnes;
+
+/*
+ * Value Types
+ */
+Boy ID is written as Auto Counter;
+Girl ID is written as Auto Counter;
+
+/*
+ * Entity Types
+ */
+Boy is identified by its ID [independent];
+
+Girl is identified by its ID [independent];
+Girl is going out with at most one Boy,
+	Boy is going out with at most one Girl;
+

data/examples/CQL/Orienteering.cql

@@ -3,58 +3,58 @@ vocabulary Orienteering;
 /*
  * Value Types
  */
-Accessibility is written as FixedLengthText(1) restricted to {'A'..'D'};
-ClubCode is written as VariableLengthText(6);
-ClubName is written as VariableLengthText(32);
-ControlNumber is written as UnsignedInteger(32) restricted to {1..1000};
-Course is written as VariableLengthText(16) restricted to {'A'..'E', 'PW'};
-EntryID is written as AutoCounter;
-EventID is written as AutoCounter;
-EventName is written as VariableLengthText(50);
-FamilyName is written as VariableLengthText(48);
-Gender is written as FixedLengthText(1) restricted to {'F', 'M'};
-GivenName is written as VariableLengthText(48);
-Location is written as VariableLengthText(200);
-MapID is written as AutoCounter;
-MapName is written as VariableLengthText(80);
-Number is written as UnsignedInteger(32) restricted to {1..100};
-PersonID is written as AutoCounter;
-Placing is written as UnsignedInteger(32);
-PointValue is written as UnsignedInteger(32);
-PostCode is written as UnsignedInteger(32);
-PunchID is written as AutoCounter;
-Score is written as SignedInteger(32);
-ScoringMethod is written as VariableLengthText(32) restricted to {'Scatter', 'Score', 'Special'};
-SeriesID is written as AutoCounter;
-SeriesName is written as VariableLengthText(40);
-StartTime is written as DateAndTime;
-Time is written as DateAndTime;
-Year is written as UnsignedInteger(32) restricted to {1900..3000};
+Accessibility is written as Char(1) restricted to {'A'..'D'};
+Club Code is written as String(6);
+Club Name is written as String(32);
+Control Number is written as Unsigned Integer(32) restricted to {1..1000};
+Course is written as String(16) restricted to {'A'..'E', 'PW'};
+Entry ID is written as Auto Counter;
+Event ID is written as Auto Counter;
+Event Name is written as String(50);
+Family Name is written as String(48);
+Gender is written as Char(1) restricted to {'F', 'M'};
+Given Name is written as String(48);
+Location is written as String(200);
+Map ID is written as Auto Counter;
+Map Name is written as String(80);
+Number is written as Unsigned Integer(32) restricted to {1..100};
+Person ID is written as Auto Counter;
+Placing is written as Unsigned Integer(32);
+Point Value is written as Unsigned Integer(32);
+Post Code is written as Unsigned Integer(32);
+Punch ID is written as Auto Counter;
+Score is written as Signed Integer(32);
+Scoring Method is written as String(32) restricted to {'Scatter', 'Score', 'Special'};
+Series ID is written as Auto Counter;
+Series Name is written as String(40);
+Start Time is written as Date Time;
+Time is written as Date Time;
+Year is written as Unsigned Integer(32) restricted to {1900..3000};
 
 /*
  * Entity Types
  */
 Club is identified by its Code;
-ClubName is name of at most one Club,
-	Club is called one ClubName;
+Club Name is name of at most one Club,
+	Club is called one Club Name;
 
 Event is identified by its ID;
 Club runs Event,
 	Event is run by one Club;
-Event is called at most one EventName,
-	EventName is name of at most one Event;
+Event is called at most one Event Name,
+	Event Name is name of at most one Event;
 Event has at most one Number;
-Event is held on one StartTime;
+Event is held on one Start Time;
 Event starts at one start-Location,
-	Location is where Event starts;
+	Location is place Event starts;
 
-EventControl is where
-	Event includes at least one ControlNumber;
-EventControl has at most one PointValue;
+Event Control is where
+	Event includes at least one Control Number;
+Event Control has at most one Point Value;
 
-EventScoringMethod is where
-	ScoringMethod is used for Course of Event,
-	Course of Event uses at most one ScoringMethod;
+Event Scoring Method is where
+	Scoring Method is used for Course of Event,
+	Course of Event uses at most one Scoring Method;
 
 Map is identified by its ID;
 Club (as Owner) owns Map,
@@ -62,27 +62,27 @@ Club (as Owner) owns Map,
 Map has at most one Accessibility;
 Map is map for Event,
 	Event uses one Map;
-Map has one MapName,
-	MapName is of at most one Map;
+Map has one Map Name,
+	Map Name is of at most one Map;
 
 Person is identified by its ID;
 Person is member of at most one Club;
-Person has one FamilyName,
-	FamilyName is of Person;
+Person has one Family Name,
+	Family Name is of Person;
 Person is of at most one Gender;
-Person has one GivenName,
-	GivenName is name of Person;
-Person has at most one PostCode;
+Person has one Given Name,
+	Given Name is name of Person;
+Person has at most one Post Code;
 Person was born in at most one birth-Year;
 
 Punch is identified by its ID;
 
-PunchPlacement is where
-	Punch is placed at EventControl;
+Punch Placement is where
+	Punch is placed at Event Control;
 
 Series is identified by its ID;
 Event is in at most one Series;
-Series has one SeriesName (as Name),
+Series has one Series Name (as Name),
 	Name is of at most one Series;
 
 Entry is identified by its ID where
@@ -100,12 +100,12 @@ Visit is where
 Event is in Series
 	if and only if
 	Event has Number;
-either Event is called EventName or Event is in Series;
-each EventControl occurs at least one time in
-	Punch is placed at EventControl;
-each combination GivenName, FamilyName occurs at most one time in
-	Person has GivenName,
-	Person has FamilyName;
+each Event Control occurs at least one time in
+	Punch is placed at Event Control;
+either Event is called Event Name or Event is in Series;
+each combination Given Name, Family Name occurs at most one time in
+	Person has Given Name,
+	Person has Family Name;
 each combination Series, Number occurs at most one time in
 	Event is in Series,
 	Event has Number;

data/examples/CQL/OrienteeringER.cql

@@ -0,0 +1,58 @@
+vocabulary OrienteeringER;
+
+/*
+ * Value Types
+ */
+Accessibility is written as Char;
+Club Name is written as String;
+Code is written as Char;
+Control is written as Unsigned Integer(32);
+Course is written as Char;
+Date is written as Date Time;
+Event Name is written as String;
+ID is written as Auto Counter;
+Location is written as String;
+Name is written as String;
+Number is written as Signed Integer(32);
+Point Value is written as Unsigned Integer(32);
+Series Name is written as String;
+
+/*
+ * Entity Types
+ */
+Club is where
+	Code is of the club called at most one Club Name,
+	the club called Club Name has at most one Code;
+
+Map is where
+	map-Name having Accessibility belongs to Club;
+
+Series Event is where
+	Series Name includes event-Number,
+	event-Number is in Series Name;
+
+Event is where
+	event-ID is Series Event called Event Name run by Club using Map on Date at Location;
+
+Event Control is where
+	Event includes Control which is worth at most one Point Value;
+
+Event Course is where
+	Course is available at Event,
+	Event offers Course;
+
+/*
+ * Constraints:
+ */
+each Club occurs at least one time in
+	event ID is Series Event called Event Name run by Club using Map on Date at Location;
+each Event Name occurs at most one time in
+	event ID is Series Event called Event Name run by Club using Map on Date at Location;
+each Event occurs at least one time in
+	Event includes Control which is worth Point Value;
+each ID occurs one time in
+	event ID is Series Event called Event Name run by Club using Map on Date at Location;
+each Name occurs at most one time in
+	map Name having Accessibility belongs to Club;
+each Series Event occurs at most one time in
+	event ID is Series Event called Event Name run by Club using Map on Date at Location;

data/examples/CQL/PersonPlaysGame.cql

@@ -3,8 +3,8 @@ vocabulary PersonPlaysGame;
 /*
  * Value Types
  */
-GameCode is written as FixedLengthText;
-PersonName is written as VariableLengthText;
+Game Code is written as Char;
+Person Name is written as String;
 
 /*
  * Entity Types

data/examples/CQL/RedundantDependency.cql

@@ -0,0 +1,34 @@
+vocabulary RedundantDependency;
+
+/*
+ * Value Types
+ */
+Address Id is written as Auto Counter;
+District Number is written as Signed Integer(32);
+Politician Id is written as Auto Counter;
+Postal Code is written as Signed Integer(32);
+State Or Province Id is written as Auto Counter;
+
+/*
+ * Entity Types
+ */
+Address is identified by its Id;
+Address is assigned at most one Postal Code;
+
+Politician is identified by its Id;
+
+State Or Province is identified by its Id;
+Address is in at most one State Or Province;
+
+Legislative District is identified by District Number and State Or Province where
+	Legislative District has one District Number,
+	Legislative District is for one State Or Province;
+Address is in at most one Legislative District;
+Politician represents at most one Legislative District,
+	Legislative District is represented by one Politician;
+
+/*
+ * Constraints:
+ */
+Address is in Legislative District
+	only if Address is in State Or Province and Legislative District is for State Or Province;

data/examples/CQL/SchoolActivities.cql

@@ -3,9 +3,9 @@ vocabulary SchoolActivities;
 /*
  * Value Types
  */
-ActivityName is written as VariableLengthText(32);
-SchoolName is written as VariableLengthText;
-StudentName is written as VariableLengthText;
+Activity Name is written as String(32);
+School Name is written as String;
+Student Name is written as String;
 
 /*
  * Entity Types
@@ -14,13 +14,13 @@ Activity is identified by its Name;
 
 School is identified by its Name;
 
-SchoolActivity is where
+School Activity is where
 	School sanctions Activity;
 
 Student is identified by its Name;
 Student is enrolled in one School;
 
-StudentParticipation is where
+Student Participation is where
 	Student represents School in Activity,
 	Student participates in Activity which is sanctioned by at most one School;