Fiche du document
4 novembre 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
Language (New words, slang, etc.)Citer ce document
Serge Abiteboul, « Data Sciences: From First Order Logic to the Web », La lettre du Collège de France, ID : 10.4000/lettre-cdf.2669
Métriques
Partage / Export
Résumé
To obtain information, we can query a database management system. To do so, we express our queries in a simple computer language, perhaps using graphics, perhaps even in our natural language. The system translates this request into a formal language. This consists of a syntax, which allows the user’s query to be specified, and a formal semantics that gives this syntax an exact meaning. Mathematical logic allows for this kind of formal language. In this lecture, I will discuss the profound ti...