1 Answers
In computer science, domain relational calculus 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 p {\displaystyle p} 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 ¬. The existential quantifier and the universal quantifier can be used to bind the variables.
4 views
Answered