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

Georges Louis, Alain Pirotte

Browse the full VLDB paper archive.