Write the Z-Notation for these statements. Please type your answers. -Predicate evaluating to true if a specific course with the id X (use X as placeholder for an actual ID) is not yet fully booked. For which courses would this evaluate to true?-Predicate that evaluates to true if a customer with name Y (use that as placeholder for an actual name) is already signed up for a courseID X.-There exists a customer that is signed up for a course from every trainer.Example of Z-Notation: ∀t : Trainer • ∃c : course • (t,c) ∈Teaches Teaches association between Owner/Teacher and CourseGym Owner: Ownername = GymOwneremail = gymowner@gym.compassword=gymownerTrainer 1: Trainername Trainer1email trainer1@gym.compassword = trainer1credit - 3Trainer 2: Trainername Trainer2email trainer2@gym.compassword = trainer2credit = 2Wrestling : Coursetime = 2type = Wrestlingid = 1private=falseBoxing: Coursetime = 2type = Boxingid = 2private = falseWeightlifting Coursetime = 2typeid=3private = falseWeightliftingYogal: Coursetime = 3type = Yogaid = 4private = trueYoga2: Coursetime = 4type = Yogaid = 5private = falseCustomer 1: Customername Customer1email= customer1@gym.compasswordcustomer1classcreditclass credit - 0Customer 2: Customername Customer2email customer2@gym.compassword = customer2classcreditclass credit = 1Customer 3: Customername Customer3email customer3@gym.compassword customerclasscreditclass credit = 4Customer 4: Customername Customer4email = customer4@gym.compassword = customer4classcreditclass credit = 5Customer 5: Customername Customer5email customer5@gym.compassword customer5classcreditclass credit 1Customer 6: Customername Customer6email customer6@gym.comcustomer6passwordclasscreditclass credit = 10Customer 7: Customername Customer7email customer7@gym.comcustomer7passwordclasscreditclass credit = 2Books association between Course and Customer

Introduction: - Z-Notation is a mathematical formalism that is used to describe the behavior and…

Answered: Write the Z-Notation for these…

Database System Concepts

7th Edition

ISBN:9780078022159

Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Chapter1: Introduction

Section: Chapter Questions

Problem 1PE

See similar textbooks

Related questions

Concept explainers

Question

Write the Z-Notation for these statements. Please type your answers.

-Predicate evaluating to true if a specific course with the id X (use X as placeholder for an actual ID) is not yet fully booked. For which courses would this evaluate to true?

-Predicate that evaluates to true if a customer with name Y (use that as placeholder for an actual name) is already signed up for a courseID X.

-There exists a customer that is signed up for a course from every trainer.

Example of Z-Notation:
∀t : Trainer • ∃c : course • (t,c) ∈Teaches

Teaches association between Owner/Teacher and Course
Gym Owner: Owner
name = GymOwner
email = gymowner@gym.com
password=gymowner
Trainer 1: Trainer
name Trainer1
email trainer1@gym.com
password = trainer1
credit - 3
Trainer 2: Trainer
name Trainer2
email trainer2@gym.com
password = trainer2
credit = 2
Wrestling : Course
time = 2
type = Wrestling
id = 1
private=false
Boxing: Course
time = 2
type = Boxing
id = 2
private = false
Weightlifting Course
time = 2
type
id=3
private = false
Weightlifting
Yogal: Course
time = 3
type = Yoga
id = 4
private = true
Yoga2: Course
time = 4
type = Yoga
id = 5
private = false
Customer 1: Customer
name Customer1
email= customer1@gym.com
password
customer1
classcredit
class credit - 0
Customer 2: Customer
name Customer2
email customer2@gym.com
password = customer2
classcredit
class credit = 1
Customer 3: Customer
name Customer3
email customer3@gym.com
password customer
classcredit
class credit = 4
Customer 4: Customer
name Customer4
email = customer4@gym.com
password = customer4
classcredit
class credit = 5
Customer 5: Customer
name Customer5
email customer5@gym.com
password customer5
classcredit
class credit 1
Customer 6: Customer
name Customer6
email customer6@gym.com
customer6
password
classcredit
class credit = 10
Customer 7: Customer
name Customer7
email customer7@gym.com
customer7
password
classcredit
class credit = 2
Books association between Course and Customer

Expert Solution

Trending now

This is a popular solution!

Step by step

Solved in 2 steps

SEE SOLUTION Check out a sample Q&A here

Knowledge Booster

Learn more about

Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.

Similar questions