activefacts-examples 1.7.1

data/sql/server/Monogamy.sql

@@ -0,0 +1,20 @@
+CREATE TABLE Person (
+	-- maybe Person is a Girl and maybe Girl is going out with Boy and Boy is a kind of Person and Person has Person ID,
+	GirlBoyfriendID                         int NULL,
+	-- Person is called Name,
+	Name                                    varchar NOT NULL,
+	-- Person has Person ID,
+	PersonID                                int IDENTITY NOT NULL,
+	PRIMARY KEY(PersonID),
+	FOREIGN KEY (GirlBoyfriendID) REFERENCES Person (PersonID)
+)
+GO
+
+CREATE VIEW dbo.GirlInPerson_BoyfriendID (GirlBoyfriendID) WITH SCHEMABINDING AS
+	SELECT GirlBoyfriendID FROM dbo.Person
+	WHERE	GirlBoyfriendID IS NOT NULL
+GO
+
+CREATE UNIQUE CLUSTERED INDEX IX_GirlInPersonByGirlBoyfriendID ON dbo.GirlInPerson_BoyfriendID(GirlBoyfriendID)
+GO
+

data/sql/server/MultiInheritance.sql

@@ -0,0 +1,27 @@
+CREATE TABLE Person (
+	-- maybe Person is an Australian and maybe Australian has TFN,
+	AustralianTFN                           char(9) NULL,
+	-- maybe Person is an Employee and Employee has Employee ID,
+	EmployeeID                              int NULL,
+	-- Person has Person Name,
+	PersonName                              varchar NOT NULL,
+	PRIMARY KEY(PersonName)
+)
+GO
+
+CREATE VIEW dbo.AustralianInPerson_TFN (AustralianTFN) WITH SCHEMABINDING AS
+	SELECT AustralianTFN FROM dbo.Person
+	WHERE	AustralianTFN IS NOT NULL
+GO
+
+CREATE UNIQUE CLUSTERED INDEX IX_AustralianInPersonByAustralianTFN ON dbo.AustralianInPerson_TFN(AustralianTFN)
+GO
+
+CREATE VIEW dbo.EmployeeInPerson_ID (EmployeeID) WITH SCHEMABINDING AS
+	SELECT EmployeeID FROM dbo.Person
+	WHERE	EmployeeID IS NOT NULL
+GO
+
+CREATE UNIQUE CLUSTERED INDEX PK_EmployeeInPerson ON dbo.EmployeeInPerson_ID(EmployeeID)
+GO
+

data/sql/server/OilSupply.sql

@@ -0,0 +1,105 @@
+CREATE TABLE AcceptableSubstitution (
+	-- Acceptable Substitution involves Product and Product has Product Name,
+	AlternateProductName                    varchar NOT NULL,
+	-- Acceptable Substitution involves Product and Product has Product Name,
+	ProductName                             varchar NOT NULL,
+	-- Acceptable Substitution involves Season,
+	Season                                  varchar(6) NOT NULL CHECK(Season = 'Autumn' OR Season = 'Spring' OR Season = 'Summer' OR Season = 'Winter'),
+	PRIMARY KEY(ProductName, AlternateProductName, Season)
+)
+GO
+
+CREATE TABLE Month (
+	-- Month has Month Nr,
+	MonthNr                                 int NOT NULL CHECK((MonthNr >= 1 AND MonthNr <= 12)),
+	-- Month is in Season,
+	Season                                  varchar(6) NOT NULL CHECK(Season = 'Autumn' OR Season = 'Spring' OR Season = 'Summer' OR Season = 'Winter'),
+	PRIMARY KEY(MonthNr)
+)
+GO
+
+CREATE TABLE Product (
+	-- Product has Product Name,
+	ProductName                             varchar NOT NULL,
+	PRIMARY KEY(ProductName)
+)
+GO
+
+CREATE TABLE ProductionForecast (
+	-- maybe Production Forecast predicts Cost,
+	Cost                                    decimal NULL,
+	-- Production Forecast involves Product and Product has Product Name,
+	ProductName                             varchar NOT NULL,
+	-- Production Forecast involves Quantity,
+	Quantity                                int NOT NULL,
+	-- Production Forecast involves Refinery and Refinery has Refinery Name,
+	RefineryName                            varchar(80) NOT NULL,
+	-- Production Forecast involves Supply Period and Supply Period is in Month and Month has Month Nr,
+	SupplyPeriodMonthNr                     int NOT NULL CHECK((SupplyPeriodMonthNr >= 1 AND SupplyPeriodMonthNr <= 12)),
+	-- Production Forecast involves Supply Period and Supply Period is in Year and Year has Year Nr,
+	SupplyPeriodYearNr                      int NOT NULL,
+	PRIMARY KEY(RefineryName, SupplyPeriodYearNr, SupplyPeriodMonthNr, ProductName),
+	FOREIGN KEY (SupplyPeriodMonthNr) REFERENCES Month (MonthNr),
+	FOREIGN KEY (ProductName) REFERENCES Product (ProductName)
+)
+GO
+
+CREATE TABLE Refinery (
+	-- Refinery has Refinery Name,
+	RefineryName                            varchar(80) NOT NULL,
+	PRIMARY KEY(RefineryName)
+)
+GO
+
+CREATE TABLE Region (
+	-- Region has Region Name,
+	RegionName                              varchar NOT NULL,
+	PRIMARY KEY(RegionName)
+)
+GO
+
+CREATE TABLE RegionalDemand (
+	-- Regional Demand involves Product and Product has Product Name,
+	ProductName                             varchar NOT NULL,
+	-- Regional Demand involves Quantity,
+	Quantity                                int NOT NULL,
+	-- Regional Demand involves Region and Region has Region Name,
+	RegionName                              varchar NOT NULL,
+	-- Regional Demand involves Supply Period and Supply Period is in Month and Month has Month Nr,
+	SupplyPeriodMonthNr                     int NOT NULL CHECK((SupplyPeriodMonthNr >= 1 AND SupplyPeriodMonthNr <= 12)),
+	-- Regional Demand involves Supply Period and Supply Period is in Year and Year has Year Nr,
+	SupplyPeriodYearNr                      int NOT NULL,
+	PRIMARY KEY(RegionName, SupplyPeriodYearNr, SupplyPeriodMonthNr, ProductName),
+	FOREIGN KEY (SupplyPeriodMonthNr) REFERENCES Month (MonthNr),
+	FOREIGN KEY (ProductName) REFERENCES Product (ProductName),
+	FOREIGN KEY (RegionName) REFERENCES Region (RegionName)
+)
+GO
+
+CREATE TABLE TransportRoute (
+	-- maybe Transport Route incurs Cost per kl,
+	Cost                                    decimal NULL,
+	-- Transport Route involves Refinery and Refinery has Refinery Name,
+	RefineryName                            varchar(80) NOT NULL,
+	-- Transport Route involves Region and Region has Region Name,
+	RegionName                              varchar NOT NULL,
+	-- Transport Route involves Transport Method,
+	TransportMethod                         varchar NOT NULL CHECK(TransportMethod = 'Rail' OR TransportMethod = 'Road' OR TransportMethod = 'Sea'),
+	PRIMARY KEY(TransportMethod, RefineryName, RegionName),
+	FOREIGN KEY (RefineryName) REFERENCES Refinery (RefineryName),
+	FOREIGN KEY (RegionName) REFERENCES Region (RegionName)
+)
+GO
+
+ALTER TABLE AcceptableSubstitution
+	ADD FOREIGN KEY (AlternateProductName) REFERENCES Product (ProductName)
+GO
+
+ALTER TABLE AcceptableSubstitution
+	ADD FOREIGN KEY (ProductName) REFERENCES Product (ProductName)
+GO
+
+ALTER TABLE ProductionForecast
+	ADD FOREIGN KEY (RefineryName) REFERENCES Refinery (RefineryName)
+GO
+

data/sql/server/OneRoleNesting.sql

@@ -0,0 +1,29 @@
+CREATE TABLE Party (
+	-- Party has Party Id,
+	PartyId                                 int IDENTITY NOT NULL,
+	-- Party is involved in Party Moniker and Party Moniker has Accuracy and Accuracy has Accuracy Level,
+	PartyMonikerAccuracyLevel               int NOT NULL CHECK((PartyMonikerAccuracyLevel >= 1 AND PartyMonikerAccuracyLevel <= 5)),
+	-- Party is involved in Party Moniker and Party Moniker involves Party Name,
+	PartyMonikerPartyName                   varchar NOT NULL,
+	-- maybe Party is a Person and Person is involved in Birth and maybe Birth was assisted by attending-Doctor and Doctor is a kind of Person and Person is a kind of Party and Party has Party Id,
+	PersonAttendingDoctorId                 int NULL,
+	-- maybe Party is a Person and Person is involved in Death and maybe Death occurred on death-Event Date and Event Date has ymd,
+	PersonDeathEventDateYmd                 datetime NULL,
+	-- maybe Party is a Person and Person is involved in Death,
+	PersonDied                              bit NULL,
+	-- maybe Party is a Person and Person is involved in Birth and Birth involves Event Date and Event Date has ymd,
+	PersonEventDateYmd                      datetime NULL,
+	PRIMARY KEY(PartyId),
+	FOREIGN KEY (PersonAttendingDoctorId) REFERENCES Party (PartyId)
+)
+GO
+
+CREATE VIEW dbo.BirthInParty_PersonAttendingDoctorIdPersonEventDateYmd (PersonAttendingDoctorId, PersonEventDateYmd) WITH SCHEMABINDING AS
+	SELECT PersonAttendingDoctorId, PersonEventDateYmd FROM dbo.Party
+	WHERE	PersonAttendingDoctorId IS NOT NULL
+	  AND	PersonEventDateYmd IS NOT NULL
+GO
+
+CREATE UNIQUE CLUSTERED INDEX PersonMustHaveSupertypeParty ON dbo.BirthInParty_PersonAttendingDoctorIdPersonEventDateYmd(PersonAttendingDoctorId, PersonEventDateYmd)
+GO
+

data/sql/server/Orienteering.sql

@@ -0,0 +1,186 @@
+CREATE TABLE Club (
+	-- Club has Club Code,
+	ClubCode                                varchar(6) NOT NULL,
+	-- Club is called Club Name,
+	ClubName                                varchar(32) NOT NULL,
+	PRIMARY KEY(ClubCode),
+	UNIQUE(ClubName)
+)
+GO
+
+CREATE TABLE Entry (
+	-- Entry involves Course,
+	Course                                  varchar(16) NOT NULL CHECK((Course >= 'A' AND Course <= 'E') OR Course = 'PW'),
+	-- Entry has Entry ID,
+	EntryID                                 int IDENTITY NOT NULL,
+	-- Entry involves Event and Event has Event ID,
+	EventID                                 int NOT NULL,
+	-- maybe Entry finished in finish-Placing,
+	FinishPlacing                           int NULL,
+	-- Entry involves Person and Person has Person ID,
+	PersonID                                int NOT NULL,
+	-- maybe Entry received Score,
+	Score                                   int NULL,
+	PRIMARY KEY(EntryID),
+	UNIQUE(PersonID, EventID)
+)
+GO
+
+CREATE TABLE Event (
+	-- Event is run by Club and Club has Club Code,
+	ClubCode                                varchar(6) NOT NULL,
+	-- Event has Event ID,
+	EventID                                 int IDENTITY NOT NULL,
+	-- maybe Event is called Event Name,
+	EventName                               varchar(50) NULL,
+	-- Event uses Map and Map has Map ID,
+	MapID                                   int NOT NULL,
+	-- maybe Event has Number,
+	Number                                  int NULL CHECK((Number >= 1 AND Number <= 100)),
+	-- maybe Event is in Series and Series has Series ID,
+	SeriesID                                int NULL,
+	-- Event starts at start-Location,
+	StartLocation                           varchar(200) NOT NULL,
+	-- Event is held on Start Time,
+	StartTime                               datetime NOT NULL,
+	PRIMARY KEY(EventID),
+	FOREIGN KEY (ClubCode) REFERENCES Club (ClubCode)
+)
+GO
+
+CREATE VIEW dbo.Event_Name (EventName) WITH SCHEMABINDING AS
+	SELECT EventName FROM dbo.Event
+	WHERE	EventName IS NOT NULL
+GO
+
+CREATE UNIQUE CLUSTERED INDEX IX_EventByEventName ON dbo.Event_Name(EventName)
+GO
+
+CREATE VIEW dbo.Event_SeriesIDNumber (SeriesID, Number) WITH SCHEMABINDING AS
+	SELECT SeriesID, Number FROM dbo.Event
+	WHERE	SeriesID IS NOT NULL
+	  AND	Number IS NOT NULL
+GO
+
+CREATE UNIQUE CLUSTERED INDEX IX_EventBySeriesIDNumber ON dbo.Event_SeriesIDNumber(SeriesID, Number)
+GO
+
+CREATE TABLE EventControl (
+	-- Event Control involves Control Number,
+	ControlNumber                           int NOT NULL CHECK((ControlNumber >= 1 AND ControlNumber <= 1000)),
+	-- Event Control involves Event and Event has Event ID,
+	EventID                                 int NOT NULL,
+	-- maybe Event Control has Point Value,
+	PointValue                              int NULL,
+	PRIMARY KEY(EventID, ControlNumber),
+	FOREIGN KEY (EventID) REFERENCES Event (EventID)
+)
+GO
+
+CREATE TABLE EventScoringMethod (
+	-- Event Scoring Method involves Course,
+	Course                                  varchar(16) NOT NULL CHECK((Course >= 'A' AND Course <= 'E') OR Course = 'PW'),
+	-- Event Scoring Method involves Event and Event has Event ID,
+	EventID                                 int NOT NULL,
+	-- Event Scoring Method involves Scoring Method,
+	ScoringMethod                           varchar(32) NOT NULL CHECK(ScoringMethod = 'Scatter' OR ScoringMethod = 'Score' OR ScoringMethod = 'Special'),
+	PRIMARY KEY(Course, EventID),
+	FOREIGN KEY (EventID) REFERENCES Event (EventID)
+)
+GO
+
+CREATE TABLE Map (
+	-- maybe Map has Accessibility,
+	Accessibility                           char(1) NULL CHECK((Accessibility >= 'A' AND Accessibility <= 'D')),
+	-- Map has Map ID,
+	MapID                                   int IDENTITY NOT NULL,
+	-- Map has Map Name,
+	MapName                                 varchar(80) NOT NULL,
+	-- Map is owned by Club and Club has Club Code,
+	OwnerCode                               varchar(6) NOT NULL,
+	PRIMARY KEY(MapID),
+	UNIQUE(MapName),
+	FOREIGN KEY (OwnerCode) REFERENCES Club (ClubCode)
+)
+GO
+
+CREATE TABLE Person (
+	-- maybe Person was born in birth-Year,
+	BirthYear                               int NULL CHECK((BirthYear >= 1900 AND BirthYear <= 3000)),
+	-- maybe Person is member of Club and Club has Club Code,
+	ClubCode                                varchar(6) NULL,
+	-- Person has Family Name,
+	FamilyName                              varchar(48) NOT NULL,
+	-- maybe Person is of Gender,
+	Gender                                  char(1) NULL CHECK(Gender = 'F' OR Gender = 'M'),
+	-- Person has Given Name,
+	GivenName                               varchar(48) NOT NULL,
+	-- Person has Person ID,
+	PersonID                                int IDENTITY NOT NULL,
+	-- maybe Person has Post Code,
+	PostCode                                int NULL,
+	PRIMARY KEY(PersonID),
+	UNIQUE(GivenName, FamilyName),
+	FOREIGN KEY (ClubCode) REFERENCES Club (ClubCode)
+)
+GO
+
+CREATE TABLE Punch (
+	-- Punch has Punch ID,
+	PunchID                                 int IDENTITY NOT NULL,
+	PRIMARY KEY(PunchID)
+)
+GO
+
+CREATE TABLE PunchPlacement (
+	-- Punch Placement involves Event Control and Event Control involves Event and Event has Event ID,
+	EventControlEventID                     int NOT NULL,
+	-- Punch Placement involves Event Control and Event Control involves Control Number,
+	EventControlNumber                      int NOT NULL,
+	-- Punch Placement involves Punch and Punch has Punch ID,
+	PunchID                                 int NOT NULL,
+	PRIMARY KEY(PunchID, EventControlEventID, EventControlNumber),
+	FOREIGN KEY (EventControlEventID, EventControlNumber) REFERENCES EventControl (EventID, ControlNumber),
+	FOREIGN KEY (PunchID) REFERENCES Punch (PunchID)
+)
+GO
+
+CREATE TABLE Series (
+	-- Series has Series Name,
+	Name                                    varchar(40) NOT NULL,
+	-- Series has Series ID,
+	SeriesID                                int IDENTITY NOT NULL,
+	PRIMARY KEY(SeriesID),
+	UNIQUE(Name)
+)
+GO
+
+CREATE TABLE Visit (
+	-- Visit involves Entry and Entry has Entry ID,
+	EntryID                                 int NOT NULL,
+	-- Visit involves Punch and Punch has Punch ID,
+	PunchID                                 int NOT NULL,
+	-- Visit involves Time,
+	Time                                    datetime NOT NULL,
+	PRIMARY KEY(PunchID, EntryID, Time),
+	FOREIGN KEY (EntryID) REFERENCES Entry (EntryID),
+	FOREIGN KEY (PunchID) REFERENCES Punch (PunchID)
+)
+GO
+
+ALTER TABLE Entry
+	ADD FOREIGN KEY (EventID) REFERENCES Event (EventID)
+GO
+
+ALTER TABLE Entry
+	ADD FOREIGN KEY (PersonID) REFERENCES Person (PersonID)
+GO
+
+ALTER TABLE Event
+	ADD FOREIGN KEY (MapID) REFERENCES Map (MapID)
+GO
+
+ALTER TABLE Event
+	ADD FOREIGN KEY (SeriesID) REFERENCES Series (SeriesID)
+GO
+

data/sql/server/PersonPlaysGame.sql

@@ -0,0 +1,9 @@
+CREATE TABLE Playing (
+	-- Playing involves Game and Game has Game Code,
+	GameCode                                char NOT NULL,
+	-- Playing involves Person and Person has Person Name,
+	PersonName                              varchar NOT NULL,
+	PRIMARY KEY(PersonName, GameCode)
+)
+GO
+

data/sql/server/RedundantDependency.sql

@@ -0,0 +1,54 @@
+CREATE TABLE Address (
+	-- Address has Address Id,
+	AddressId                               int IDENTITY NOT NULL,
+	-- maybe Address is in Legislative District and Legislative District has District Number,
+	LegislativeDistrictNumber               int NULL,
+	-- maybe Address is in Legislative District and Legislative District is for State Or Province and State Or Province has State Or Province Id,
+	LegislativeDistrictStateOrProvinceId    int NULL,
+	-- maybe Address is assigned Postal Code,
+	PostalCode                              int NULL,
+	-- maybe Address is in State Or Province and State Or Province has State Or Province Id,
+	StateOrProvinceId                       int NULL,
+	PRIMARY KEY(AddressId)
+)
+GO
+
+CREATE TABLE Politician (
+	-- maybe Politician represents Legislative District and Legislative District has District Number,
+	LegislativeDistrictNumber               int NULL,
+	-- maybe Politician represents Legislative District and Legislative District is for State Or Province and State Or Province has State Or Province Id,
+	LegislativeDistrictStateOrProvinceId    int NULL,
+	-- Politician has Politician Id,
+	PoliticianId                            int IDENTITY NOT NULL,
+	PRIMARY KEY(PoliticianId)
+)
+GO
+
+CREATE VIEW dbo.Politician_LegislativeDistrictNumberLegislativeDistrictStateOrProvinceId (LegislativeDistrictNumber, LegislativeDistrictStateOrProvinceId) WITH SCHEMABINDING AS
+	SELECT LegislativeDistrictNumber, LegislativeDistrictStateOrProvinceId FROM dbo.Politician
+	WHERE	LegislativeDistrictNumber IS NOT NULL
+	  AND	LegislativeDistrictStateOrProvinceId IS NOT NULL
+GO
+
+CREATE UNIQUE CLUSTERED INDEX IX_PoliticianByLegislativeDistrictNumberLegislativeDistrictStateOrProvinceId ON dbo.Politician_LegislativeDistrictNumberLegislativeDistrictStateOrProvinceId(LegislativeDistrictNumber, LegislativeDistrictStateOrProvinceId)
+GO
+
+CREATE TABLE StateOrProvince (
+	-- State Or Province has State Or Province Id,
+	StateOrProvinceId                       int IDENTITY NOT NULL,
+	PRIMARY KEY(StateOrProvinceId)
+)
+GO
+
+ALTER TABLE Address
+	ADD FOREIGN KEY (LegislativeDistrictStateOrProvinceId) REFERENCES StateOrProvince (StateOrProvinceId)
+GO
+
+ALTER TABLE Address
+	ADD FOREIGN KEY (StateOrProvinceId) REFERENCES StateOrProvince (StateOrProvinceId)
+GO
+
+ALTER TABLE Politician
+	ADD FOREIGN KEY (LegislativeDistrictStateOrProvinceId) REFERENCES StateOrProvince (StateOrProvinceId)
+GO
+

data/sql/server/SchoolActivities.sql

@@ -0,0 +1,30 @@
+CREATE TABLE SchoolActivity (
+	-- School Activity involves Activity and Activity has Activity Name,
+	ActivityName                            varchar(32) NOT NULL,
+	-- School Activity involves School and School has School Name,
+	SchoolName                              varchar NOT NULL,
+	PRIMARY KEY(SchoolName, ActivityName)
+)
+GO
+
+CREATE TABLE Student (
+	-- Student is enrolled in School and School has School Name,
+	SchoolName                              varchar NOT NULL,
+	-- Student has Student Name,
+	StudentName                             varchar NOT NULL,
+	PRIMARY KEY(StudentName)
+)
+GO
+
+CREATE TABLE StudentParticipation (
+	-- Student Participation involves Activity and Activity has Activity Name,
+	ActivityName                            varchar(32) NOT NULL,
+	-- Student Participation involves School and School has School Name,
+	SchoolName                              varchar NOT NULL,
+	-- Student Participation involves Student and Student has Student Name,
+	StudentName                             varchar NOT NULL,
+	PRIMARY KEY(StudentName, ActivityName),
+	FOREIGN KEY (StudentName) REFERENCES Student (StudentName)
+)
+GO
+

data/sql/server/SeparateSubtype.sql

@@ -0,0 +1,33 @@
+CREATE TABLE Claim (
+	-- Claim has Claim ID,
+	ClaimID                                 int IDENTITY NOT NULL,
+	-- maybe Claim concerns Incident and maybe Incident occurred on Date Time,
+	IncidentDateTime                        datetime NULL,
+	-- maybe Claim concerns Incident and maybe Incident was independently witnessed by Witness and Witness is a kind of Person and Person has Person Name,
+	IncidentWitnessName                     varchar NULL,
+	PRIMARY KEY(ClaimID)
+)
+GO
+
+CREATE TABLE Person (
+	-- Person has Person Name,
+	PersonName                              varchar NOT NULL,
+	PRIMARY KEY(PersonName)
+)
+GO
+
+CREATE TABLE VehicleIncident (
+	-- maybe Vehicle Incident occurred while Driver was in charge and Driver is a kind of Person and Person has Person Name,
+	DriverName                              varchar NULL,
+	-- Vehicle Incident is a kind of Incident and Incident resulted in Claim and Claim has Claim ID,
+	IncidentClaimID                         int NOT NULL,
+	PRIMARY KEY(IncidentClaimID),
+	FOREIGN KEY (IncidentClaimID) REFERENCES Claim (ClaimID),
+	FOREIGN KEY (DriverName) REFERENCES Person (PersonName)
+)
+GO
+
+ALTER TABLE Claim
+	ADD FOREIGN KEY (IncidentWitnessName) REFERENCES Person (PersonName)
+GO
+

data/sql/server/SimplestUnary.sql

@@ -0,0 +1,9 @@
+CREATE TABLE SomeString (
+	-- Some String is long Boolean,
+	IsLong                                  bit NULL,
+	-- Some String Value,
+	SomeStringValue                         varchar NOT NULL,
+	PRIMARY KEY(SomeStringValue)
+)
+GO
+

data/sql/server/Supervision.sql

@@ -0,0 +1,30 @@
+CREATE TABLE Company (
+	-- Company is run by CEO and CEO is a kind of Manager and Manager is a kind of Employee and Employee works for Company and Company has CompanyName,
+	CEOCompanyName                          varchar NOT NULL,
+	-- Company is run by CEO and CEO is a kind of Manager and Manager is a kind of Employee and Employee has EmployeeNr,
+	CEOEmployeeNr                           int NOT NULL,
+	-- Company has CompanyName,
+	CompanyName                             varchar NOT NULL,
+	PRIMARY KEY(CompanyName)
+)
+GO
+
+CREATE TABLE Employee (
+	-- Employee works for Company and Company has CompanyName,
+	CompanyName                             varchar NOT NULL,
+	-- Employee has EmployeeNr,
+	EmployeeNr                              int NOT NULL,
+	-- maybe Employee reports to Manager and Manager is a kind of Employee and Employee works for Company and Company has CompanyName,
+	ManagerCompanyName                      varchar NULL,
+	-- maybe Employee reports to Manager and Manager is a kind of Employee and Employee has EmployeeNr,
+	ManagerEmployeeNr                       int NULL,
+	PRIMARY KEY(CompanyName, EmployeeNr),
+	FOREIGN KEY (CompanyName) REFERENCES Company (CompanyName),
+	FOREIGN KEY (ManagerCompanyName, ManagerEmployeeNr) REFERENCES Employee (CompanyName, EmployeeNr)
+)
+GO
+
+ALTER TABLE Company
+	ADD FOREIGN KEY (CEOCompanyName, CEOEmployeeNr) REFERENCES Employee (CompanyName, EmployeeNr)
+GO
+

data/sql/server/VenueSeating.sql

@@ -0,0 +1,54 @@
+CREATE TABLE Event (
+	-- Event has Event Id,
+	EventId                                 int IDENTITY NOT NULL,
+	-- Event is held at Venue and Venue has Venue Id,
+	VenueId                                 int NOT NULL,
+	PRIMARY KEY(EventId)
+)
+GO
+
+CREATE TABLE Seat (
+	-- Seat has Number,
+	Number                                  smallint NOT NULL,
+	-- Seat is in Reserve and Reserve has Reserve Name,
+	ReserveName                             varchar NOT NULL,
+	-- Seat is in Row and Row has Row Code,
+	RowCode                                 char NOT NULL,
+	-- Seat is at Venue and Venue has Venue Id,
+	VenueId                                 int NOT NULL,
+	PRIMARY KEY(VenueId, ReserveName, RowCode, Number)
+)
+GO
+
+CREATE TABLE Ticket (
+	-- Ticket is for Event and Event has Event Id,
+	EventId                                 int NOT NULL,
+	-- Ticket is for Seat and Seat has Number,
+	SeatNumber                              smallint NOT NULL,
+	-- Ticket is for Seat and Seat is in Reserve and Reserve has Reserve Name,
+	SeatReserveName                         varchar NOT NULL,
+	-- Ticket is for Seat and Seat is in Row and Row has Row Code,
+	SeatRowCode                             char NOT NULL,
+	-- Ticket is for Seat and Seat is at Venue and Venue has Venue Id,
+	SeatVenueId                             int NOT NULL,
+	PRIMARY KEY(EventId, SeatVenueId, SeatReserveName, SeatRowCode, SeatNumber),
+	FOREIGN KEY (EventId) REFERENCES Event (EventId),
+	FOREIGN KEY (SeatVenueId, SeatReserveName, SeatRowCode, SeatNumber) REFERENCES Seat (VenueId, ReserveName, RowCode, Number)
+)
+GO
+
+CREATE TABLE Venue (
+	-- Venue has Venue Id,
+	VenueId                                 int IDENTITY NOT NULL,
+	PRIMARY KEY(VenueId)
+)
+GO
+
+ALTER TABLE Event
+	ADD FOREIGN KEY (VenueId) REFERENCES Venue (VenueId)
+GO
+
+ALTER TABLE Seat
+	ADD FOREIGN KEY (VenueId) REFERENCES Venue (VenueId)
+GO
+

data/sql/server/WaiterTips.sql

@@ -0,0 +1,31 @@
+CREATE TABLE Meal (
+	-- Meal has MealId,
+	MealId                                  int IDENTITY NOT NULL,
+	PRIMARY KEY(MealId)
+)
+GO
+
+CREATE TABLE Service (
+	-- maybe Service earned a tip of Amount and Amount has AUDValue,
+	AmountAUDValue                          decimal NULL,
+	-- Service involves Meal and Meal has MealId,
+	MealId                                  int NOT NULL,
+	-- Service involves Waiter and Waiter has WaiterNr,
+	WaiterNr                                int NOT NULL,
+	PRIMARY KEY(WaiterNr, MealId),
+	FOREIGN KEY (MealId) REFERENCES Meal (MealId)
+)
+GO
+
+CREATE TABLE WaiterTip (
+	-- WaiterTip involves Amount and Amount has AUDValue,
+	AmountAUDValue                          decimal NOT NULL,
+	-- WaiterTip involves Meal and Meal has MealId,
+	MealId                                  int NOT NULL,
+	-- WaiterTip involves Waiter and Waiter has WaiterNr,
+	WaiterNr                                int NOT NULL,
+	PRIMARY KEY(WaiterNr, MealId),
+	FOREIGN KEY (MealId) REFERENCES Meal (MealId)
+)
+GO
+