In computer science, domain relational calculus (DRC) is a calculus that was introduced by Michel Lacroix and Alain Pirotte as a declarative database query language for the relational data model.
In DRC, queries have the form:
where each Xi is either a domain variable or constant, and denotes a DRC formula. The result of the query is the set of tuples Xi to Xn which makes the DRC formula true.
This language uses the same operators as tuple calculus, the logical connectives ∧ (and), ∨ (or) and ¬ (not). The existential quantifier (∃) and the universal quantifier (∀) can be used to bind the variables.
Its computational expressiveness is equivalent to that of Relational algebra.
Read more about Domain Relational Calculus: Examples
Famous quotes containing the words domain and/or calculus:
“In the domain of Political Economy, free scientific inquiry meets not merely the same enemies as in all other domains. The peculiar nature of the material it deals with, summons as foes into the field of battle the most violent, mean and malignant passions of the human breast, the Furies of private interest.”
—Karl Marx (1818–1883)
“I try to make a rough music, a dance of the mind, a calculus of the emotions, a driving beat of praise out of the pain and mystery that surround me and become me. My poems are meant to make your mind get up and shout.”
—Judith Johnson Sherwin (b. 1936)