Scribd Logo
Upload

Welcome to Scribd!

  • 5 views

    Homework 2: Ibrahim Maymoon 442101552

    Uploaded by

    ebrahim1231244
    1. The document contains Homework 2 with questions Q1 and Q2. 2. Q1 contains 6 propositions related to invariants between entities like departments, projects, employees, and their relationships. 3. Q2 defines a data model with entities Bills, Clients, Categories, Items and their relationships. It also defines 3 operations - CreateBill to create a new bill, AddItemToBill to add an item to an existing bill, and GetItemsOfGivenCategory to retrieve items of a given category.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content

    You might also like

    Homework 2: Ibrahim Maymoon 442101552

    Uploaded by

    ebrahim1231244
    5 views5 pages
    1. The document contains Homework 2 with questions Q1 and Q2. 2. Q1 contains 6 propositions related to invariants between entities like departments, projects, employees, and their relationships. 3. Q2 defines a data model with entities Bills, Clients, Categories, Items and their relationships. It also defines 3 operations - CreateBill to create a new bill, AddItemToBill to add an item to an existing bill, and GetItemsOfGivenCategory to retrieve items of a given category.

    Original Description:

    Original Title

    swe312-f22-a2-t4-442101552

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    1. The document contains Homework 2 with questions Q1 and Q2. 2. Q1 contains 6 propositions related to invariants between entities like departments, projects, employees, and their relationships. 3. Q2 defines a data model with entities Bills, Clients, Categories, Items and their relationships. It also defines 3 operations - CreateBill to create a new bill, AddItemToBill to add an item to an existing bill, and GetItemsOfGivenCategory to retrieve items of a given category.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    5 views5 pages

    Homework 2: Ibrahim Maymoon 442101552

    Uploaded by

    ebrahim1231244
    1. The document contains Homework 2 with questions Q1 and Q2. 2. Q1 contains 6 propositions related to invariants between entities like departments, projects, employees, and their relationships. 3. Q2 defines a data model with entities Bills, Clients, Categories, Items and their relationships. It also defines 3 operations - CreateBill to create a new bill, AddItemToBill to add an item to an existing bill, and GetItemsOfGivenCategory to retrieve items of a given category.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    of 5

    Homework 2

    Ibrahim Maymoon
    442101552
    Q1)
    1. context department inv :
    Self.nbrEmployees include(self.manages)

    2. context department inv :


    Self.nbrEmployees = implies self.manges size() < 2

    3. context project inv :


    Self.controls.nbrEmployees size() >= 5

    4. context Employee inv :


    Self.leave.workFor.controls size() >= 1

    5. context project inv :


    Self.Location size() = 1

    6. post :
    Self.worksFor = self.workFor@pre including(e)
    Q2)
    1. [ITEM,CATEGORIES,CLIENTS ]
    Bills
    client: P CLIENTS
    category: CLINTS P CATEGORIES
    item :CLINTS P ITEM
    Bill: CATEGORIES ITEM

    Item = dom category


    category = dom Bill
    {x€Bill |category(x)= }
    { x€Bill | item(x)=. }
    2)
    CreateBill
    Bills
    c? : CLIENTS
    T? : CATEGORIES
    i? : ITEM
    c? client
    T? =
    I? =
    Bill' = Bill {T? i? }

    AddItemToBill
    Bills
    c? : CLIENTS
    i? : ITEM
    c? € client
    item' = item {c? I? }
    GetItemsOfGivenCategory
    Bills
    c! : CLIENTS
    T!: CATEGORIES
    i? : ITEM
    i? = Bill(T?)

    ContainSameItem
    Bills
    c? : CLIENTS
    i? : ITEM
    c? € Bill(i?)

    You might also like