Security checking in relational database management systems augmented with inference engines

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

Computing, Computer Science, Decision Support Systems +4

A lattice model of secure information flow

Dorothy E. Denning · Communications of the ACM · 1976 · 1.9K citations · Full text

Computing, Computer Science, Computer Systems +15

Principles of Database Systems

John Kandiri · 2018 · 892 citations

Computing, Computer Science, Information Systems +12

A Theory of Program Size Formally Identical to Information Theory

Gregory J. Chaitin · Journal of the ACM · 1975 · 884 citations · Full text

Computing, Computer Science, Information Theory +8

An amateur's introduction to recursive query processing strategies

François Bancilhon, Raghu Ramakrishnan · ACM SIGMOD Record · 1986 · 697 citations · Full text

Computing, Computer Science, Algorithms +14