Relational Algebra - Division Operator

Relational Algebra Between Sql And Query Plan

About

The division relational operator permits to find values in an attribute of R that have all values of S in the attribute of the same name

There is no SQL equivalent.

Symbol

<MATH> \LARGE R \div S \\ or\\ \LARGE R / S </MATH>

Formula

The division of R by S that return all values of the attributes R.t that have a row with all value in S.s can be expressed as: <MATH> \LARGE R / S \equiv \{\; \left<\vec t\right> \;|\; \forall \left<\vec s\right> \in S, \left< \vec t \vec s \right> \in R \;\} </MATH> where:

  • <math>\forall</math> means for all
  • <math>\vec t \vec s</math> are vector

Example

Relational Algebra Division Example

Documentation / Reference





Discover More
Relational Algebra Between Sql And Query Plan
Relational Algebra - Expression and Operators

Relational algebra is based upon the fact that you can pass tabular data through a set of data operators (select, filter, join, sort, union, etc.) in a algebraic structure. It means that: the output...



Share this page:
Follow us:
Task Runner