Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Saturation-based calculi such as superposition can be successfully instantiated to decision procedures for many decidable… Expand
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… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 4
2007
2007
A new unified method is proposed to calculate the basic resonator parameters, i.e., the resonant frequency, external Q, unloaded… Expand
2005
2005
Several alternative semantics (or interpretations) of the relational (domain) calculus are studied here. It is shown that they… Expand
  • figure 1
2005
2005
Abstract The second, or informal, economy developed later in Lubumbashi (DRC) than it had in Kinshasa. The Katanga metropolis… Expand
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… Expand
  • figure 1
1999
1999
In this paper we present a definition of a domain relational calculus for fuzzy relational databases using the GEFRED model as a… Expand
1995
1995
This paper presents a general purpose object query system and language, called QBI (Query by Icon), that involves the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
1995
1995
The design and implementation of the language fSDL (full Structure Definition Language) is discussed. In fSDL, complex user… Expand
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… Expand