activefacts 0.8.6 → 0.8.8

data/examples/CQL/SeparateSubtype.cql

@@ -0,0 +1,28 @@
+vocabulary SeparateSubtype;
+
+/*
+ * Value Types
+ */
+Claim ID is written as Auto Counter;
+Date Time is written as Date Time;
+Driver Name is written as String;
+
+/*
+ * Entity Types
+ */
+Claim is identified by its ID;
+
+Driver is identified by its Name;
+
+Incident is identified by Claim where
+	Claim concerns at most one Incident;
+Incident occurred on at most one Date Time;
+
+Vehicle Incident is a kind of Incident [separate];
+Vehicle Incident occured while at most one Driver was in charge;
+
+/*
+ * Constraints:
+ */
+each Incident occurs one time in
+	Claim concerns Incident;

data/examples/CQL/ServiceDirector.cql

@@ -0,0 +1,283 @@
+vocabulary ServiceDirector;
+
+/*
+ * Value Types
+ */
+Company Code is written as Char(5);
+Credential Nr is written as Signed Integer(32);
+DDMMYYYY is written as Date;
+Data Store Name is written as String(15);
+Email Address is written as String(50);
+HHMMSS is written as Time;
+Host System Name is written as String(15);
+IP is written as String(16);
+MDYHMS is written as Auto Time Stamp;
+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 is written as String(15) [independent];
+Subscription Nr is written as Signed Integer(32);
+Switch Id is written as Auto Counter;
+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 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 Heart- Beat 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;
+
+Date is identified by DDMMYYYY where
+	Date has one DDMMYYYY,
+	DDMMYYYY is of at most one Date;
+Credential has at most one Expiration-Date;
+
+Date Time is identified by MDYHMS where
+	Date Time has one MDYHMS,
+	MDYHMS is of at most one Date Time;
+
+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 identified by its Name [independent];
+Monitor is owned by one Monitoring Application;
+
+Network is identified by its Nr;
+Company has at least one Origin-Network;
+Data Store has Tcp- Proxy Network,
+	Tcp- Proxy 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 Initial- Delay Duration;
+Notification Level has one Repeat-Duration;
+
+Notification Type is identified by its Name [independent];
+
+Provider Type is identified by its Id;
+
+Recurring Schedule is identified by its Id;
+Monitor has All- Exclusion Recurring Schedule,
+	All- Exclusion Recurring Schedule applies to at most one Monitor;
+Monitor (as IntegratingMonitor) has Integration- Exclusion Recurring Schedule,
+	Integration- Exclusion Recurring Schedule applies to at most one IntegratingMonitor;
+Recurring Schedule has one Duration;
+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 one Insertion-Date Time;
+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;
+
+Subscription is identified by its Nr;
+Company has one Driver- Tech 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 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;
+
+Time is identified by HHMMSS where
+	Time has one HHMMSS,
+	HHMMSS is of at most one Time;
+Recurring Schedule has one Start-Time;
+
+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 at most 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(1) requires Credential,
+	Data Store Service requires Credential,
+	Vendor requires Credential,
+	Data Store File Host System has Internal-Credential,
+	Data Store(2) has Internal-Credential;
+for each Network exactly one of these holds:
+	Network is used by Host System,
+	Company has Origin-Network,
+	Tcp- Proxy 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;
+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 Data Store belongs to Client;
+Data Store has Tcp Proxy Network
+	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 Driver Tech 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/examples/CQL/SimplestUnary.cql

@@ -3,10 +3,10 @@ vocabulary SimplestUnary;
 /*
  * Value Types
  */
-SomeString is written as VariableLengthText;
+Some String is written as String;
 
 /*
  * Fact Types
  */
-SomeString is long;
+Some String is long;
 

data/examples/CQL/SubtypePI.cql

@@ -3,29 +3,29 @@ vocabulary SubtypePI;
 /*
  * Value Types
  */
-EntrantID is written as AutoCounter;
-FamilyName is written as VariableLengthText;
-GivenName is written as VariableLengthText;
-TeamID is written as AutoCounter;
+Entrant ID is written as Auto Counter;
+Family Name is written as String;
+Given Name is written as String;
+Team ID is written as Auto Counter;
 
 /*
  * Entity Types
  */
 Entrant is identified by its ID;
 
-EntrantHasGivenName is where
-	Entrant has at least one GivenName,
-	GivenName is of Entrant;
+Entrant Given Name is where
+	Entrant has at least one Given Name,
+	Given Name is of Entrant;
 
 Team is a kind of Entrant identified by its ID;
 
 Competitor is a kind of Entrant;
-Competitor has one FamilyName;
+Competitor has one Family Name;
 
 /*
  * Constraints:
  */
 either Entrant is a Competitor or Entrant is a Team but not both;
-each combination FamilyName, GivenName occurs at most one time in
-	Competitor has FamilyName,
-	Entrant has GivenName;
+each combination Family Name, Given Name occurs at most one time in
+	Competitor has Family Name,
+	Entrant has Given Name;

data/examples/CQL/Supervision.cql

@@ -0,0 +1,38 @@
+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;
+CEO runs Company
+	if and only if
+	CEO is a kind of Manager that works for Company;
+// This constraint cannot be expressed in NORMA until it adds explicit join paths:
+Employee(1) reports to Manager that is a kind of Employee(2) that works for Company
+	if and only if
+	Employee(1) works for Company;

data/examples/CQL/Tests.Test5.Load.cql

@@ -0,0 +1,38 @@
+vocabulary ORMModel1;
+
+/*
+ * 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 identified by its Id [independent];
+
+Party Moniker is where
+	Party is called at most 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/examples/CQL/WaiterTips.cql

@@ -0,0 +1,33 @@
+vocabulary WaiterTips;
+
+/*
+ * Value Types
+ */
+AUDValue is written as Money;
+MealId is written as Auto Counter;
+WaiterNr is written as Signed Integer(32);
+
+/*
+ * Entity Types
+ */
+Amount is identified by AUDValue where
+	Amount has one AUDValue,
+	AUDValue is of at most one Amount;
+
+Meal is identified by its Id;
+
+Waiter is identified by its Nr;
+
+WaiterTip is where
+	Waiter for serving Meal reported a tip of at most one Amount;
+
+Service is where
+	Waiter served Meal;
+Service earned a tip of at most one Amount;
+
+/*
+ * Constraints:
+ */
+Service (where Waiter served Meal) earned a tip of Amount
+	if and only if
+	Waiter for serving Meal reported a tip of Amount;