Skip to search formSkip to main contentSkip to account menu

Domain relational calculus

Known as: Calculus (disambiguation), DRC, Domain calculus 
In computer science, domain relational calculus (DRC) is a calculus that was introduced by Michel Lacroix and Alain Pirotte as a declarative database… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Operating a high degree of freedom mobile manipulator, such as a humanoid, in a field scenario requires constant situational… 
2009
2009
Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable… 
2009
2009
Discovered in Congo in 1898, Coffea canefora var. robusta accounts for 25 to 40% of the coffee grown in the world. Most genetic… 
Review
2008
Review
2008
Teaching abstract concepts can be best supported with supplemental instructional materials such as software animations… 
2007
2007
A new unified method is proposed to calculate the basic resonator parameters, i.e., the resonant frequency, external Q, unloaded… 
2005
2005
Abstract The second, or informal, economy developed later in Lubumbashi (DRC) than it had in Kinshasa. The Katanga metropolis… 
Highly Cited
2005
Highly Cited
2005
  • R. Haenni
  • 7th International Conference on Information…
  • 2005
  • Corpus ID: 8560529
Shortly after proposing Dempster's rule of combination as a general aggregation rule for evidence from independent sources, Zadeh… 
2005
2005
Several alternative semantics (or interpretations) of the relational (domain) calculus are studied here. It is shown that they… 
Highly Cited
1990
Highly Cited
1990
We present techniques for optimizing queries in memory-resident database systems. Optimization techniques in memory-resident… 
Highly Cited
1984
Highly Cited
1984
Whereas first-order logic was developed to confront the infinite it is often used in computer science in such a way that infinite…