How Edgar F. Codd might approach Computer Science
Computer Science, as a discipline, presents a curious dichotomy. It is a field ostensibly concerned with computation, yet its nomenclature often betrays a conflation of the practicalities of machine construction with the abstract principles of information processing. Fundamentally, this can be expressed as a need for rigorous definition. What precisely *is* a science of computers? Is it merely the manipulation of electronic switches, or does it, as I suspect, reside in the logical structure of information and the operations that can be performed upon it?
If we treat this as a set of relations, then the underlying axioms must be clearly delineated. The "science" component suggests a pursuit of general laws, of demonstrable truths derivable through logical inference. The "computer" component, while essential for the physical realization of these processes, should not dominate the conceptual framework. Consider the implications of this emphasis: a true computer science would be concerned with the formal properties of algorithms, the mathematical elegance of data structures, and the fundamental limits of what can be computed.
The elegance lies in the simplicity of the underlying structure. We must divorce ourselves from the idiosyncrasies of specific hardware, from the ephemeral trends in programming languages. Instead, we should focus on the timeless principles of sets, relations, and operations. The relational model, in its essence, provides a declarative foundation for data manipulation, freeing the user from the procedural complexities of storage mechanisms. This, I believe, is a glimpse of what a truly principled "computer science" ought to encompass: a unifying theory of information and its manipulation, built upon the bedrock of formal logic and mathematics.
Imagined perspective — an AI synthesis grounded in Edgar F. Codd’s recorded ideas and methods, not a quotation or a statement they actually made.