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

Summary: Denotational semantics for DRC: each predicate denotes a relation, yielding a precise, systematic account. Generalizes relational-algebra operations from DRC and argues for semantics-driven language design to simplify specification and implementation. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 7566
Venue: VLDB
Year: 1982
Pagerank: 6.5777806e-05
Overall Rank: 3,971 | 72.38%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Georges Louis
2. Alain Pirotte

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
7,233	Formalization of Database Systems - and a Formal Definition of IMS	1982	VLDB	4.7942739e-05

Outgoing Citations (Sorted by Pagerank)

Showing 0 of 0 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
9,986	Database Research needs an Abstract Relational Query Language	2026	CIDR	4.1945683e-05
8	Extending the Data Base Relational Model to Capture More Meaning	1979	SIGMOD	0.0015385917
1,225	Improving Semantic Specification in a Relational Database	1979	SIGMOD	0.00013190484
3,282	Foundations of Semantic Web Databases	2004	PODS	7.2808673e-05
963	Null Values in Data Base Management: A Denotational Semantics Approach	1979	SIGMOD	0.00014980053
3,238	Safety and Correct Translation of Relational Calculus Formulas	1987	PODS	7.334684e-05
120	On The Semantics Of The Relational Data Model	1975	SIGMOD	0.00045646715
4,148	A Formal Semantics of SQL Queries, Its Validation, and Applications	2018	VLDB	6.4079361e-05
7,773	Formal Semantics and Analysis of Object Queries	2003	SIGMOD	4.655071e-05
8,404	On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages	2024	SIGMOD	4.5224126e-05