Great Deal! Get Instant $10 FREE in Account on First Order + 10% Cashback on Every Order Order Now

Consider the following schema representing a list of students: (a) Briefly answer the following questions: • What is the type of the attribute “names”? • What is the type of the attribute “ids”? •...

1 answer below »
Consider the following schema representing a list of students:
(a) Briefly answer the following questions:
• What is the type of the attribute “names”? 
• What is the type of the attribute “ids”? 
• What is the type of the attribute “list”? 
(b) Consider the following partially written schema that intends adding a new student to the list (the predicate part is not written yet). The schema should add a student to the student list and report success if the student is not in the list. If the student is already in the list then the list does not change and the result is set to already_exists.
REPORT: = success | already_exists
You are required to complete the following tasks:
• Explain the meaning of Δ at the beginning of ΔStudentList.
• Explain, why the attributes “id?” and “name?” have question marks at the end?
• Explain, why the attribute “result!” has the exclamation sign at the end?
• Write the predicate part of AddStudent schema.
[ XXXXXXXXXX1 + 4 = 10 Marks]
[
Note: You can use the required notations from the following set of Notations:
Δ ,? , !, ∈, ∉ ,  ′ , ∪ , ∧, ↦ , ",  $
]
Answered Same Day Jun 17, 2021

Solution

Harsimran answered on Jun 17 2021
133 Votes
Consider the following schema representing a list of students:
(a) Briefly answer the following questions:
• What is the type of the attribute “names”? 
Ans - It's a set containing names (ran list means range of function)
• What is the type of the attribute “ids”? 
Ans - It's a set of strictly positive numbers that is linked to student's names.
(dom list means domain of function)
• What is the type of the attribute “list”? 
Ans- It defines a partial function defining id is associated with student name
(b)...
SOLUTION.PDF

Answer To This Question Is Available To Download

Related Questions & Answers

More Questions »

Submit New Assignment

Copy and Paste Your Assignment Here