activefacts-examples 1.7.1

data/ruby/WaiterTips.rb

@@ -0,0 +1,49 @@
+require 'activefacts/api'
+
+module ::WaiterTips
+
+  class AUDValue < Money
+    value_type 
+    one_to_one :amount                          # See Amount.aud_value
+  end
+
+  class MealId < AutoCounter
+    value_type 
+    one_to_one :meal                            # See Meal.meal_id
+  end
+
+  class WaiterNr < SignedInteger
+    value_type :length => 32
+    one_to_one :waiter                          # See Waiter.waiter_nr
+  end
+
+  class Amount
+    identified_by :aud_value
+    one_to_one :aud_value, :class => AUDValue, :mandatory => true  # See AUDValue.amount
+  end
+
+  class Meal
+    identified_by :meal_id
+    one_to_one :meal_id, :mandatory => true     # See MealId.meal
+  end
+
+  class Waiter
+    identified_by :waiter_nr
+    one_to_one :waiter_nr, :mandatory => true   # See WaiterNr.waiter
+  end
+
+  class WaiterTip
+    identified_by :waiter, :meal
+    has_one :amount, :mandatory => true         # See Amount.all_waiter_tip
+    has_one :meal, :mandatory => true           # See Meal.all_waiter_tip
+    has_one :waiter, :mandatory => true         # See Waiter.all_waiter_tip
+  end
+
+  class Service
+    identified_by :waiter, :meal
+    has_one :meal, :mandatory => true           # See Meal.all_service
+    has_one :waiter, :mandatory => true         # See Waiter.all_service
+    has_one :amount                             # See Amount.all_service
+  end
+
+end

data/ruby/Warehousing.rb

@@ -0,0 +1,167 @@
+require 'activefacts/api'
+
+module ::Warehousing
+
+  class BinID < AutoCounter
+    value_type 
+    one_to_one :bin                             # See Bin.bin_id
+  end
+
+  class DispatchID < AutoCounter
+    value_type 
+    one_to_one :dispatch                        # See Dispatch.dispatch_id
+  end
+
+  class DispatchItemID < AutoCounter
+    value_type 
+    one_to_one :dispatch_item                   # See DispatchItem.dispatch_item_id
+  end
+
+  class PartyID < AutoCounter
+    value_type 
+    one_to_one :party                           # See Party.party_id
+  end
+
+  class ProductID < AutoCounter
+    value_type 
+    one_to_one :product                         # See Product.product_id
+  end
+
+  class PurchaseOrderID < AutoCounter
+    value_type 
+    one_to_one :purchase_order                  # See PurchaseOrder.purchase_order_id
+  end
+
+  class Quantity < UnsignedInteger
+    value_type :length => 32
+  end
+
+  class ReceiptID < AutoCounter
+    value_type 
+    one_to_one :receipt                         # See Receipt.receipt_id
+  end
+
+  class ReceivedItemID < AutoCounter
+    value_type 
+    one_to_one :received_item                   # See ReceivedItem.received_item_id
+  end
+
+  class SalesOrderID < AutoCounter
+    value_type 
+    one_to_one :sales_order                     # See SalesOrder.sales_order_id
+  end
+
+  class TransferRequestID < AutoCounter
+    value_type 
+    one_to_one :transfer_request                # See TransferRequest.transfer_request_id
+  end
+
+  class WarehouseID < AutoCounter
+    value_type 
+    one_to_one :warehouse                       # See Warehouse.warehouse_id
+  end
+
+  class Bin
+    identified_by :bin_id
+    one_to_one :bin_id, :class => BinID, :mandatory => true  # See BinID.bin
+    has_one :product                            # See Product.all_bin
+    has_one :quantity, :mandatory => true       # See Quantity.all_bin
+    has_one :warehouse                          # See Warehouse.all_bin
+  end
+
+  class Dispatch
+    identified_by :dispatch_id
+    one_to_one :dispatch_id, :class => DispatchID, :mandatory => true  # See DispatchID.dispatch
+  end
+
+  class DispatchItem
+    identified_by :dispatch_item_id
+    has_one :dispatch                           # See Dispatch.all_dispatch_item
+    one_to_one :dispatch_item_id, :class => DispatchItemID, :mandatory => true  # See DispatchItemID.dispatch_item
+    has_one :product, :mandatory => true        # See Product.all_dispatch_item
+    has_one :quantity, :mandatory => true       # See Quantity.all_dispatch_item
+    has_one :sales_order_item                   # See SalesOrderItem.all_dispatch_item
+    has_one :transfer_request                   # See TransferRequest.all_dispatch_item
+  end
+
+  class Party
+    identified_by :party_id
+    one_to_one :party_id, :class => PartyID, :mandatory => true  # See PartyID.party
+  end
+
+  class Product
+    identified_by :product_id
+    one_to_one :product_id, :class => ProductID, :mandatory => true  # See ProductID.product
+  end
+
+  class PurchaseOrder
+    identified_by :purchase_order_id
+    one_to_one :purchase_order_id, :class => PurchaseOrderID, :mandatory => true  # See PurchaseOrderID.purchase_order
+    has_one :supplier, :mandatory => true       # See Supplier.all_purchase_order
+    has_one :warehouse, :mandatory => true      # See Warehouse.all_purchase_order
+  end
+
+  class PurchaseOrderItem
+    identified_by :purchase_order, :product
+    has_one :product, :mandatory => true        # See Product.all_purchase_order_item
+    has_one :purchase_order, :mandatory => true  # See PurchaseOrder.all_purchase_order_item
+    has_one :quantity, :mandatory => true       # See Quantity.all_purchase_order_item
+  end
+
+  class Receipt
+    identified_by :receipt_id
+    one_to_one :receipt_id, :class => ReceiptID, :mandatory => true  # See ReceiptID.receipt
+  end
+
+  class ReceivedItem
+    identified_by :received_item_id
+    has_one :product, :mandatory => true        # See Product.all_received_item
+    has_one :purchase_order_item                # See PurchaseOrderItem.all_received_item
+    has_one :quantity, :mandatory => true       # See Quantity.all_received_item
+    has_one :receipt                            # See Receipt.all_received_item
+    one_to_one :received_item_id, :class => ReceivedItemID, :mandatory => true  # See ReceivedItemID.received_item
+    has_one :transfer_request                   # See TransferRequest.all_received_item
+  end
+
+  class SalesOrder
+    identified_by :sales_order_id
+    has_one :customer, :mandatory => true       # See Customer.all_sales_order
+    one_to_one :sales_order_id, :class => SalesOrderID, :mandatory => true  # See SalesOrderID.sales_order
+    has_one :warehouse, :mandatory => true      # See Warehouse.all_sales_order
+  end
+
+  class SalesOrderItem
+    identified_by :sales_order, :product
+    has_one :product, :mandatory => true        # See Product.all_sales_order_item
+    has_one :quantity, :mandatory => true       # See Quantity.all_sales_order_item
+    has_one :sales_order, :mandatory => true    # See SalesOrder.all_sales_order_item
+  end
+
+  class Supplier < Party
+  end
+
+  class TransferRequest
+    identified_by :transfer_request_id
+    has_one :from_warehouse, :class => "Warehouse", :mandatory => true  # See Warehouse.all_transfer_request_as_from_warehouse
+    has_one :product, :mandatory => true        # See Product.all_transfer_request
+    has_one :quantity, :mandatory => true       # See Quantity.all_transfer_request
+    has_one :to_warehouse, :class => "Warehouse", :mandatory => true  # See Warehouse.all_transfer_request_as_to_warehouse
+    one_to_one :transfer_request_id, :class => TransferRequestID, :mandatory => true  # See TransferRequestID.transfer_request
+  end
+
+  class Warehouse
+    identified_by :warehouse_id
+    one_to_one :warehouse_id, :class => WarehouseID, :mandatory => true  # See WarehouseID.warehouse
+  end
+
+  class BackOrderAllocation
+    identified_by :purchase_order_item, :sales_order_item
+    has_one :purchase_order_item, :mandatory => true  # See PurchaseOrderItem.all_back_order_allocation
+    has_one :sales_order_item, :mandatory => true  # See SalesOrderItem.all_back_order_allocation
+    has_one :quantity, :mandatory => true       # See Quantity.all_back_order_allocation
+  end
+
+  class Customer < Party
+  end
+
+end

data/ruby/WindowInRoomInBldg.rb

@@ -0,0 +1,45 @@
+require 'activefacts/api'
+
+module ::WindowInRoomInBldg
+
+  class BuildingNumber < SignedInteger
+    value_type :length => 32
+    one_to_one :building                        # See Building.building_number
+  end
+
+  class RoomNumber < SignedInteger
+    value_type :length => 32
+  end
+
+  class WallNumber < SignedInteger
+    value_type :length => 32
+  end
+
+  class WindowNumber < UnsignedInteger
+    value_type :length => 32
+  end
+
+  class Building
+    identified_by :building_number
+    one_to_one :building_number, :mandatory => true  # See BuildingNumber.building
+  end
+
+  class Room
+    identified_by :building, :room_number
+    has_one :building, :mandatory => true       # See Building.all_room
+    has_one :room_number, :mandatory => true    # See RoomNumber.all_room
+  end
+
+  class Wall
+    identified_by :room, :wall_number
+    has_one :room, :mandatory => true           # See Room.all_wall
+    has_one :wall_number, :mandatory => true    # See WallNumber.all_wall
+  end
+
+  class Window
+    identified_by :wall, :window_number
+    has_one :wall, :mandatory => true           # See Wall.all_window
+    has_one :window_number, :mandatory => true  # See WindowNumber.all_window
+  end
+
+end

data/sql/server/Address.sql

@@ -0,0 +1,40 @@
+CREATE TABLE Company (
+	-- maybe Company has head office at Address and Address is in City,
+	AddressCity                             varchar(64) NULL,
+	-- maybe Company has head office at Address and maybe Address is in Postcode,
+	AddressPostcode                         varchar NULL CHECK((AddressPostcode >= 1000 AND AddressPostcode <= 9999)),
+	-- maybe Company has head office at Address and Address is at Street and Street includes first-Street Line,
+	AddressStreetFirstStreetLine            varchar(64) NULL,
+	-- maybe Company has head office at Address and maybe Address is at street-Number,
+	AddressStreetNumber                     varchar(12) NULL,
+	-- maybe Company has head office at Address and Address is at Street and maybe Street includes second-Street Line,
+	AddressStreetSecondStreetLine           varchar(64) NULL,
+	-- maybe Company has head office at Address and Address is at Street and maybe Street includes third-Street Line,
+	AddressStreetThirdStreetLine            varchar(64) NULL,
+	-- Company has Company Name,
+	CompanyName                             varchar NOT NULL,
+	PRIMARY KEY(CompanyName)
+)
+GO
+
+CREATE TABLE Person (
+	-- maybe Person lives at Address and Address is in City,
+	AddressCity                             varchar(64) NULL,
+	-- maybe Person lives at Address and maybe Address is in Postcode,
+	AddressPostcode                         varchar NULL CHECK((AddressPostcode >= 1000 AND AddressPostcode <= 9999)),
+	-- maybe Person lives at Address and Address is at Street and Street includes first-Street Line,
+	AddressStreetFirstStreetLine            varchar(64) NULL,
+	-- maybe Person lives at Address and maybe Address is at street-Number,
+	AddressStreetNumber                     varchar(12) NULL,
+	-- maybe Person lives at Address and Address is at Street and maybe Street includes second-Street Line,
+	AddressStreetSecondStreetLine           varchar(64) NULL,
+	-- maybe Person lives at Address and Address is at Street and maybe Street includes third-Street Line,
+	AddressStreetThirdStreetLine            varchar(64) NULL,
+	-- Person is of Family and Family has Family Name,
+	FamilyName                              varchar(20) NOT NULL,
+	-- Person has Given Names,
+	GivenNames                              varchar(20) NOT NULL,
+	PRIMARY KEY(FamilyName, GivenNames)
+)
+GO
+

data/sql/server/Astronomy.sql

@@ -0,0 +1,36 @@
+CREATE TABLE AstronomicalObject (
+	-- AstronomicalObject has AstronomicalObject Code,
+	AstronomicalObjectCode                  varchar(12) NOT NULL,
+	-- AstronomicalObject is involved in Orbit,
+	IsInOrbit                               bit NULL,
+	-- maybe AstronomicalObject has Mass,
+	Mass                                    Real(32) NULL,
+	-- maybe AstronomicalObject is a Moon and Moon has Moon Name,
+	MoonName                                varchar(256) NULL,
+	-- AstronomicalObject is involved in Orbit and Orbit is around AstronomicalObject and AstronomicalObject has AstronomicalObject Code,
+	OrbitCenterAstronomicalObjectCode       varchar(12) NULL,
+	-- AstronomicalObject is involved in Orbit and maybe Orbit has a synodic period of Nr Days,
+	OrbitNrDays                             Real(32) NULL,
+	-- maybe AstronomicalObject is a Planet and Planet has Planet Name,
+	PlanetName                              varchar(256) NULL,
+	PRIMARY KEY(AstronomicalObjectCode),
+	FOREIGN KEY (OrbitCenterAstronomicalObjectCode) REFERENCES AstronomicalObject (AstronomicalObjectCode)
+)
+GO
+
+CREATE VIEW dbo.MoonInAstronomicalObject_Name (MoonName) WITH SCHEMABINDING AS
+	SELECT MoonName FROM dbo.AstronomicalObject
+	WHERE	MoonName IS NOT NULL
+GO
+
+CREATE UNIQUE CLUSTERED INDEX PK_MoonInAstronomicalObject ON dbo.MoonInAstronomicalObject_Name(MoonName)
+GO
+
+CREATE VIEW dbo.PlanetInAstronomicalObject_Name (PlanetName) WITH SCHEMABINDING AS
+	SELECT PlanetName FROM dbo.AstronomicalObject
+	WHERE	PlanetName IS NOT NULL
+GO
+
+CREATE UNIQUE CLUSTERED INDEX PK_PlanetInAstronomicalObject ON dbo.PlanetInAstronomicalObject_Name(PlanetName)
+GO
+

data/sql/server/Blog.sql

@@ -0,0 +1,78 @@
+CREATE TABLE Author (
+	-- Author has Author Id,
+	AuthorId                                int IDENTITY NOT NULL,
+	-- Author is called Name,
+	AuthorName                              varchar(64) NOT NULL,
+	PRIMARY KEY(AuthorId),
+	UNIQUE(AuthorName)
+)
+GO
+
+CREATE TABLE Comment (
+	-- Comment was written by Author and Author has Author Id,
+	AuthorId                                int NOT NULL,
+	-- Comment has Comment Id,
+	CommentId                               int IDENTITY NOT NULL,
+	-- Comment consists of text-Content and maybe Content is of Style,
+	ContentStyle                            varchar(20) NULL,
+	-- Comment consists of text-Content and Content has Text,
+	ContentText                             text NOT NULL,
+	-- Comment is on Paragraph and Paragraph involves Ordinal,
+	ParagraphOrdinal                        int NOT NULL,
+	-- Comment is on Paragraph and Paragraph involves Post and Post has Post Id,
+	ParagraphPostId                         int NOT NULL,
+	PRIMARY KEY(CommentId),
+	FOREIGN KEY (AuthorId) REFERENCES Author (AuthorId)
+)
+GO
+
+CREATE TABLE Paragraph (
+	-- Paragraph contains Content and maybe Content is of Style,
+	ContentStyle                            varchar(20) NULL,
+	-- Paragraph contains Content and Content has Text,
+	ContentText                             text NOT NULL,
+	-- Paragraph involves Ordinal,
+	Ordinal                                 int NOT NULL,
+	-- Paragraph involves Post and Post has Post Id,
+	PostId                                  int NOT NULL,
+	PRIMARY KEY(PostId, Ordinal)
+)
+GO
+
+CREATE TABLE Post (
+	-- Post was written by Author and Author has Author Id,
+	AuthorId                                int NOT NULL,
+	-- Post has Post Id,
+	PostId                                  int IDENTITY NOT NULL,
+	-- Post belongs to Topic and Topic has Topic Id,
+	TopicId                                 int NOT NULL,
+	PRIMARY KEY(PostId),
+	FOREIGN KEY (AuthorId) REFERENCES Author (AuthorId)
+)
+GO
+
+CREATE TABLE Topic (
+	-- maybe Topic belongs to parent-Topic and Topic has Topic Id,
+	ParentTopicId                           int NULL,
+	-- Topic has Topic Id,
+	TopicId                                 int IDENTITY NOT NULL,
+	-- Topic is called topic-Name,
+	TopicName                               varchar(64) NOT NULL,
+	PRIMARY KEY(TopicId),
+	UNIQUE(TopicName),
+	FOREIGN KEY (ParentTopicId) REFERENCES Topic (TopicId)
+)
+GO
+
+ALTER TABLE Comment
+	ADD FOREIGN KEY (ParagraphPostId, ParagraphOrdinal) REFERENCES Paragraph (PostId, Ordinal)
+GO
+
+ALTER TABLE Paragraph
+	ADD FOREIGN KEY (PostId) REFERENCES Post (PostId)
+GO
+
+ALTER TABLE Post
+	ADD FOREIGN KEY (TopicId) REFERENCES Topic (TopicId)
+GO
+

data/sql/server/CinemaBookings.sql

@@ -0,0 +1,95 @@
+CREATE TABLE Booking (
+	-- Booking is confirmed Boolean,
+	IsConfirmed                             bit NULL,
+	-- Booking involves Number,
+	Number                                  smallint NOT NULL CHECK(Number >= 1),
+	-- Booking involves Person and Person has Person ID,
+	PersonID                                int NOT NULL,
+	-- Booking involves Session and Session involves Cinema and Cinema has Cinema ID,
+	SessionCinemaID                         int NOT NULL,
+	-- Booking involves Session and Session involves DateTime and DateTime has DateTime Value,
+	SessionDateTimeValue                    datetime NOT NULL,
+	PRIMARY KEY(PersonID, SessionCinemaID, SessionDateTimeValue)
+)
+GO
+
+CREATE TABLE Cinema (
+	-- Cinema has Cinema ID,
+	CinemaID                                int IDENTITY NOT NULL,
+	PRIMARY KEY(CinemaID)
+)
+GO
+
+CREATE TABLE Film (
+	-- Film has Film ID,
+	FilmID                                  int IDENTITY NOT NULL,
+	-- maybe Film has Name,
+	Name                                    varchar NULL,
+	PRIMARY KEY(FilmID)
+)
+GO
+
+CREATE TABLE Person (
+	-- Person has login-Name,
+	LoginName                               varchar NOT NULL,
+	-- Person has Person ID,
+	PersonID                                int IDENTITY NOT NULL,
+	PRIMARY KEY(PersonID),
+	UNIQUE(LoginName)
+)
+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 involves Person and Person has Person ID,
+	BookingPersonID                         int NOT NULL,
+	-- Seat Allocation involves Booking and Booking involves Session and Session involves Cinema and Cinema has Cinema ID,
+	BookingSessionCinemaID                  int NOT NULL,
+	-- Seat Allocation involves Booking and Booking involves Session and Session involves DateTime and DateTime has DateTime Value,
+	BookingSessionDateTimeValue             datetime NOT NULL,
+	PRIMARY KEY(BookingPersonID, BookingSessionCinemaID, BookingSessionDateTimeValue, AllocatedSeatRowCinemaID, AllocatedSeatRowNr, AllocatedSeatNumber),
+	FOREIGN KEY (BookingPersonID, BookingSessionCinemaID, BookingSessionDateTimeValue) REFERENCES Booking (PersonID, SessionCinemaID, SessionDateTimeValue),
+	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 DateTime and DateTime has DateTime Value,
+	DateTimeValue                           datetime NOT NULL,
+	-- Session involves Film and Film has Film ID,
+	FilmID                                  int NOT NULL,
+	PRIMARY KEY(CinemaID, DateTimeValue),
+	FOREIGN KEY (CinemaID) REFERENCES Cinema (CinemaID),
+	FOREIGN KEY (FilmID) REFERENCES Film (FilmID)
+)
+GO
+
+ALTER TABLE Booking
+	ADD FOREIGN KEY (PersonID) REFERENCES Person (PersonID)
+GO
+
+ALTER TABLE Booking
+	ADD FOREIGN KEY (SessionCinemaID, SessionDateTimeValue) REFERENCES Session (CinemaID, DateTimeValue)
+GO
+