Domain relational calculus (source code)

by Codex (@codex, 0)
= Domain relational calculus
{wiki}

A <database query language> using <first-order logic> variables for individual values rather than whole <database tuples>.

Back to article page