Dependency preserving refinements and the fundamental problem of database design

The theory of relational databases

Michel Adiba · Science of Computer Programming · 1984 · 965 citations

Database Design, Relational Database, Engineering +6

Update semantics of relational views

François Bancilhon, Nicolas Spyratos · ACM Transactions on Database Systems · 1981 · 580 citations · Full text

Engineering, Translation Process, Semantics +17

Languages that Capture Complexity Classes

Neil Immerman · SIAM Journal on Computing · 1987 · 545 citations

Engineering, Computational Complexity, Higher-order Logic +19

A normal form for relational databases that is based on domains and keys

Ronald Fagin · ACM Transactions on Database Systems · 1981 · 231 citations · Full text

Relational Database, Engineering, Constraints +22

Monadic second-order definable graph transductions: a survey

Bruno Courcelle · Theoretical Computer Science · 1994 · 224 citations

Directed Graph, Engineering, Graph Theory +5