activefacts-examples 1.7.1

data/cql/OilSupply.cql

@@ -0,0 +1,53 @@
+vocabulary OilSupply;
+
+/*
+ * Value Types
+ */
+Cost is written as Money;
+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 [static] is identified by its Nr restricted to {1..12};
+Month is in one Season;
+
+Product is independent identified by its Name;
+
+Refinery is independent identified by its Name;
+
+Region is independent identified by its Name;
+
+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;
+
+Acceptable Substitution is where
+	Product may be substituted by alternate-Product in Season [acyclic, intransitive],
+	alternate-Product is an acceptable substitute for Product in Season;
+
+Supply Period [separate, static] is identified by Year and Month where
+	Supply Period is in one Year,
+	Supply Period is in one Month;
+
+Production Forecast is where
+	Refinery in Supply Period will make Product in one Quantity,
+	Refinery will make Product in Supply Period in Quantity,
+	Refinery will make Quantity of Product in Supply Period;
+Production Forecast predicts at most one Cost;
+
+Regional Demand is where
+	Region in Supply Period will need Product in one Quantity,
+	Region will need Product in Supply Period in Quantity,
+	Region will need Quantity of Product in Supply Period;
+

data/cql/OneRoleNesting.cql

@@ -0,0 +1,38 @@
+vocabulary OneRoleNesting;
+
+/*
+ * Value Types
+ */
+Accuracy Level is written as Signed Integer(32);
+Party Id is written as Auto Counter;
+Party Name is written as String;
+ymd is written as Date;
+
+/*
+ * Entity Types
+ */
+Accuracy is identified by its Level restricted to {1..5};
+
+Event Date is identified by ymd where
+	Event Date has one ymd,
+	ymd is of at most one Event Date;
+
+Party is independent identified by its Id;
+
+Party Moniker is where
+	Party is called one Party Name;
+Party Moniker has one Accuracy;
+
+Person is a kind of Party;
+
+Birth is where
+	Person was born on one Event Date;
+
+Death is where
+	Person died;
+Death occurred on at most one death-Event Date;
+
+Doctor is a kind of Person;
+Birth was assisted by at most one attending-Doctor,
+	Doctor attended Birth;
+

data/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 independent identified by its ID;
+
+Girl is independent identified by its ID;
+Girl is going out with at most one Boy,
+	Boy is going out with at most one Girl;
+

data/cql/Orienteering.cql

@@ -0,0 +1,111 @@
+vocabulary Orienteering;
+
+/*
+ * Value Types
+ */
+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;
+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 Event Name,
+	Event Name is name of at most one Event;
+Event has at most one Number;
+Event is held on one Start Time;
+Event starts at one start-Location,
+	Location is place Event starts;
+
+Event Control is where
+	Event includes at least one Control Number;
+Event Control has at most one Point Value;
+
+Event Scoring Method is where
+	Scoring Method is used for Course of Event,
+	Course of Event uses one Scoring Method;
+
+Map is identified by its ID;
+Club (as Owner) owns Map,
+	Map is owned by one Owner;
+Map has at most one Accessibility;
+Map is map for Event,
+	Event uses 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 Family Name,
+	Family Name is of Person;
+Person is of at most one Gender;
+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;
+
+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 Series Name (as Name),
+	Name is of at most one Series;
+
+Entry is identified by its ID where
+	Person entered Course of Event,
+	Person entered Event in one Course;
+Entry received at most one Score;
+Entry finished in at most one finish-Placing;
+
+Visit is where
+	Punch was visited by Entry at Time;
+
+/*
+ * Constraints:
+ */
+Event is in Series
+	if and only if
+	Event has Number;
+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/cql/PartyModel.cql

@@ -0,0 +1,38 @@
+vocabulary Party;
+
+/*
+ * Value Types
+ */
+Party ID is written as ID;
+Party Type Code is written as String(16) restricted to {'Company', 'Person'};
+
+/*
+ * Entity Types
+ */
+Party is identified by its ID;
+
+Party Type is identified by its Code;
+Party is of one Party Type;
+
+Person is a kind of Party [separate];
+
+User is a kind of Person;
+
+Company is a kind of Party [separate];
+
+Superannuation Company is a kind of Company;
+
+Teaching Institution is a kind of Company;
+
+RTO is a kind of Teaching Institution;
+
+/*
+ * Constraints:
+ */
+either Party is a Person or Party is a Company but not both;
+Party is a Company
+	if and only if
+	Party is of Party Type 'Company';
+Party is a Person
+	if and only if
+	Party is of Party Type 'Person';

data/cql/PersonPlaysGame.cql

@@ -0,0 +1,18 @@
+vocabulary PersonPlaysGame;
+
+/*
+ * Value Types
+ */
+Game Code is written as Char;
+Person Name is written as String;
+
+/*
+ * Entity Types
+ */
+Game is identified by its Code;
+
+Person is identified by its Name;
+
+Playing is where
+	Person plays Game;
+

data/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/cql/SchoolActivities.cql

@@ -0,0 +1,33 @@
+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 as representative of 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;

data/cql/SeparateSubtype.cql

@@ -0,0 +1,30 @@
+vocabulary SeparateSubtype;
+
+/*
+ * Value Types
+ */
+Claim ID is written as Auto Counter;
+Date Time is written as Date Time;
+Person Name is written as String;
+
+/*
+ * Entity Types
+ */
+Claim is identified by its ID;
+
+Incident is identified by Claim where
+	Claim concerns at most one Incident,
+	Incident resulted in one Claim;
+Incident occurred on at most one Date Time;
+
+Person is identified by its Name;
+
+Vehicle Incident is a kind of Incident [separate];
+
+Witness is a kind of Person;
+Witness saw Incident,
+	Incident was independently witnessed by at most one Witness;
+
+Driver is a kind of Person;
+Vehicle Incident occurred while at most one Driver was in charge;
+

data/cql/ServiceDirector.cql

@@ -0,0 +1,276 @@
+vocabulary ServiceDirector;
+
+/*
+ * Value Types
+ */
+Company Code is written as Char(5);
+Credential Nr is written as Signed Integer(32);
+Data Store Name is written as String(15);
+Date is written as String;
+Date Time is written as String;
+Email Address is written as String(50);
+Host System Name is written as String(15);
+IP is written as String(16);
+Message Data is written as Blob(8000);
+Message Header is written as String(30);
+Monitor Id is written as Auto Counter;
+Monitoring Application Name is written as String(10);
+Name is written as String(15);
+Netmask is written as String(16);
+Network Nr is written as Signed Integer(32);
+Notification Level Nr is written as Signed Integer(32);
+Notification Type Name is written as String(20);
+Password is written as String;
+Path is written as String(20);
+Port is written as Signed Integer(32);
+Provider Type Id is written as Signed Integer(20);
+Recurring Schedule Id is written as Auto Counter;
+Satellite Message Id is written as Unsigned Integer(32);
+Seconds is written as Unsigned Integer(32);
+Serial Number is written as String(20);
+Service Type [independent] is written as String(15);
+Subscription Nr is written as Signed Integer(32);
+Switch Id is written as Auto Counter;
+Time is written as String;
+Transaction Nr is written as Unsigned Integer(32);
+Truck PCID is written as Unsigned Integer(32);
+User Name is written as String(20);
+Version is written as Char(5);
+
+/*
+ * Entity Types
+ */
+Company is identified by its Code;
+Company has one Operating-Name;
+Company is client;
+Company is vendor;
+
+Credential is identified by its Nr;
+Credential has at most one Expiration-Date;
+Credential has one Password;
+Credential has one User Name;
+
+Data Store is identified by its Name;
+Data Store requires at least one Credential;
+Data Store has one Friendly-Name;
+Data Store has at most one HeartBeat-Truck PCID;
+Data Store has one Internal-Credential;
+Data Store is one Major-Version;
+Data Store is one Minor-Version;
+Data Store is one Revision-Version;
+
+Duration is identified by Seconds where
+	Duration has one Seconds,
+	Seconds is of at most one Duration;
+
+Geocode File is identified by Path where
+	Geocode File has one Path,
+	Path is of at most one Geocode File;
+Data Store uses at most one Geocode File;
+
+Host System is identified by its Name;
+Data Store is on one Primary-Host System;
+Data Store is on one Secondary-Host System;
+
+Monitor is identified by its Id;
+Monitor monitors one Data Store;
+Monitor is disabled;
+
+Monitoring Application is independent identified by its Name;
+Monitor is owned by one Monitoring Application;
+
+Network is identified by its Nr;
+Company has at least one Origin-Network;
+Data Store has TcpProxy-Network,
+	TcpProxy-Network is in at most one Data Store;
+Host System uses at least one Network,
+	Network is used by at most one Host System;
+Network uses at most one Domain-Name;
+Network has at most one Ending-IP;
+Network has one Initial-IP;
+Network uses at most one Netmask;
+Network is ip_range;
+Network is ip_single;
+Network is ip_subnet;
+
+Notification Level is identified by its Nr;
+Notification Level has one InitialDelay-Duration;
+Notification Level has one Repeat-Duration;
+
+Notification Type is independent identified by its Name;
+
+Provider Type is identified by its Id;
+
+Recurring Schedule is identified by its Id;
+Monitor has AllExclusion-Recurring Schedule,
+	AllExclusion-Recurring Schedule applies to at most one Monitor;
+Monitor (as IntegratingMonitor) has IntegrationExclusion-Recurring Schedule;  // Avoid ambiguity; this is a new fact type
+Monitor (as IntegratingMonitor) has IntegrationExclusion-Recurring Schedule,
+	IntegrationExclusion-Recurring Schedule applies to at most one IntegratingMonitor;
+Recurring Schedule has one Duration;
+Recurring Schedule has one Start-Time;
+Recurring Schedule friday;
+Recurring Schedule monday;
+Recurring Schedule saturday;
+Recurring Schedule sunday;
+Recurring Schedule thursday;
+Recurring Schedule tuesday;
+Recurring Schedule wednesday;
+
+Satellite Message is identified by its Id;
+Satellite Message is designated for one Data Store;
+Satellite Message has at most one Message Data;
+Satellite Message has at most one Message Header;
+Satellite Message is of at most one Provider Type;
+Satellite Message has one Serial Number;
+Satellite Message has one insertion-Date Time;
+
+Subscription is identified by its Nr;
+Company has one DriverTech-Subscription;
+Subscription has one Beginning-Date;
+Subscription has at most one Ending-Date;
+Subscription is enabled;
+
+Switch is identified by its Id;
+Data Store has at most one Legacy-Switch;
+Switch is one Major-Version;
+Switch is one Minor-Version;
+Switch has one Operating-Port;
+Switch is one Revision-Version;
+Switch has one monitoring-Port;
+Switch (as Private Interface Switch) is on private-Network,
+	private-Network connects to at most one Private Interface Switch;
+Switch (as Public Interface Switch) is on public-Network;  // Avoid ambiguity; this is a new fact type
+Switch (as Public Interface Switch) is on at least one public-Network,
+	Network connects to at most one Public Interface Switch;
+Switch is backup messages;
+Switch is backup updates;
+Switch is send disabled;
+Switch is test vectors enabled;
+
+Transaction is identified by its Nr;
+Satellite Message has at most one Group-Transaction;
+
+User is identified by its Name;
+User has one Primary-Email Address;
+User has at most one Secondary-Email Address;
+User is monitor notification disabled;
+
+Vendor is a kind of Company [separate];
+Vendor requires at least one Credential;
+
+Client is a kind of Company [separate];
+Client has at most one default-Data Store;
+Data Store belongs to one Client,
+	Client uses Data Store;
+
+File Host System is a kind of Host System;
+File Host System has one Port;
+
+Host System Runs Switch is where
+	Host System runs Switch;
+
+Monitor Notification Type is where
+	Monitor has at least one Notification Type;
+Monitor Notification Type is excluded;
+
+Monitor Notification User is where
+	Monitor Notification Type has notification-User;
+Monitor Notification User has one Notification Level;
+
+Service is identified by Vendor and Service Type where
+	Vendor provides Service,
+	Service is of one Service Type;
+
+Data Store File Host System is where
+	Data Store has one File Host System;
+Data Store File Host System has one Internal-Credential;
+
+Data Store Service is where
+	Service is from at least one Data Store,
+	Data Store has Service;
+Data Store Service belongs to one Client;
+Data Store Service requires at least one Credential;
+Data Store Service has one Subscription;
+
+/*
+ * Constraints:
+ */
+either Company is client or Company is vendor but not both;
+for each Credential exactly one of these holds:
+	Data Store (2) requires Credential,
+	Data Store Service requires Credential,
+	Vendor requires Credential,
+	Data Store File Host System has Internal-Credential,
+	Data Store (1) has Internal-Credential;
+for each Network exactly one of these holds:
+	Network is used by Host System,
+	Company has Origin-Network,
+	TcpProxy-Network is in Data Store;
+for each Network exactly one of these holds:
+	Network is ip_single,
+	Network is ip_subnet,
+	Network is ip_range;
+either Host System runs Switch or Data Store has Legacy-Switch but not both;
+for each Network at most one of these holds:
+	Network is ip_single,
+	Network has Ending-IP;
+Data Store Service (in which Service is from Data Store) belongs to Client
+	if and only if
+	Client has default Data Store;
+Network has Ending IP
+	if and only if
+	Network is ip_range;
+Network is ip_subnet
+	if and only if
+	Network uses Netmask;
+Switch is on private Network
+	if and only if
+	Data Store has Legacy Switch;
+Client has default Data Store
+	only if Client uses Data Store;
+TcpProxy Network is in Data Store
+	only if Network is ip_single;
+Network uses Domain Name
+	only if Network is ip_single;
+each Credential occurs at most one time in
+	Data Store File Host System has Internal Credential;
+each Credential occurs at most one time in
+	Data Store Service requires Credential;
+each Credential occurs at most one time in
+	Data Store has Internal Credential;
+each Credential occurs at most one time in
+	Data Store requires Credential;
+each Credential occurs at most one time in
+	Vendor requires Credential;
+each IP occurs at most one time in
+	Network has Ending IP;
+each IP occurs at most one time in
+	Network has Initial IP;
+each Name occurs at most one time in
+	Data Store has Friendly Name;
+each Network occurs at most one time in
+	Company has Origin Network;
+each Port occurs at most one time in
+	Switch has monitoring Port;
+each Recurring Schedule occurs at least one time in
+	Recurring Schedule monday,
+	Recurring Schedule tuesday,
+	Recurring Schedule wednesday,
+	Recurring Schedule thursday,
+	Recurring Schedule friday,
+	Recurring Schedule saturday,
+	Recurring Schedule sunday;
+each Service occurs one time in
+	Vendor provides Service;
+each Subscription occurs at most one time in
+	Company has DriverTech Subscription;
+each Subscription occurs at most one time in
+	Data Store Service has Subscription;
+each Switch occurs at most one time in
+	Data Store has Legacy Switch;
+each combination User Name, Vendor, Data Store Service, Data Store occurs at most one time in
+	Credential has User Name,
+	Vendor requires Credential,
+	Data Store Service requires Credential,
+	Data Store requires Credential;

data/cql/SimplestUnary.cql

@@ -0,0 +1,12 @@
+vocabulary SimplestUnary;
+
+/*
+ * Value Types
+ */
+Some String is written as String;
+
+/*
+ * Fact Types
+ */
+Some String is long;
+

data/cql/Supervision.cql

@@ -0,0 +1,34 @@
+vocabulary Supervision;
+
+/*
+ * Value Types
+ */
+CompanyName is written as String;
+EmployeeNr is written as Signed Integer(32);
+
+/*
+ * Entity Types
+ */
+Company is identified by its Name;
+
+Employee is identified by Company and EmployeeNr where
+	Employee works for one Company,
+	Company employs Employee,
+	Employee has one EmployeeNr,
+	EmployeeNr is of Employee;
+
+Manager is a kind of Employee;
+Manager supervises Employee,
+	Employee reports to at most one Manager;
+
+CEO is a kind of Manager;
+CEO runs Company,
+	Company is run by one CEO;
+
+/*
+ * Constraints:
+ */
+either Employee reports to Manager(1) or Employee is a Manager(2) that is a CEO that runs Company but not both;
+Employee is a Manager that is a CEO that runs Company
+	if and only if
+	Employee works for Company;