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

Spanned and unspanned organisation, Spanned and unspanned organisation? ...

Spanned and unspanned organisation? Spanned and unspanned organization: If records are not permited to cross block boundaries then the organisation is called unspanned record

Describe the storage structure of indexed sequential file, Describe the sto...

Describe the storage structure of indexed sequential files and their access method. Ans: Index offers a lookup capability to rapidly reach the vicinity of the desired record.

BI, (a) Why did SAP introduce the extended star schema?

(a) Why did SAP introduce the extended star schema?

Relationship cardinality, Cardinality shows the number of instances of an e...

Cardinality shows the number of instances of an entity associated with another entity participating in a relationship. Depend on the cardinality binary relationship can be further

Explain cnt in the respects of qbe, Explain CNT in the respects of QBE ? ...

Explain CNT in the respects of QBE ? CNT: It is one of the aggregation commands given in QBE. It is used to identify number of tuples

Explain consistency model , Explain in detail the consistency model of the ...

Explain in detail the consistency model of the distributed file system you studied (GFS or AFS). Present the consistency model chosen and how it was achieved through design. Clarit

boyce codd normal form relations, Create centralized relational database u...

Create centralized relational database using bottom up method.   (a) Recognize a single un-normalized relation for the above scenario.          (b) Recognize the primary key for

Define mysql_fetch_object(), What are the differences among MySQL_fetch_arr...

What are the differences among MySQL_fetch_array(), MySQL_fetch_object(), MySQL_fetch_row()? Mysql_fetch_object returns the result from the database like objects while mysql

Dataset, The dataset " CFOLYMPICS.XLS " contains the observations used in t...

The dataset " CFOLYMPICS.XLS " contains the observations used in the above article.  The definitions of the variables are also included in this spreadsheet.  However, for the purpo

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