Data & Knowledge Engineering · 2006 · 82 citations · 32 references
ComputingComputer ScienceData StructuresFormal MethodsLogicBoolean AlgebraDatabase DesignLookup TablesPredicate LogicSymbol TablesTable FormTable InterpretationTableau AlgorithmsTruth Table SpecificationTruth Tables
32
Tim Berners‐Lee, James Hendler, Ora Lassila · Scientific American · 2001 · 8.5K citations
A relational model of data for large shared data banks
E. F. Codd · Communications of the ACM · 1970 · 5.2K citations · Full text
A relational model of data for large shared data banks
E. F. Codd · Communications of the ACM · 1983 · 4.8K citations
The well-founded semantics for general logic programs
Allen Van Gelder, Kenneth A. Ross, John S. Schlipf · Journal of the ACM · 1991 · 1.7K citations