activefacts-examples 1.7.1

data/sql/server/CinemaTickets.sql

@@ -0,0 +1,191 @@
+CREATE TABLE AllocatableCinemaSection (
+	-- AllocatableCinemaSection involves Cinema and Cinema has Cinema ID,
+	CinemaID                                int NOT NULL,
+	-- AllocatableCinemaSection involves Section and Section has Section Name,
+	SectionName                             varchar NOT NULL,
+	PRIMARY KEY(CinemaID, SectionName)
+)
+GO
+
+CREATE TABLE Booking (
+	-- maybe tickets for Booking are being mailed to Address and Address has Address Text,
+	AddressText                             text NULL,
+	-- Booking has Booking Nr,
+	BookingNr                               int NOT NULL,
+	-- maybe Booking has Collection Code,
+	CollectionCode                          int NULL,
+	-- Booking involves Number,
+	Number                                  smallint NOT NULL CHECK(Number >= 1),
+	-- Booking involves Person and Person has Person ID,
+	PersonID                                int NOT NULL,
+	-- maybe Booking is for seats in Section and Section has Section Name,
+	SectionName                             varchar NULL,
+	-- Booking involves Session and Session involves Cinema and Cinema has Cinema ID,
+	SessionCinemaID                         int NOT NULL,
+	-- Booking involves Session and Session involves Session Time and Session Time is on Day,
+	SessionTimeDay                          int NOT NULL,
+	-- Booking involves Session and Session involves Session Time and Session Time is at Hour,
+	SessionTimeHour                         int NOT NULL,
+	-- Booking involves Session and Session involves Session Time and Session Time is at Minute,
+	SessionTimeMinute                       int NOT NULL,
+	-- Booking involves Session and Session involves Session Time and Session Time is in Month and Month has Month Nr,
+	SessionTimeMonthNr                      int NOT NULL,
+	-- Booking involves Session and Session involves Session Time and Session Time is in Year and Year has Year Nr,
+	SessionTimeYearNr                       int NOT NULL,
+	-- tickets for Booking have been issued Boolean,
+	TicketsForHaveBeenIssued                bit NULL,
+	PRIMARY KEY(BookingNr),
+	UNIQUE(PersonID, SessionCinemaID, SessionTimeYearNr, SessionTimeMonthNr, SessionTimeDay, SessionTimeHour, SessionTimeMinute)
+)
+GO
+
+CREATE TABLE Cinema (
+	-- Cinema has Cinema ID,
+	CinemaID                                int IDENTITY NOT NULL,
+	-- Cinema has Name,
+	Name                                    varchar NOT NULL,
+	PRIMARY KEY(CinemaID),
+	UNIQUE(Name)
+)
+GO
+
+CREATE TABLE Film (
+	-- Film has Film ID,
+	FilmID                                  int IDENTITY NOT NULL,
+	-- Film has Name,
+	Name                                    varchar NOT NULL,
+	-- maybe Film was made in Year and Year has Year Nr,
+	YearNr                                  int NULL CHECK((YearNr >= 1900 AND YearNr <= 9999)),
+	PRIMARY KEY(FilmID)
+)
+GO
+
+CREATE VIEW dbo.Film_NameYearNr (Name, YearNr) WITH SCHEMABINDING AS
+	SELECT Name, YearNr FROM dbo.Film
+	WHERE	YearNr IS NOT NULL
+GO
+
+CREATE UNIQUE CLUSTERED INDEX IX_FilmByNameYearNr ON dbo.Film_NameYearNr(Name, YearNr)
+GO
+
+CREATE TABLE Person (
+	-- maybe Person has Encrypted Password,
+	EncryptedPassword                       varchar NULL,
+	-- maybe Person has login-Name,
+	LoginName                               varchar NULL,
+	-- Person has Person ID,
+	PersonID                                int IDENTITY NOT NULL,
+	PRIMARY KEY(PersonID)
+)
+GO
+
+CREATE VIEW dbo.Person_LoginName (LoginName) WITH SCHEMABINDING AS
+	SELECT LoginName FROM dbo.Person
+	WHERE	LoginName IS NOT NULL
+GO
+
+CREATE UNIQUE CLUSTERED INDEX IX_PersonByLoginName ON dbo.Person_LoginName(LoginName)
+GO
+
+CREATE TABLE PlacesPaid (
+	-- Places Paid involves Booking and Booking has Booking Nr,
+	BookingNr                               int NOT NULL,
+	-- Places Paid involves Number,
+	Number                                  smallint NOT NULL CHECK(Number >= 1),
+	-- Places Paid involves Payment Method and Payment Method has Payment Method Code,
+	PaymentMethodCode                       varchar NOT NULL CHECK(PaymentMethodCode = 'Card' OR PaymentMethodCode = 'Cash' OR PaymentMethodCode = 'Gift Voucher' OR PaymentMethodCode = 'Loyalty Voucher'),
+	PRIMARY KEY(BookingNr, PaymentMethodCode),
+	FOREIGN KEY (BookingNr) REFERENCES Booking (BookingNr)
+)
+GO
+
+CREATE TABLE Seat (
+	-- Seat is in Row and Row is in Cinema and Cinema has Cinema ID,
+	RowCinemaID                             int NOT NULL,
+	-- Seat is in Row and Row has Row Nr,
+	RowNr                                   char(2) NOT NULL,
+	-- Seat has Seat Number,
+	SeatNumber                              smallint NOT NULL,
+	-- maybe Seat is in Section and Section has Section Name,
+	SectionName                             varchar NULL,
+	PRIMARY KEY(RowCinemaID, RowNr, SeatNumber),
+	FOREIGN KEY (RowCinemaID) REFERENCES Cinema (CinemaID)
+)
+GO
+
+CREATE TABLE SeatAllocation (
+	-- Seat Allocation involves Seat and Seat has Seat Number,
+	AllocatedSeatNumber                     smallint NOT NULL,
+	-- Seat Allocation involves Seat and Seat is in Row and Row is in Cinema and Cinema has Cinema ID,
+	AllocatedSeatRowCinemaID                int NOT NULL,
+	-- Seat Allocation involves Seat and Seat is in Row and Row has Row Nr,
+	AllocatedSeatRowNr                      char(2) NOT NULL,
+	-- Seat Allocation involves Booking and Booking has Booking Nr,
+	BookingNr                               int NOT NULL,
+	PRIMARY KEY(BookingNr, AllocatedSeatRowCinemaID, AllocatedSeatRowNr, AllocatedSeatNumber),
+	FOREIGN KEY (BookingNr) REFERENCES Booking (BookingNr),
+	FOREIGN KEY (AllocatedSeatRowCinemaID, AllocatedSeatRowNr, AllocatedSeatNumber) REFERENCES Seat (RowCinemaID, RowNr, SeatNumber)
+)
+GO
+
+CREATE TABLE Session (
+	-- Session involves Cinema and Cinema has Cinema ID,
+	CinemaID                                int NOT NULL,
+	-- Session involves Film and Film has Film ID,
+	FilmID                                  int NOT NULL,
+	-- Session is high-demand Boolean,
+	IsHighDemand                            bit NULL,
+	-- Session involves Session Time and Session Time is on Day,
+	SessionTimeDay                          int NOT NULL CHECK((SessionTimeDay >= 1 AND SessionTimeDay <= 31)),
+	-- Session involves Session Time and Session Time is at Hour,
+	SessionTimeHour                         int NOT NULL CHECK((SessionTimeHour >= 0 AND SessionTimeHour <= 23)),
+	-- Session involves Session Time and Session Time is at Minute,
+	SessionTimeMinute                       int NOT NULL CHECK((SessionTimeMinute >= 0 AND SessionTimeMinute <= 59)),
+	-- Session involves Session Time and Session Time is in Month and Month has Month Nr,
+	SessionTimeMonthNr                      int NOT NULL CHECK((SessionTimeMonthNr >= 1 AND SessionTimeMonthNr <= 12)),
+	-- Session involves Session Time and Session Time is in Year and Year has Year Nr,
+	SessionTimeYearNr                       int NOT NULL CHECK((SessionTimeYearNr >= 1900 AND SessionTimeYearNr <= 9999)),
+	-- Session uses allocated seating Boolean,
+	UsesAllocatedSeating                    bit NULL,
+	PRIMARY KEY(CinemaID, SessionTimeYearNr, SessionTimeMonthNr, SessionTimeDay, SessionTimeHour, SessionTimeMinute),
+	FOREIGN KEY (CinemaID) REFERENCES Cinema (CinemaID),
+	FOREIGN KEY (FilmID) REFERENCES Film (FilmID)
+)
+GO
+
+CREATE TABLE TicketPricing (
+	-- Ticket Pricing involves Cinema and Cinema has Cinema ID,
+	CinemaID                                int NOT NULL,
+	-- Ticket Pricing involves High Demand,
+	HighDemand                              Boolean NOT NULL,
+	-- Ticket Pricing involves Price,
+	Price                                   decimal NOT NULL,
+	-- Ticket Pricing involves Section and Section has Section Name,
+	SectionName                             varchar NOT NULL,
+	-- Ticket Pricing involves Session Time and Session Time is on Day,
+	SessionTimeDay                          int NOT NULL CHECK((SessionTimeDay >= 1 AND SessionTimeDay <= 31)),
+	-- Ticket Pricing involves Session Time and Session Time is at Hour,
+	SessionTimeHour                         int NOT NULL CHECK((SessionTimeHour >= 0 AND SessionTimeHour <= 23)),
+	-- Ticket Pricing involves Session Time and Session Time is at Minute,
+	SessionTimeMinute                       int NOT NULL CHECK((SessionTimeMinute >= 0 AND SessionTimeMinute <= 59)),
+	-- Ticket Pricing involves Session Time and Session Time is in Month and Month has Month Nr,
+	SessionTimeMonthNr                      int NOT NULL CHECK((SessionTimeMonthNr >= 1 AND SessionTimeMonthNr <= 12)),
+	-- Ticket Pricing involves Session Time and Session Time is in Year and Year has Year Nr,
+	SessionTimeYearNr                       int NOT NULL CHECK((SessionTimeYearNr >= 1900 AND SessionTimeYearNr <= 9999)),
+	PRIMARY KEY(SessionTimeYearNr, SessionTimeMonthNr, SessionTimeDay, SessionTimeHour, SessionTimeMinute, CinemaID, SectionName, HighDemand),
+	FOREIGN KEY (CinemaID) REFERENCES Cinema (CinemaID)
+)
+GO
+
+ALTER TABLE AllocatableCinemaSection
+	ADD FOREIGN KEY (CinemaID) REFERENCES Cinema (CinemaID)
+GO
+
+ALTER TABLE Booking
+	ADD FOREIGN KEY (PersonID) REFERENCES Person (PersonID)
+GO
+
+ALTER TABLE Booking
+	ADD FOREIGN KEY (SessionCinemaID, SessionTimeYearNr, SessionTimeMonthNr, SessionTimeDay, SessionTimeHour, SessionTimeMinute) REFERENCES Session (CinemaID, SessionTimeYearNr, SessionTimeMonthNr, SessionTimeDay, SessionTimeHour, SessionTimeMinute)
+GO
+

data/sql/server/CompanyDirectorEmployee.sql

@@ -0,0 +1,104 @@
+CREATE TABLE Attendance (
+	-- Attendance involves Person and maybe Person is called family-Name,
+	AttendeeFamilyName                      varchar(48) NULL,
+	-- Attendance involves Person and Person has given-Name,
+	AttendeeGivenName                       varchar(48) NOT NULL,
+	-- Attendance involves Meeting and Meeting is held by Company and Company is called Company Name,
+	MeetingCompanyName                      varchar(48) NOT NULL,
+	-- Attendance involves Meeting and Meeting is held on Date,
+	MeetingDate                             datetime NOT NULL,
+	-- Attendance involves Meeting and Meeting is board meeting,
+	MeetingIsBoardMeeting                   bit NULL,
+	UNIQUE(AttendeeGivenName, AttendeeFamilyName, MeetingCompanyName, MeetingDate, MeetingIsBoardMeeting)
+)
+GO
+
+CREATE TABLE Company (
+	-- Company is called Company Name,
+	CompanyName                             varchar(48) NOT NULL,
+	-- Company is listed Boolean,
+	IsListed                                bit NULL,
+	PRIMARY KEY(CompanyName)
+)
+GO
+
+CREATE TABLE Directorship (
+	-- Directorship began on appointment-Date,
+	AppointmentDate                         datetime NOT NULL,
+	-- Directorship involves Company and Company is called Company Name,
+	CompanyName                             varchar(48) NOT NULL,
+	-- Directorship involves Person and maybe Person is called family-Name,
+	DirectorFamilyName                      varchar(48) NULL,
+	-- Directorship involves Person and Person has given-Name,
+	DirectorGivenName                       varchar(48) NOT NULL,
+	UNIQUE(DirectorGivenName, DirectorFamilyName, CompanyName),
+	FOREIGN KEY (CompanyName) REFERENCES Company (CompanyName)
+)
+GO
+
+CREATE TABLE Employee (
+	-- Employee works at Company and Company is called Company Name,
+	CompanyName                             varchar(48) NOT NULL,
+	-- Employee has Employee Nr,
+	EmployeeNr                              int NOT NULL,
+	-- maybe Employee is a Manager and Manager is ceo Boolean,
+	ManagerIsCeo                            bit NULL,
+	-- maybe Employee is supervised by Manager and Manager is a kind of Employee and Employee has Employee Nr,
+	ManagerNr                               int NULL,
+	PRIMARY KEY(EmployeeNr),
+	FOREIGN KEY (CompanyName) REFERENCES Company (CompanyName),
+	FOREIGN KEY (ManagerNr) REFERENCES Employee (EmployeeNr)
+)
+GO
+
+CREATE TABLE Employment (
+	-- Employment involves Employee and Employee has Employee Nr,
+	EmployeeNr                              int NOT NULL,
+	-- Employment involves Person and maybe Person is called family-Name,
+	PersonFamilyName                        varchar(48) NULL,
+	-- Employment involves Person and Person has given-Name,
+	PersonGivenName                         varchar(48) NOT NULL,
+	UNIQUE(PersonGivenName, PersonFamilyName, EmployeeNr),
+	FOREIGN KEY (EmployeeNr) REFERENCES Employee (EmployeeNr)
+)
+GO
+
+CREATE TABLE Meeting (
+	-- Meeting is held by Company and Company is called Company Name,
+	CompanyName                             varchar(48) NOT NULL,
+	-- Meeting is held on Date,
+	Date                                    datetime NOT NULL,
+	-- Meeting is board meeting,
+	IsBoardMeeting                          bit NULL,
+	UNIQUE(CompanyName, Date, IsBoardMeeting),
+	FOREIGN KEY (CompanyName) REFERENCES Company (CompanyName)
+)
+GO
+
+CREATE TABLE Person (
+	-- maybe Person was born on birth-Date,
+	BirthDate                               datetime NULL CHECK(BirthDate >= '1900/01/01'),
+	-- maybe Person is called family-Name,
+	FamilyName                              varchar(48) NULL,
+	-- Person has given-Name,
+	GivenName                               varchar(48) NOT NULL,
+	UNIQUE(GivenName, FamilyName)
+)
+GO
+
+ALTER TABLE Attendance
+	ADD FOREIGN KEY (MeetingCompanyName, MeetingDate, MeetingIsBoardMeeting) REFERENCES Meeting (CompanyName, Date, IsBoardMeeting)
+GO
+
+ALTER TABLE Attendance
+	ADD FOREIGN KEY (AttendeeGivenName, AttendeeFamilyName) REFERENCES Person (GivenName, FamilyName)
+GO
+
+ALTER TABLE Directorship
+	ADD FOREIGN KEY (DirectorGivenName, DirectorFamilyName) REFERENCES Person (GivenName, FamilyName)
+GO
+
+ALTER TABLE Employment
+	ADD FOREIGN KEY (PersonGivenName, PersonFamilyName) REFERENCES Person (GivenName, FamilyName)
+GO
+

data/sql/server/Death.sql

@@ -0,0 +1,11 @@
+CREATE TABLE Person (
+	-- Person is involved in Death and maybe Death was due to Cause Of Death,
+	DeathCauseOfDeath                       varchar NULL,
+	-- Person is involved in Death,
+	IsDead                                  bit NULL,
+	-- Person has Person Name,
+	PersonName                              varchar(40) NOT NULL,
+	PRIMARY KEY(PersonName)
+)
+GO
+

data/sql/server/Diplomacy.sql

@@ -0,0 +1,66 @@
+CREATE TABLE Country (
+	-- Country has CountryName,
+	CountryName                             varchar NOT NULL,
+	PRIMARY KEY(CountryName)
+)
+GO
+
+CREATE TABLE Diplomat (
+	-- Diplomat has DiplomatName,
+	DiplomatName                            varchar NOT NULL,
+	-- Diplomat represents Country and Country has CountryName,
+	RepresentedCountryName                  varchar NOT NULL,
+	-- Diplomat serves in Country and Country has CountryName,
+	ServedCountryName                       varchar NOT NULL,
+	PRIMARY KEY(DiplomatName),
+	FOREIGN KEY (RepresentedCountryName) REFERENCES Country (CountryName),
+	FOREIGN KEY (ServedCountryName) REFERENCES Country (CountryName)
+)
+GO
+
+CREATE TABLE Fluency (
+	-- Fluency involves Diplomat and Diplomat has DiplomatName,
+	DiplomatName                            varchar NOT NULL,
+	-- Fluency involves Language and Language has LanguageName,
+	LanguageName                            varchar NOT NULL,
+	PRIMARY KEY(DiplomatName, LanguageName),
+	FOREIGN KEY (DiplomatName) REFERENCES Diplomat (DiplomatName)
+)
+GO
+
+CREATE TABLE Language (
+	-- Language has LanguageName,
+	LanguageName                            varchar NOT NULL,
+	PRIMARY KEY(LanguageName)
+)
+GO
+
+CREATE TABLE LanguageUse (
+	-- LanguageUse involves Country and Country has CountryName,
+	CountryName                             varchar NOT NULL,
+	-- LanguageUse involves Language and Language has LanguageName,
+	LanguageName                            varchar NOT NULL,
+	PRIMARY KEY(LanguageName, CountryName),
+	FOREIGN KEY (CountryName) REFERENCES Country (CountryName),
+	FOREIGN KEY (LanguageName) REFERENCES Language (LanguageName)
+)
+GO
+
+CREATE TABLE Representation (
+	-- Representation involves Ambassador and Ambassador is a kind of Diplomat and Diplomat has DiplomatName,
+	AmbassadorName                          varchar NOT NULL,
+	-- Representation involves Country and Country has CountryName,
+	CountryName                             varchar NOT NULL,
+	-- Representation involves Country and Country has CountryName,
+	RepresentedCountryName                  varchar NOT NULL,
+	PRIMARY KEY(RepresentedCountryName, CountryName),
+	FOREIGN KEY (CountryName) REFERENCES Country (CountryName),
+	FOREIGN KEY (RepresentedCountryName) REFERENCES Country (CountryName),
+	FOREIGN KEY (AmbassadorName) REFERENCES Diplomat (DiplomatName)
+)
+GO
+
+ALTER TABLE Fluency
+	ADD FOREIGN KEY (LanguageName) REFERENCES Language (LanguageName)
+GO
+

data/sql/server/Genealogy.sql

@@ -0,0 +1,138 @@
+CREATE TABLE Event (
+	-- maybe Event is certified by Certificate,
+	Certificate                             varchar(64) NULL,
+	-- maybe Event occurred on Event Date and maybe Event Date occurred on Day,
+	EventDateDay                            int NULL CHECK((EventDateDay >= 1 AND EventDateDay <= 31)),
+	-- maybe Event occurred on Event Date and maybe Event Date wasnt after max-Year,
+	EventDateMaxYear                        int NULL,
+	-- maybe Event occurred on Event Date and maybe Event Date wasnt before min-Year,
+	EventDateMinYear                        int NULL,
+	-- maybe Event occurred on Event Date and maybe Event Date occurred in Month,
+	EventDateMonth                          int NULL CHECK((EventDateMonth >= 1 AND EventDateMonth <= 12)),
+	-- Event has Event ID,
+	EventID                                 int IDENTITY NOT NULL,
+	-- maybe Event occurred at Event Location,
+	EventLocation                           varchar(128) NULL,
+	-- maybe Event is of Event Type and Event Type has Event Type ID,
+	EventTypeID                             int NULL,
+	-- maybe Event was confirmed by Official,
+	Official                                varchar(64) NULL,
+	PRIMARY KEY(EventID)
+)
+GO
+
+CREATE TABLE EventType (
+	-- Event Type has Event Type ID,
+	EventTypeID                             int IDENTITY NOT NULL,
+	-- Event Type is called Event Type Name,
+	EventTypeName                           varchar(16) NOT NULL CHECK(EventTypeName = 'Birth' OR EventTypeName = 'Burial' OR EventTypeName = 'Christening' OR EventTypeName = 'Death' OR EventTypeName = 'Divorce' OR EventTypeName = 'Marriage'),
+	PRIMARY KEY(EventTypeID),
+	UNIQUE(EventTypeName)
+)
+GO
+
+CREATE TABLE Friendship (
+	-- Friendship is confirmed Boolean,
+	IsConfirmed                             bit NULL,
+	-- Friendship involves User and User has User ID,
+	OtherUserID                             int NOT NULL,
+	-- Friendship involves User and User has User ID,
+	UserID                                  int NOT NULL,
+	PRIMARY KEY(UserID, OtherUserID)
+)
+GO
+
+CREATE TABLE Participation (
+	-- Participation involves Event and Event has Event ID,
+	EventID                                 int NOT NULL,
+	-- Participation involves Person and Person has Person ID,
+	PersonID                                int NOT NULL,
+	-- Participation involves Role and Role has Role ID,
+	RoleID                                  int NOT NULL,
+	-- Participation involves Source and Source has Source ID,
+	SourceID                                int NOT NULL,
+	PRIMARY KEY(PersonID, RoleID, EventID, SourceID),
+	FOREIGN KEY (EventID) REFERENCES Event (EventID)
+)
+GO
+
+CREATE TABLE Person (
+	-- maybe Person lives at Address,
+	Address                                 varchar(128) NULL,
+	-- maybe Person has Email,
+	Email                                   varchar(64) NULL,
+	-- maybe Person is called family-Name,
+	FamilyName                              varchar(128) NULL,
+	-- maybe Person is of Gender,
+	Gender                                  char(1) NULL CHECK(Gender = 'F' OR Gender = 'M'),
+	-- maybe Person is called given-Name,
+	GivenName                               varchar(128) NULL,
+	-- maybe Person is employed in Occupation,
+	Occupation                              varchar(128) NULL,
+	-- Person has Person ID,
+	PersonID                                int IDENTITY NOT NULL,
+	-- maybe Person has preferred-Picture,
+	PreferredPicture                        image NULL,
+	PRIMARY KEY(PersonID)
+)
+GO
+
+CREATE TABLE Role (
+	-- Role is called Event Role Name,
+	EventRoleName                           varchar NOT NULL CHECK(EventRoleName = 'Celebrant' OR EventRoleName = 'Father' OR EventRoleName = 'Husband' OR EventRoleName = 'Mother' OR EventRoleName = 'Subject' OR EventRoleName = 'Wife'),
+	-- Role has Role ID,
+	RoleID                                  int IDENTITY NOT NULL,
+	PRIMARY KEY(RoleID),
+	UNIQUE(EventRoleName)
+)
+GO
+
+CREATE TABLE Source (
+	-- Source has Source ID,
+	SourceID                                int IDENTITY NOT NULL,
+	-- Source has Source Name,
+	SourceName                              varchar(128) NOT NULL,
+	-- Source was provided by User and User has User ID,
+	UserID                                  int NOT NULL,
+	PRIMARY KEY(SourceID),
+	UNIQUE(SourceName)
+)
+GO
+
+CREATE TABLE [User] (
+	-- maybe User has Email,
+	Email                                   varchar(64) NULL,
+	-- User has User ID,
+	UserID                                  int IDENTITY NOT NULL,
+	PRIMARY KEY(UserID)
+)
+GO
+
+ALTER TABLE Event
+	ADD FOREIGN KEY (EventTypeID) REFERENCES EventType (EventTypeID)
+GO
+
+ALTER TABLE Friendship
+	ADD FOREIGN KEY (OtherUserID) REFERENCES [User] (UserID)
+GO
+
+ALTER TABLE Friendship
+	ADD FOREIGN KEY (UserID) REFERENCES [User] (UserID)
+GO
+
+ALTER TABLE Participation
+	ADD FOREIGN KEY (PersonID) REFERENCES Person (PersonID)
+GO
+
+ALTER TABLE Participation
+	ADD FOREIGN KEY (RoleID) REFERENCES Role (RoleID)
+GO
+
+ALTER TABLE Participation
+	ADD FOREIGN KEY (SourceID) REFERENCES Source (SourceID)
+GO
+
+ALTER TABLE Source
+	ADD FOREIGN KEY (UserID) REFERENCES [User] (UserID)
+GO
+

data/sql/server/Health.sql

@@ -0,0 +1,169 @@
+CREATE TABLE AvailableCoverage (
+	-- Available Coverage involves Coverage Type and Coverage Type has Coverage Type Name,
+	CoverageTypeName                        varchar NOT NULL,
+	-- Available Coverage involves Product Offering and Product Offering has Product Offering Name,
+	ProductOfferingName                     varchar NOT NULL,
+	PRIMARY KEY(CoverageTypeName, ProductOfferingName)
+)
+GO
+
+CREATE TABLE Claim (
+	-- Claim has Claim Number,
+	ClaimNumber                             Int NOT NULL,
+	PRIMARY KEY(ClaimNumber)
+)
+GO
+
+CREATE TABLE ClaimPayment (
+	-- Claim Payment is for Claim Details and Claim Details involves Claim and Claim has Claim Number,
+	ClaimDetailsClaimNumber                 Int NOT NULL,
+	-- Claim Payment is for Claim Details and Claim Details involves Date,
+	ClaimDetailsDate                        datetime NOT NULL,
+	-- Claim Payment is for Claim Details and Claim Details involves Policy Coverage and Policy Coverage involves Policy and Policy is from Insurer and Insurer has Insurer Name,
+	ClaimDetailsPolicyCoveragePolicyInsurerName varchar NOT NULL,
+	-- Claim Payment is for Claim Details and Claim Details involves Policy Coverage and Policy Coverage involves Policy and Policy has Policy Number,
+	ClaimDetailsPolicyCoveragePolicyNumber  Int NOT NULL,
+	-- Claim Payment is for Claim Details and Claim Details involves Policy Coverage and Policy Coverage involves Coverage Type and Coverage Type has Coverage Type Name,
+	ClaimDetailsPolicyCoverageTypeName      varchar NOT NULL,
+	-- Claim Payment is of Claim Payment Type and Claim Payment Type has Claim Payment Type Code,
+	ClaimPaymentTypeCode                    varchar(16) NOT NULL,
+	PRIMARY KEY(ClaimDetailsClaimNumber, ClaimDetailsPolicyCoveragePolicyInsurerName, ClaimDetailsPolicyCoveragePolicyNumber, ClaimDetailsPolicyCoverageTypeName, ClaimDetailsDate),
+	FOREIGN KEY (ClaimDetailsClaimNumber) REFERENCES Claim (ClaimNumber)
+)
+GO
+
+CREATE TABLE ClaimPaymentType (
+	-- Claim Payment Type has Claim Payment Type Code,
+	ClaimPaymentTypeCode                    varchar(16) NOT NULL,
+	-- maybe Claim Payment Type has descriptive-Text,
+	DescriptiveText                         varchar NULL,
+	PRIMARY KEY(ClaimPaymentTypeCode)
+)
+GO
+
+CREATE TABLE CoverageType (
+	-- Coverage Type has Coverage Type Name,
+	CoverageTypeName                        varchar NOT NULL,
+	-- maybe Coverage Type has descriptive-Text,
+	DescriptiveText                         varchar NULL,
+	PRIMARY KEY(CoverageTypeName)
+)
+GO
+
+CREATE TABLE Incident (
+	-- maybe Incident resulted in Claim and Claim has Claim Number,
+	ClaimNumber                             Int NULL,
+	-- Incident affected Claimant and Claimant is a kind of Stakeholder and Stakeholder is a kind of Party and Party has Party ID,
+	ClaimantID                              int NOT NULL,
+	-- Incident occurred on Date,
+	Date                                    datetime NOT NULL,
+	-- maybe Incident has descriptive-Text,
+	DescriptiveText                         varchar NULL,
+	-- Incident has Incident ID,
+	IncidentID                              int IDENTITY NOT NULL,
+	-- Incident is of Incident Type and Incident Type has Incident Type Name,
+	IncidentTypeName                        varchar NOT NULL,
+	PRIMARY KEY(IncidentID),
+	FOREIGN KEY (ClaimNumber) REFERENCES Claim (ClaimNumber)
+)
+GO
+
+CREATE VIEW dbo.Incident_ClaimNumber (ClaimNumber) WITH SCHEMABINDING AS
+	SELECT ClaimNumber FROM dbo.Incident
+	WHERE	ClaimNumber IS NOT NULL
+GO
+
+CREATE UNIQUE CLUSTERED INDEX IX_IncidentByClaimNumber ON dbo.Incident_ClaimNumber(ClaimNumber)
+GO
+
+CREATE TABLE IncidentType (
+	-- Incident Type has Incident Type Name,
+	IncidentTypeName                        varchar NOT NULL,
+	PRIMARY KEY(IncidentTypeName)
+)
+GO
+
+CREATE TABLE Insurer (
+	-- Insurer has Insurer Name,
+	InsurerName                             varchar NOT NULL,
+	PRIMARY KEY(InsurerName)
+)
+GO
+
+CREATE TABLE Party (
+	-- Party has Party ID,
+	PartyID                                 int IDENTITY NOT NULL,
+	PRIMARY KEY(PartyID)
+)
+GO
+
+CREATE TABLE Policy (
+	-- Policy was purchased on Date,
+	Date                                    datetime NOT NULL,
+	-- Policy is from Insurer and Insurer has Insurer Name,
+	InsurerName                             varchar NOT NULL,
+	-- Policy is held by Policy Holder and Policy Holder is a kind of Stakeholder and Stakeholder is a kind of Party and Party has Party ID,
+	PolicyHolderID                          int NOT NULL,
+	-- Policy has Policy Number,
+	PolicyNumber                            Int NOT NULL,
+	-- Policy was purchased from Product Offering and Product Offering has Product Offering Name,
+	ProductOfferingName                     varchar NOT NULL,
+	PRIMARY KEY(InsurerName, PolicyNumber),
+	FOREIGN KEY (InsurerName) REFERENCES Insurer (InsurerName),
+	FOREIGN KEY (PolicyHolderID) REFERENCES Party (PartyID)
+)
+GO
+
+CREATE TABLE PolicyCoverage (
+	-- maybe Policy Coverage is at Coverage Level,
+	CoverageLevel                           Int NULL,
+	-- Policy Coverage involves Coverage Type and Coverage Type has Coverage Type Name,
+	CoverageTypeName                        varchar NOT NULL,
+	-- Policy Coverage involves Policy and Policy is from Insurer and Insurer has Insurer Name,
+	PolicyInsurerName                       varchar NOT NULL,
+	-- Policy Coverage involves Policy and Policy has Policy Number,
+	PolicyNumber                            Int NOT NULL,
+	PRIMARY KEY(PolicyInsurerName, PolicyNumber, CoverageTypeName),
+	FOREIGN KEY (CoverageTypeName) REFERENCES CoverageType (CoverageTypeName),
+	FOREIGN KEY (PolicyInsurerName, PolicyNumber) REFERENCES Policy (InsurerName, PolicyNumber)
+)
+GO
+
+CREATE TABLE ProductOffering (
+	-- Product Offering is offered by Insurer and Insurer has Insurer Name,
+	InsurerName                             varchar NOT NULL,
+	-- Product Offering has Product Offering Name,
+	ProductOfferingName                     varchar NOT NULL,
+	PRIMARY KEY(ProductOfferingName),
+	FOREIGN KEY (InsurerName) REFERENCES Insurer (InsurerName)
+)
+GO
+
+ALTER TABLE AvailableCoverage
+	ADD FOREIGN KEY (CoverageTypeName) REFERENCES CoverageType (CoverageTypeName)
+GO
+
+ALTER TABLE AvailableCoverage
+	ADD FOREIGN KEY (ProductOfferingName) REFERENCES ProductOffering (ProductOfferingName)
+GO
+
+ALTER TABLE ClaimPayment
+	ADD FOREIGN KEY (ClaimPaymentTypeCode) REFERENCES ClaimPaymentType (ClaimPaymentTypeCode)
+GO
+
+ALTER TABLE ClaimPayment
+	ADD FOREIGN KEY (ClaimDetailsPolicyCoveragePolicyInsurerName, ClaimDetailsPolicyCoveragePolicyNumber, ClaimDetailsPolicyCoverageTypeName) REFERENCES PolicyCoverage (PolicyInsurerName, PolicyNumber, CoverageTypeName)
+GO
+
+ALTER TABLE Incident
+	ADD FOREIGN KEY (IncidentTypeName) REFERENCES IncidentType (IncidentTypeName)
+GO
+
+ALTER TABLE Incident
+	ADD FOREIGN KEY (ClaimantID) REFERENCES Party (PartyID)
+GO
+
+ALTER TABLE Policy
+	ADD FOREIGN KEY (ProductOfferingName) REFERENCES ProductOffering (ProductOfferingName)
+GO
+