activefacts 0.8.6 → 0.8.8

data/examples/CQL/MetamodelNext.cql

@@ -0,0 +1,420 @@
+vocabulary Metamodel;
+
+/*
+ * Value Types
+ */
+Adjective is written as String(64);
+Agent Name is written as String;
+Assimilation is written as String restricted to {'partitioned', 'separate'};
+Context Note Id is written as Auto Counter;
+Context Note Kind is written as String restricted to {'as_opposed_to', 'because', 'so_that', 'to_avoid'};
+Date is written as Date;
+Denominator is written as Unsigned Integer(32);
+Discussion is written as String;
+Display Role Names Setting is written as String restricted to {'false', 'true'};
+Enforcement Code is written as String(16);
+Ephemera URL is written as String;
+Exponent is written as Signed Integer(16);
+Fact Id is written as Auto Counter;
+Frequency is written as Unsigned Integer(32);
+GUID is written as String;
+Instance Id is written as Auto Counter;
+Join Id is written as Auto Counter;
+Length is written as Unsigned Integer(32);
+Literal is written as String;
+Name is written as String(64);
+Numerator is written as Decimal;
+Offset is written as Decimal;
+Ordinal is written as Unsigned Integer(16);
+Pronoun is written as String(20) restricted to {'feminine', 'masculine', 'neuter', 'personal'};
+Ring Type is written as String;
+Role Sequence Id is written as Auto Counter;
+Rotation Setting is written as String restricted to {'left', 'right'};
+Scale is written as Unsigned Integer(32);
+Shape Id is written as Auto Counter;
+Text is written as String(256);
+Unit Id is written as Auto Counter;
+X is written as Signed Integer(32);
+Y is written as Signed Integer(32);
+
+/*
+ * Entity Types
+ */
+Agent is identified by its Name;
+
+Coefficient is identified by Numerator and Denominator and Coefficient is precise where
+	Coefficient has one Numerator,
+	Coefficient has one Denominator,
+	Coefficient is precise;
+
+Concept is identified by GUID where
+	Concept has one GUID,
+	GUID is of at most one Concept;
+
+Constraint is a kind of Concept [partitioned];
+Name is of Constraint,
+	Constraint is called at most one Name;
+
+Context Note is identified by its Id;
+Concept has Context Note,
+	Context Note applies to at most one Concept;
+Context Note has one Context Note Kind,
+	Context Note Kind is of Context Note;
+Context Note has one Discussion,
+	Discussion is for Context Note;
+
+Enforcement is identified by Constraint where
+	Constraint requires at most one Enforcement,
+	Enforcement applies to one Constraint;
+Enforcement notifies at most one Agent;
+Enforcement has one Enforcement Code,
+	Enforcement Code is of Enforcement;
+
+Fact is identified by its Id;
+
+Fact Type is a kind of Concept [partitioned];
+Fact is of one Fact Type;
+
+Implicit Fact Type is a kind of Fact Type;
+
+Instance is identified by its Id;
+Instance objectifies at most one Fact,
+	Fact is objectified as at most one Instance;
+
+Join is identified by its Id;
+
+Join Node is identified by Join and Ordinal where
+	Join includes Join Node,
+	Join Node is in one Join,
+	Join Node has one Ordinal position;
+
+Join Step is identified by input-Join Node and output-Join Node where
+	Join Step has one input-Join Node,
+	Join Step has one output-Join Node;
+Join Step traverses one Fact Type;
+is anti Join Step;
+Join Step is outer;
+
+Object Type is a kind of Concept [partitioned];
+Instance is of one Object Type;
+Join Node is for one Object Type,
+	Object Type is referenced in Join Node;
+Object Type uses at most one Pronoun;
+Object Type is independent;
+
+Position is identified by X and Y where
+	Position is at one X,
+	Position is at one Y;
+
+Presence Constraint is a kind of Constraint;
+Presence Constraint has at most one max-Frequency restricted to {1..};
+Presence Constraint has at most one min-Frequency restricted to {2..};
+Presence Constraint is mandatory;
+Presence Constraint is preferred identifier;
+
+Reading is identified by Fact Type and Ordinal where
+	Fact Type has Reading,
+	Reading is for one Fact Type,
+	Reading is in one Ordinal position,
+	Ordinal reading for fact type is Reading;
+Reading has one Text;
+
+Ring Constraint is a kind of Constraint;
+Ring Constraint is of one Ring Type;
+
+Role is a kind of Concept [partitioned] where
+	Fact Type has at least one Ordinal role;
+Implicit Fact Type is implied by one Role,
+	Role implies at most one Implicit Fact Type;
+Object Type plays Role,
+	Role is played by one Object Type;
+Ring Constraint has at most one other-Role;
+Ring Constraint has other-Role,
+	other-Role is of Ring Constraint;
+Role is of Ring Constraint,
+	Ring Constraint has at most one Role;
+
+Role Sequence is identified by its Id;
+Join projects one Role Sequence;
+Presence Constraint covers one Role Sequence;
+Reading is in one Role Sequence,
+	Role Sequence is for Reading;
+Role Sequence has unused dependency to force table in norma;
+
+Role Value is identified by Instance and Fact where
+	Instance plays Role Value,
+	Role Value is of one Instance,
+	Role Value fulfils one Fact,
+	Fact includes at least one Role Value;
+Role Value is of one Role;
+
+Set Constraint is a kind of Constraint;
+
+Shape is identified by its Id;
+Shape is at at most one Position;
+Shape is expanded;
+
+Subset Constraint is a kind of Set Constraint;
+Subset Constraint covers one subset-Role Sequence;
+Subset Constraint covers one superset-Role Sequence;
+
+Unit is identified by its Id;
+Ephemera URL provides Unit coefficient,
+	Unit uses coefficient from at most one Ephemera URL;
+Name is of Unit,
+	Unit is called one Name;
+Unit has at most one Coefficient;
+Unit has at most one Offset;
+Unit has at most one plural-Name;
+Unit is fundamental;
+
+Value is identified by Literal and Value is a string and Unit where
+	Value is represented by one Literal,
+	Literal represents Value,
+	Value is a string,
+	Value is in at most one Unit,
+	Unit is of Value;
+Instance has at most one Value;
+
+Value Constraint is a kind of Constraint;
+Role has at most one role-Value Constraint,
+	Value Constraint applies to at most one Role;
+
+Value Type is a kind of Object Type;
+Value Type has at most one Length,
+	Length is of Value Type;
+Value Type has at most one Scale,
+	Scale is of Value Type;
+Value Type is of at most one Unit;
+Value Type has at most one Value Constraint,
+	Value Constraint constrains at most one Value Type;
+Value Type is subtype of at most one super-Value Type (as Supertype) [acyclic],
+	Supertype is supertype of Value Type;
+
+Vocabulary is identified by Name where
+	Vocabulary is called one Name;
+Vocabulary contains Constraint,
+	Constraint belongs to at most one Vocabulary;
+Vocabulary includes Unit,
+	Unit is in one Vocabulary;
+
+Agreement is identified by Context Note where
+	Context Note was added by at most one Agreement,
+	Agreement covers one Context Note;
+Agreement was on at most one Date,
+	Date is of Agreement;
+
+Bound is identified by Value and Bound is inclusive where
+	Bound has one Value,
+	Value is of at least one Bound,
+	Bound is inclusive;
+
+Constraint Shape is a kind of Shape;
+Constraint Shape is for one Constraint;
+
+Context According To is where
+	Context Note is according to Agent,
+	Agent claims Context Note;
+Context According To was lodged on at most one Date;
+
+Context Agreed By is where
+	Agreement was reached by Agent,
+	Agent agreed on Agreement;
+
+Derivation is where
+	Unit (as Derived Unit) is derived from base-Unit (as Base Unit) [acyclic, intransitive];
+Derivation has at most one Exponent;
+
+Diagram is identified by Vocabulary and Name where
+	Diagram is for one Vocabulary,
+	Vocabulary contains Diagram,
+	Diagram is called one Name,
+	Name is of Diagram;
+Shape is in one Diagram,
+	Diagram includes Shape;
+
+Entity Type is a kind of Object Type;
+Entity Type nests at most one Fact Type,
+	Fact Type is nested as at most one Entity Type;
+
+Fact Type Shape is a kind of Shape;
+Fact Type Shape has at most one Display Role Names Setting;
+Fact Type Shape is for one Fact Type,
+	Fact Type has Fact Type Shape;
+Fact Type Shape has at most one Rotation Setting;
+
+ImplicitBooleanValueType is a kind of Value Type;
+
+Model Note Shape is a kind of Shape;
+Model Note Shape is for one Context Note;
+
+Object Type Shape is a kind of Shape;
+Object Type Shape is for one Object Type,
+	Object Type has Object Type Shape;
+Object Type Shape has expanded reference mode;
+
+Objectified Fact Type Name Shape is a kind of Shape identified by Fact Type Shape where
+	Objectified Fact Type Name Shape is for one Fact Type Shape,
+	Fact Type Shape has at most one Objectified Fact Type Name Shape;
+
+Parameter is where
+	Name is a parameter of Value Type,
+	Value Type has parameter called Name;
+
+Population is identified by Vocabulary and Name where
+	Vocabulary includes Population,
+	Population belongs to at most one Vocabulary,
+	Population has one Name,
+	Name is of Population;
+Population includes Fact,
+	Fact belongs to one Population;
+Population includes Instance,
+	Instance belongs to one Population;
+Population includes Role Value,
+	Role Value belongs to one Population;
+
+Reading Shape is a kind of Shape identified by Fact Type Shape where
+	Fact Type Shape has at most one Reading Shape,
+	Reading Shape is for one Fact Type Shape;
+Reading Shape is for one Reading,
+	Reading has Reading Shape;
+
+Ring Constraint Shape is a kind of Constraint Shape;
+Ring Constraint Shape is attached to one Fact Type;
+
+Role Display is where
+	Fact Type Shape displays Role in Ordinal position,
+	Fact Type Shape displays in Ordinal position at most one Role;
+
+Role Name Shape is a kind of Shape;
+Role Name Shape is for one Role Display,
+	Role Display has at most one Role Name Shape;
+
+Role Ref is where
+	Role Sequence in Ordinal position includes at most one Role,
+	Role is in Role Sequence in at most one Ordinal place,
+	Role Sequence includes Role in Ordinal place,
+	Role has Ordinal place in Role Sequence;
+Join Node includes Role Ref,
+	Role Ref connects to at most one Join Node;
+Role Ref has at most one leading-Adjective;
+Role Ref has at most one trailing-Adjective;
+
+Set Comparison Constraint is a kind of Set Constraint;
+
+Set Comparison Roles is where
+	Set Comparison Constraint has in Ordinal position at most one Role Sequence,
+	Role Sequence is Ordinal in Set Comparison Constraint,
+	in Ordinal position Set Comparison Constraint has Role Sequence,
+	Set Comparison Constraint has Role Sequence in at most one Ordinal position;
+
+Set Equality Constraint is a kind of Set Comparison Constraint;
+
+Set Exclusion Constraint is a kind of Set Comparison Constraint;
+Set Exclusion Constraint is mandatory;
+
+Term is where
+	Vocabulary contains Name;
+Term designates at most one Object Type,
+	Object Type uses one Term;
+Term is secondary for at most one Object Type (as Secondary),
+	Secondary has secondary-Term;
+Term (as Role Name) is name of Role Ref,
+	Role Ref has at most one Role Name;
+
+Type Inheritance is a kind of Fact Type identified by Subtype and Supertype where
+	Entity Type (as Subtype) is subtype of super-Entity Type (as Supertype) [acyclic, intransitive],
+	Supertype is supertype of Subtype;
+Assimilation applies to Type Inheritance,
+	Type Inheritance uses at most one Assimilation;
+Type Inheritance provides identification;
+
+Value Constraint Shape is a kind of Constraint Shape;
+Role Display has at most one Value Constraint Shape,
+	Value Constraint Shape is for at most one Role Display;
+Value Constraint Shape is for at most one Object Type Shape,
+	Object Type Shape has Value Constraint Shape;
+
+Value Range is identified by minimum-Bound and maximum-Bound where
+	Value Range has at most one minimum-Bound,
+	Value Range has at most one maximum-Bound;
+
+Allowed Range is where
+	Value Constraint allows at least one Value Range;
+
+Param Value is where
+	Value for Parameter applies to at most one Value Type;
+
+/*
+ * Constraints:
+ */
+for each Concept exactly one of these holds:
+	Concept is a Object Type,
+	Concept is a Fact Type,
+	Concept is a Constraint,
+	Concept is a Role;
+for each Constraint exactly one of these holds:
+	Constraint is a Presence Constraint,
+	Constraint is a Set Constraint,
+	Constraint is a Ring Constraint;
+either Object Type is an Entity Type or Object Type is a Value Type but not both;
+for each Role Sequence exactly one of these holds:
+	Role Sequence is for Reading,
+	Presence Constraint covers Role Sequence,
+	Subset Constraint(1) covers subset-Role Sequence,
+	Subset Constraint(2) covers superset-Role Sequence,
+	Role Sequence is Ordinal in Set Comparison Constraint;
+either Set Comparison Constraint is a Set Exclusion Constraint or Set Comparison Constraint is a Set Equality Constraint but not both;
+either Set Constraint is a Set Comparison Constraint or Set Constraint is a Subset Constraint but not both;
+either Unit uses coefficient from Ephemera URL or Unit has Coefficient but not both;
+either Unit is fundamental or Unit is derived from base-Unit but not both;
+either Value Constraint Shape is for Object Type Shape or Value Constraint Shape is for Role Display but not both;
+either Value Constraint constrains Value Type or Value Constraint applies to Role but not both;
+for each Instance at most one of these holds:
+	Instance has Value,
+	Instance objectifies Fact;
+for each Term at most one of these holds:
+	Term designates Object Type,
+	Term is name of Role Ref;
+for each Term at most one of these holds:
+	Term designates Object Type(1),
+	Term is secondary for Object Type(2);
+for each Term at most one of these holds:
+	Term is secondary for Object Type,
+	Term is name of Role Ref;
+Role Value is of Instance that is of Object Type
+	if and only if
+	Role Value is of Role that is played by Object Type;
+Role Value fulfils Fact that is of Fact Type
+	if and only if
+	Role Value is of Role (where Fact Type has Ordinal role);
+Presence Constraint is preferred identifier
+	only if Presence Constraint has max Frequency;
+Value Type has Scale
+	only if Value Type has Length;
+either Agreement was reached by Agent or Agreement was on Date;
+each combination Diagram, Position occurs at most one time in
+	Shape is in Diagram,
+	Shape is at Position;
+each combination Entity Type, Type Inheritance occurs at most one time in
+	Entity Type is subtype of super Entity Type,
+	Type Inheritance provides identification;
+each Presence Constraint occurs at least one time in
+	Presence Constraint has min Frequency,
+	Presence Constraint has max Frequency,
+	Presence Constraint is mandatory;
+each Role Sequence occurs at least one time in
+	Role Sequence in Ordinal position includes Role;
+each Set Comparison Constraint occurs at least 2 times in
+	Set Comparison Constraint has in Ordinal position Role Sequence;
+each Term occurs at least one time in
+	Term designates Object Type,
+	Term is secondary for Object Type,
+	Term is name of Role Ref;
+either Value Range has minimum Bound or Value Range has maximum Bound;
+each combination Vocabulary, Name occurs at most one time in
+	Constraint belongs to Vocabulary,
+	Constraint is called Name;
+each combination Vocabulary, Name occurs at most one time in
+	Unit is in Vocabulary,
+	Unit is called Name;

data/examples/CQL/Monogamy.cql

@@ -0,0 +1,24 @@
+vocabulary Monogamy;
+
+/*
+ * Value Types
+ */
+Name is written as String;
+Person ID is written as Auto Counter;
+
+/*
+ * Entity Types
+ */
+Person is identified by its ID;
+Person is called one Name;
+
+Boy is a kind of Person;
+
+Girl is a kind of Person;
+Girl (as Girlfriend) is going out with at most one Boy (as Boyfriend) [symmetric],
+	Boyfriend is going out with at most one Girlfriend;
+
+/*
+ * Constraints:
+ */
+either Person is a Girl or Person is a Boy but not both;

data/examples/CQL/MonthInSeason.cql

@@ -0,0 +1,27 @@
+vocabulary MonthInSeason;
+
+/*
+ * Value Types
+ */
+Event Id is written as Auto Counter;
+Month is written as String;
+Season is written as String;
+
+/*
+ * Entity Types
+ */
+Event is identified by its Id;
+
+Occurrence is where
+	Event occurred in Month;
+
+/*
+ * Fact Types
+ */
+Month is in at most one Season;
+
+/*
+ * Constraints:
+ */
+each Season occurs at least one time in
+	Month is in Season;