Relational algebra

Relational algebra is the formal language of the relational model. It defines a set of closed operations over relations, that is, the result of each operation is a new relation. Relational algebra inherits many operators from set algebra. Relational algebra operations can be categorized into two groups:

• The first one is a group of operations that are inherited from a set theory such as union, intersection, set difference, and cartesian product, also known as cross product.

• The second is a group of operations that are specific to the relational model such as select and project. Relational algebra operations could also be classified as binary and unary operations. 

The primitive operators are as follows:

• select (σ): A unary operation written as σϕ_R where ϕ is a predicate. The selection retrieves the tuples in R, where ϕ holds.
• project (π): A unary operation used to slice the relation in a vertical dimension, that is, attributes. This operation is written as π_a1,a2,…,an R(), where a1, a2, ..., an are a set of attribute names.
• cartesian product (×): A binary operation used to generate a more complex relation by joining each tuple of its operands together. Let's assume that R and S are two relations, then R×S = (r₁, r₂, ..., r_n, s₁, s₂, ..., s_n) where (r₁, r₂,...,r_n) ∈ R and (s₁, s₂, ..., s_n) ∈ S.
• union (∪): Appends two relations together; note that the relations should be union compatible, that is, they should have the same set of ordered attributes. Formally, R∪S = (r₁,r₂,...r_n) ∪ (s₁,s₂,...,s_n) where (r₁, r₂,...,r_n) ∈ R and (s₁, s₂, ..., s_n) ∈ S.
• difference (-): A binary operation in which the operands should be union compatible. Difference creates a new relation from the tuples, which exist in one relation but not in the other. The set difference for the relation R and S can be given as R-S = (r₁,r₂,...r_n) where (r₁,r₂,...r_n) ∈ R and (r₁,r₂,...r_n) ∉ S.
• rename (ρ): A unary operation that works on attributes. This operator is mainly used to distinguish the attributes with the same names but in different relation when joined together, or it is used to give more user friendly name for the attribute for presentation purposes. Rename is expressed as ρ_a/bR, where a and b are attribute names and b is an attribute of R.

In addition to the primitive operators, there are aggregation functions such as sum, count, min, max, and avg aggregates. Primitive operators can be used to define other relation operators such as left-join, right-join, equi-join, and intersection. Relational algebra is very important due to its expressive power in optimizing and rewriting queries. For example, the selection is commutative, so σ_aσ_bR = σ_bσ_aR. A cascaded selection may also be replaced by a single selection with a conjunction of all the predicates, that is, σ_aσ_bR = σ_{a AND b} R.

The select and project operations

SELECT is used to restrict tuples from the relation. SELECT always returns a unique set of tuples this is inherited form entity integrity constraint. For example, the query give me the customer information where the customer_id equals to 2 is written as follows:

σ_{customer_id =2} customer

The selection, as mentioned earlier, is commutative; the query give me all customers where the customer mail is known, and the customer first name is kim is written in three different ways, as follows:

σ_{email is not null}(σ_{first_name =kim} customer)

σ_{first_name =kim}(σ_{email is not null} customer)

σ_{first_name =kim and email is not null} (customer)

The selection predicates are certainly determined by the data types. For numeric data types, the comparison operator might be ≠, =, <, >, ≥, or ≤. The predicate expression can also contain complex expressions and functions. The equivalent SQL statement for the SELECT operator is the SELECT * statement, and the predicate is defined in the WHERE clause.

The symbol * means all the relation attributes; note that in the production environment, it is not recommended to use *. Instead, one should list all the relation attributes explicitly.

The following SELECT statement is equivalent for the relational algebra expression σ</span>_{customer_id =2} customer:

SELECT * FROM customer WHERE customer_id = 2;

The project operation could be visualized as vertical slicing of the table. The query, give me the customer names, is written in relational algebra as follows:

π _{first_name, last_name} customer

The following is the result of projection expression:

first_name	last_name
thomas	sieh
wang	kim

 

Duplicate tuples are not allowed in the formal relational model; the number of returned tuples from the PROJECT operator is always equal to or less than the number of total tuples in the relation. If a PROJECT operator's attribute list contains a primary key, then the resulting relation has the same number of tuples as the projected relation.

The projection operator also can be optimized, for example, cascading projections could be optimized as the following expression:

π_a(π_a,π_b(R)) = π_a(R)

The SQL equivalent for the PROJECT operator is SELECT DISTINCT. The DISTINCT keyword is used to eliminate duplicates. To get the result shown in the preceding expression, one could execute the following SQL statement:

SELECT DISTINCT first_name, last_name FROM customers;

The sequence of the execution of the PROJECT and SELECT operations can be interchangeable in some cases. The query give me the name of the customer with customer_id equal to 2 could be written as follows:

σ_{customer_id =2} (π _{first_name, last_name} customer)

π _{first_name, last_name}(σ_{customer_id =2} customer)

In other cases, the PROJECT and SELECT operators must have an explicit order as shown in the following example; otherwise, it will lead to an incorrect expression. The query, give me the last name of the customers where the first name is kim, could be written in the following way:

π _{last_name}(σ_{first_name=kim} customer)

The rename operation

The rename operation is used to alter the attribute name of the resultant relation or to give a specific name to the resultant relation. The rename operation is used to perform the following:

• Remove confusion if two or more relations have attributes with the same name
• Provide user-friendly names for attributes, especially when interfacing with reporting engines
• Provide a convenient way to change the relation definition and still be backward compatible

The AS keyword in SQL is the equivalent of the rename operator in relational algebra. The following SQL example creates a relation with one tuple and one attribute, which is renamed PI:

SELECT 3.14::real AS PI;

The set theory operations

The set theory operations are union, intersection, and minus (difference). Intersection is not a primitive relational algebra operator, because it can be written using the union and difference operators:

A∩B = ((A∪B)-(A-B))-(B-A)

The intersection and union are commutative:

A∩B=B∩A

A∪B=B∪A

For example, the query, give me all the customer IDs where the customer does not have a service assigned to him, could be written as follows:

π_{customer_id} customer-π_{customer_id} customer_service

The cartesian product operation

The cartesian product operation is used to combine tuples from two relations into a single one. The number of attributes in single relation equals the sum of the number of attributes of the two relations. The number of tuples in the single relation equals the product of the number of tuples in the two relations. Let's assume that A and B are two relations, and C = A × B:

The number of attribute of C = the number of attribute in A + the number of attribute of B

The number of tuples of C = the number of tuples of A * The number of tuples of B

The following image shows the cross join of customer and customer service:

The equivalent SQL join for Cartesian product is CROSS JOIN, the query for the customer with customer_id equal to 1, retrieve the customer id, name and the customer service IDs can be written in SQL as follows:

SELECT DISTINCT customer_id, first_name, last_name, service_id FROM customer AS c CROSS JOIN customer_service AS cs WHERE c.customer_id=cs.customer_id AND c.customer_id = 1;

In the preceding example, one can see the relationship between relational algebra and the SQL language. For example, we have used select, rename, project, and Cartesian product. The preceding example shows how relational algebra could be used to optimize query execution. This example could be executed in several ways:

Execution plan 1:

1. Select the customer where customer_id = 1.
2. Select the customer service where customer_id = 1.
3. Cross JOIN the relations resulting from steps 1 and 2.
4. Project customer_id, first_name, last_name, and service_id from the relation resulting from step 3.

Execution plan 2:

1. Cross JOIN customer and customer_service.
2. Select all the tuples where Customer_service.customer_id=customer.customer_id and customer.customer_id = 1.
3. Project customer_id, first_name, last_name, and service_id from the relation resulting from step 2.

The SELECT query is written in this way to show how to translate relational algebra to SQL. In modern SQL code, we can project attributes without using DISTINCT. In addition to that, one should use a proper join instead of cross join.

Each execution plan has a cost in terms of CPU, random access memory (RAM), and hard disk operations. The RDBMS picks the one with the lowest cost. In the preceding execution plans, the rename as well as distinct operator were ignored for simplicity.