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)

Related topics

Related topics

9 relations
Computer scienceDeclarative programmingExistential quantificationQuery language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Director: A User Interface Designed for Robot Operation with Shared Autonomy
Operating a high degree of freedom mobile manipulator, such as a humanoid, in a field scenario requires constant situational… 
2009
2009
Decidability Results for Saturation-Based Model Building
Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable… 
2009
2009
Genetic variation in Coffea canephora L. (Var. Robusta) accessions from the founder gene pool evaluated with ISSR and RAPD
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
Animated database courseware: using animations to extend conceptual understanding of database concepts
Teaching abstract concepts can be best supported with supplemental instructional materials such as software animations… 
2007
2007
Principles of Time Domain Calculus of Microwave Resonator Parameters
A new unified method is proposed to calculate the basic resonator parameters, i.e., the resonant frequency, external Q, unloaded… 
2005
2005
‘La Crise’: Lexicon and Ethos of the Second Economy in Lubumbashi
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
Shedding new light on Zadeh's criticism of Dempster's rule of combination
  • 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
Domain independence and the relational calculus
Several alternative semantics (or interpretations) of the relational (domain) calculus are studied here. It is shown that they… 
Highly Cited
1990
Highly Cited
1990
Query optimization in a memory-resident domain relational calculus database system
We present techniques for optimizing queries in memory-resident database systems. Optimization techniques in memory-resident… 
Highly Cited
1984
Highly Cited
1984
Toward logic tailored for computational complexity
Whereas first-order logic was developed to confront the infinite it is often used in computer science in such a way that infinite… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)