Formal specification of gas agency system

Formal specification

Table design:

the data base design is a collection of interactive data store.it is an effective method of defining sorting and retrieving information in the data base. it prevents fradulent and unathourized users form accesing data and insures the privacy of a data.

Gas agency system has the following entities and thier attributes

1.Coustmer:

This table contain the attributes which are given below .in the below  relational table contain the neccessary details of the coustmer.

Consumer. No	Cylinder Type	No_of Cylinders	Date connection	Consumer name	address	code	Phone no	Connection date

2:Order
this relation contain the information about the order that has been place by the coustumer.

Order_ID	Order Date	Consumer.No
		(foriegn key)

3.Order Line:
order line act as an associative relation between the customer and order  

Consumer. No	Order_ID	Order Quantity

4:Order
the order that has been place by a customer will have separate order id for the identification between the orders of different customers.

Order ID	Order No	Order Date

5:Billing Detail:

In this relation the billing detail of each costumer is given in which in this relation foriegn keys are (consumer.no , cylinder type)

Billing Detail provides the billing information of all the costumers of the gas agency.

Serial no	Consumer. No	Cylinder type	Booked date	Delivery date
	(Foriegn key)	(Foriegn key)

6:Price detail:

In this relational table the price details of different cylinder types are shown having different prices .

cylinder types vary with different size it can be big or small cylinders.The price of the small,medium or big cylinders will be different form each other.

Cylinder type	Price
(Foriegn key)

7:Transection Details:

This relational table contain information about the serial.no of product/cylinders and a separete transiction.no  for each costumer.The booking and delivery details along with dates.

Serial no	Cylinder type	Transiction_no	Booked date	Delivery date	Remarks
	(Foriegn Key)

8:Stock Details

this relational table will store the information about the current stocks which gas agency have.stock details are categorized in commercial stock detail and domestic stock detail.

Commercial stock detail	Domestic stock detail

9:Cancel coustmer detail:

this relation contains the data of the customers who have cancelled their order

Consumer name	Consumer. No	cancelling date
(foriegn Key)	(foriegn Key)

10:Display customer detail:

in this relation the data of those costumers are shown to which their product was succesefully delivered

Consumer name	Consumer. No	Delivery date	cash on delivery	cash before delivery
(foriegn Key)	(foriegn Key)