域关系演算

设 A, B, C 为 Rank, Name, ID而 D, E, F 为 Name, DeptName, ID

找到星际飞船 USS Enterprise 的所有首领:

{<A, B, C> | <A, B, C> ∈ Enterprise ∧ A = "Captain" }

在这个例子中，A, B, C 同时指示结果集合和在表 Enterprise 中的一个集合。

找到在 Stellar Cartography 部门工作的 Enterprise 船员的名字:

{ | ∃ A, C ( <A, B, C> ∈ Enterprise ∧ ∃ D, E, F(<D, E, F> ∈ Departments ∧ F = C ∧ E = "Stellar Cartography" ))}

在这个例子中，我们只查找名字，所以 指示列名。F = C 是个要求，因为我们需要找到 Enterprise 船员并且他们在 Stellar Cartography 部门工作。

前面例子的另一个可替代表示为:

{ | ∃ A, C (<A, B, C> ∈ Enterprise ∧ ∃ D (<D, "Stellar Cartography", C> ∈ Departments))}

在这个例子中，要求的 F 域的值被直接的放置在公式中，而 C 域变量重新用于部门存在性的查询中，因为它已经持有了一个船员的 id。