Set constructors in a logic database language

A lattice-theoretical fixpoint theorem and its applications

Alfred Tarski · Pacific Journal of Mathematics · 1955 · 2.7K citations · Full text

Natural Sciences, Computer Science, Mathematics +9

The Semantics of Predicate Logic as a Programming Language

M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text

Humanities, Computer Science, Logic +16

Principles of Database Systems

John Kandiri · 2018 · 892 citations

Computing, Computer Science, Information Systems +12

The art of computer programming. Vol.1: Fundamental algorithms

Donald E. Knuth · Virtual Defense Library (Ministerio de Defensa) · 1978 · 806 citations

Computing, Computer Science, Algorithms +5

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