(Class Airport)

(Class City)

(Class Flight)

(Class Plane_Model)

(Class Plane_Type)

(Class Fight_Classes_Type)

(Class Ticket)

(Class Client)

 

(Property Name)

(Property Date)

(Property Time)

(Property ID)

(Property Address)

(Property Phone)

(Property Price)

(Property Capacity)

 

(Attribute Airport Airport_Name Name null)

(Attribute Plane_Model Model_Name Name null)

(Attribute Plane_Type Type_Name Name null)

(Attribute Flight Flight_Number ID null)

(Attribute Flight Departure_Time Time null)

(Attribute Flight Arrival_Time Time null)

(Attribute Flight_Class_Type Class_Name Name null)

(Attribute City Country null String)

(Attribute City City_Name Name null)

(Attribute Client Client_Name Name null)

(Attribute Client Client_Phone Phone null)

(Attribute Client Client_Address Address null)

(Attribute Client Client_ID ID null)

(Attribute Ticket Departure_Date Date null)

(Attribute Ticket Arrival_Date Date null)

 

(Atribute Flight_Classes Price null float)

(Atribute Flight_Classes Capacity null int)

 

(Relation Route)

(Relation Airport_City)

(Relation Flight_Route)

(Relation Flight_Plane_Model)

(Relation Plane_Model_Type)

(Relation Flight_Classes)

(Relation Flight_Classes_Ticket)

(Relation Ticket_Client)

 

(Relation_Arguments Route Airport Origin)

(Relation_Arguments Route Airport Destiny)

(Facet_Entity Route Origin Cardinality n)

(Facet_Entity Route Destiny Cardinality n)

(Facet_Entity Route Origin Mandatory false)

(Facet_Entity Route Destiny Mandatory false)

 

(Relation_Arguments Airport_City Airport Airport)

(Relation_Arguments Airport_City City City)

(Facet_Entity Airport_City Airport Cardinality n)

(Facet_Entity Airport_City City Cardinality 1)

(Facet_Entity Airport_City Airport Mandatory false)

(Facet_Entity Airport_City City Mandatory true)

 

(Relation_Arguments Flight_Route Route Route)

(Relation_Arguments Flight_Route Flight Flight)

(Facet_Entity Flight_Route Flight Cardinality 1)

(Facet_Entity Flight_Route Route Cardinality 1)

(Facet_Entity Flight_Route Flight Mandatory false)

(Facet_Entity Flight_Route Route Mandatory true)

 

(Relation_Arguments Flight_Plane_Model Plane_Model Plane_Model)

(Relation_Arguments Flight_Plane_Model Flight Flight)

(Facet_Entity Flight_Plane_Model Plane_Model Cardinality 1)

(Facet_Entity Flight_Plane_Model Flight Cardinality 1)

(Facet_Entity Flight_Plane_Model Flight Mandatory false)

(Facet_Entity Flight_Plane_Model Plane_Model Mandatory true)

 

(Relation_Arguments Plane_Model_Type Plane_Type Plane_Type)

(Relation_Arguments Plane_Model_Type Plane_Model Plane_Model)

(Facet_Entity Plane_Model_Type Plane_Type Cardinality 1)

(Facet_Entity Plane_Model_Type Plane_Model Cardinality 1)

(Facet_Entity Plane_Model_Type Plane_Type Mandatory true)

(Facet_Entity Plane_Model_Type Plane_Model Mandatory false)

 

(Relation_Arguments Flight_Classes Flight Flight)

(Relation_Arguments Flight_Classes Fight_Classes_Type Fight_Classes_Type)

(Facet_Entity Flight_Classes Flight Cardinality n)

(Facet_Entity Flight_Classes Fight_Classes_Type Cardinality n)

(Facet_Entity Flight_Classes Flight Mandatory false)

(Facet_Entity Flight_Classes Fight_Classes_Type Mandatory false)

 

(Relation_Arguments Flight_Classes_Ticket Flight_Classes Flight_Classes)

(Relation_Arguments Flight_Classes_Ticket Ticket Ticket)

(Facet_Entity Flight_Classes_Ticket Flight_Classes Cardinality 1)

(Facet_Entity Flight_Classes_Ticket Ticket Cardinality n)

(Facet_Entity Flight_Classes_Ticket Flight_Classes Mandatory true)

(Facet_Entity Flight_Classes_Ticket Ticket Mandatory false)

 

(Relation_Arguments Ticket_Client Client Client)

(Relation_Arguments Ticket_Client Ticket Ticket)

(Facet_Entity Ticket_Client Client Cardinality 1)

(Facet_Entity Ticket_Client Ticket Cardinality n)

(Facet_Entity Ticket_Client Client Mandatory true)

(Facet_Entity Ticket_Client Ticket Mandatory false)

 

(Data_Type null)

(Data_Type int)

(Data_Type float)

(Data_Type string)

 

(Facet Mandatory)

(Facet Cardinality)

 

(Method BookFlight Ticket void)

 

(Argument BookFlight Flight_Number 1 Flight Flight_Number null)

(Argument BookFlight Departure_Date 2 Flight Departure_Date null)

(Argument BookFlight Class 3 Flight_Class_Type Class_Name null)

(Argument BookFlight Client_Identification 5 Client Client_ID null)