Fiche du document
29 octobre 2015
Ce document est lié à :
info:eu-repo/semantics/reference/issn/1628-2329
Ce document est lié à :
info:eu-repo/semantics/reference/issn/2109-9219
All rights reserved , info:eu-repo/semantics/openAccess
Sujets proches
Gramática comparada y general--Sintaxis SintácticaCiter ce document
Serge Abiteboul, « Sciences des données : de la Logique du premier ordre à la Toile », La lettre du Collège de France, ID : 10.4000/lettre-cdf.2502
Métriques
Partage / Export
Résumé
Pour obtenir de l’information, nous pouvons interroger un système de gestion de bases de données. Pour ce faire, nous nous exprimons dans un langage informatique simple, peut-être graphique, peut-être même dans notre langue naturelle. Le système traduit cette demande dans un langage formel. Par cela, nous entendons une syntaxe qui permet au système de préciser la demande de l’utilisateur, et une sémantique formelle qui donne un sens exact à cette syntaxe. La logique mathématique offre un tel ...