• Aide
  • Eurêkoi Eurêkoi

Article

Data Sciences: From First Order Logic to the Web

dans Collège de France

Auteur(s) : Abiteboul, Serge

  • Éditeur(s)
  • Date
    • 2015-11-04T01:00:00Z
  • Notes
    • 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...
  • Droits
    • info:eu-repo/semantics/openAccess .
    • All rights reserved
  • Résultat de :