Give expression in tuple calculus and domain calculus, Database Management System

Assignment Help:

Consider the subsequent relation schemes:

 Project (Project#, Project_name, chief_architect)

 Employee (Emp#, Empname)

 Assigned_To (Project#, Emp#)

 Give expression in Tuple calculus and Domain calculus for each of the queries below:

 (i) Get the employee numbers of employees who work on all projects.

 (ii) Get the employee numbers of employees who do not work on the COMP123 project.

 Ans:   (i) Tuple Calculus:

 {t[Emp#] | t ∈ ASSIGNED_TO ∧ ∀p (p ∈ PROJECT ∃u (u ∈ ASSIGNED_TO ∧ p[Project#] = u[Project#] ∧ t[Emp#] = u[Emp#]))}

 Domain Calculus:

 {e | ∃p ( ∈ ASSIGNED_TO ∧ ∀p1 ( ∈ PROJECT   ∈ ASSIGNED_TO))}

(ii) Tuple Calculus:

{t[Emp#] | t ∈ ASSIGNED_TO ∧ ¬∃u (u ∈ ASSIGNED_TO  ∧ u[Project#] = 'COMP123'∧ t[Emp#] = u[Emp#])}

 Domain Calculus:

 {e | ∃p ( ∈ ASSIGNED_TO ∧ ∀p1, e1 ( ∉ ASSIGNED_TO  ∨ p1 ≠ 'COMP123' ∨ e1 ≠ e))}


Related Discussions:- Give expression in tuple calculus and domain calculus

Explain the concept of deadlock, Question: In a multi-user database env...

Question: In a multi-user database environment, locking mechanisms can be used to solve the three basic problems of concurrency. On the other hand, however, locking may also le

How to deal with the authentication problem, Most computer systems authenti...

Most computer systems authenticate users by asking them for the user name and password. However, the user names and passwords often can be guessed by hackers. Suggest an automated,

Basic set operation, These are the binary operations; i.e., each is applied...

These are the binary operations; i.e., each is applied to two relations or sets. These two relations can be union compatible excluding in case of Cartesian product. Two relations R

Isolation or independence-transaction , Isolation or Independence : The iso...

Isolation or Independence : The isolation property shows that the updates of a transaction should not be visible till they are committed. Isolation assurance that the progresses of

Where does view definition stored, Where does view definition stored? ...

Where does view definition stored? A view definition is permanently stored as part of the database.

Explain mechanism of nested queries, Explain mechanism of nested queries? ...

Explain mechanism of nested queries? SQL gives a mechanism for nesting subqueries. A subquery is a select from where expression that is nested within one more query. A common u

Database design, Build a database application for a sports league. Assume y...

Build a database application for a sports league. Assume your application is to keep track of teams and equipment that is checked out to teams. Explain the steps that is needed and

Describe physical data independence, Describe Physical Data independence ? ...

Describe Physical Data independence ? Physical Data Independence - It is capacity to modify the internal schema without having to change conceptual schema. Therefore, the exter

Compute the closure set, Compute the closure (F+) for the following set of ...

Compute the closure (F+) for the following set of the functional dependencies defined on R(a,b,c,d), where F - {c→ a, ab → d, a → b, d → c}, i.e. what are all of the FDs implied b

Write Your Message!

Captcha
Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd