Une base de donnée peut être interrogée de manière formelle par le langage SQL ou de manière informelle par le langage algébrique. Le langage SQL (Structured Query Langage) est une évolution de SEQUEL ...

Dans les années 1930, Herbrand avait posé les conditions de validité d'une démonstration automatique. En 1953, Quine donnait une règle d'inférence originale ; définie pour l'ordre O, elle présentait ...