The relational model

Table of contents

  1. Introduction
  2. Database schema
  3. Keys
  4. Relational algebra
    1. Select operation
    2. Project
    3. Set-union
    4. Set-difference
    5. Cartesian product
    6. Rename
    7. Set-intersection
    8. Natural join
    9. Assignment
  5. References


The relational model is an approach to managing data, introduced by Edgar Codd in 1969.

In the relational model, tables are known as relations. A relation is a set of tuples (rows) and each relation has a number of attributes (columns) [1, Pp. 37-9].

Each attribute has a domain which specifies the valid values for the attribute. Domains must be atomic [1, P. 40].

The null value is a special value signifying that the value is unknown or unspecified [1, P. 40].

SQL is loosely based on relational algebra. Most databases use relational algebra or something based on relational algebra for their internal representation of queries.

Database schema

A database schema is the logical design of a database [1, P. 41].

A relation schema specifies type information for relations. A schema includes an ordered set of attributes, as well as the domain of each attribute.

Schemas are often written in the form .


Keys are used to identify individual tuples.

A superkey is a set of one or more attributes that collectively uniquely identify a tuple in a relation [1, P. 43].

A candidate key is a superkey where no proper subset is a superkey. A relation may have multiple candidate keys [1, P. 44].

A primary key is a candidate key chosen as the primary identifier for tuples in a relation. By convention, primary keys are listed before other attributes in a schema and are underlined [1, P. 44].

For example, consider a department relation with a primary key of building and room number:

[1, P. 44]

A foreign key is a set of attributes in a table that refers to the primary key of another table [1, P. 45].

Relational algebra

Relational algebra uses algebraic structures for modelling data and defining queries on it.

Relational algebra consists of a set of operations that can be composed into a relational-algebra expression [1, P. 50].

The fundamental operations include:

  • Select ()
  • Project ()
  • Set-union ()
  • Set-difference ()
  • Cartesian product ()
  • Rename ()

Select operation

The select operation () selects tuples that satisfy a given predicate from a relation .

For example, .

The select predicate supports comparison operators (=, ≠, <, ≤, >, and ≥). Predicates can be combined using the connectives and (∧), or (∨) and not (¬) [1, P. 49].


The project operation returns a relation with the set of tuples from the argument relation with only the specified attributes remaining.

Expressions involving attributes can be included in the project operation, e.g., will return a tuple containing the ID, name, and monthly pay of an employee.


The set-union operation () returns all tuples from two relations and .

and must have compatible schemas:

  • and must have the same arity.
  • For each attribute must have the same domain.


The set-difference operation () returns all tuples that are only in but not in .

and must have compatible schemas (as defined in the set-union section).

Cartesian product

The Cartesian-product operation () returns each tuple in concatenated with each tuple of .

There are no constraints on the schemas of the two relations.

In the case of overlapping attribute names, the attribute names are distinguished by prepending the relation name. e.g., The schema of could be written as .

Note: as opposed to a Cartesian-product of sets which would produce pairs of tuples, a Cartesian product of relations concatenates the tuples into a single tuple [1, P. 51].


The rename operation () can be used to rename relations and/or attributes.

is an expression that produces a relation ( can also be a named relation or relation variable). is the new name of the relation.

Rename applies within a relation expression. It does not create a relation variable.

returns a relation identical to except attributes are renamed to .


The set-intersection operation () returns all tuples that are only in both and .

and must have compatible schemas (as defined in the set-union section).

Natural join

The natural join operation () returns a set of all combinations of tuples in and that are equal on their common attribute names.


The assignment operation (←) assigns a relation to a relation variable with a name (like assigning a variable in a programming language). The relation variable can then be used in future operations [1, Pp. 55-6].


  1. [1] A. Silberschatz, H. F. Korth, and S. Sudarshan, Database System Concepts, Seventh Edition. McGraw-Hill Book Company, 2020.