Alfabet stałe atomowe (wartości proste): x, y, z,... stałe indeksujące (numery indeksów): 1, 2, 3,... zmienne krotkowe: k1, k2, k3,... stałe atrybutowe (atrybuty): A1, A2, A3,... symbole relacyjne (predykaty): R1, R2, R3,... symbole funkcyjne: ∪,. (kropka) operatory porównań (ozn. jako θ): =, ≠, <, ≤, >, ≥ symbole logiczne: ¬, ∨, ∧, ⇒, ∀, ∃ ograniczniki (symbole dodatkowe):, | {} ()
Reguły tworzenia wyrażeń – poniższe konstrukcje są poprawnymi wyrażeniami rachunku relacyjnego Termy termy atomowe: a ::= x | t.Ai termy krotkowe: t ::= ki | t ∪ t | [Ai: x] (wartość x typu Ai)