A Denotational Definition of the Semantics of DRC, A Domain Relational Calculus

@inproceedings{Louis1982ADD,
  title={A Denotational Definition of the Semantics of DRC, A Domain Relational Calculus},
  author={Georges Louis and Alain Pirotte},
  booktitle={VLDB},
  year={1982}
}
This paper presents a semi-formal denotational definition of the semantics of a version of domain relational calculus called DRC. A single basic design principle governs the semantic definition: each predicate (or formula) of DRC denotes a relation. The definition obtained is precise, short, and systematic. Generalizations of operations of the relational algebra are suggested, which correspond very directly with the semantics of DRC formulas. This work also suggests a more active role of… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…