On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:
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 X1 to Xn that make 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.