Sciences des données : De la logique du premier ordre à la Toile

Serge Abiteboul

Publié par Fayard, le 06 juin 2012

112 pages

Résumé

Concus a partir d'un langage formel, la logique du premier ordre, les systemes de gestion de bases de donnees relationnels servent de mediateurs entre l'individu et la machine, dispensant ainsi celui-ci de taches fastidieuses. La Toile, avec les moteurs de recherche, s'est muee en bibliotheque numerique a l'echelle de la planete. Aujourd'hui, de nouveaux systemes informatiques font emerger des masses de donnees disponibles une intelligence collective . Un des grands defis des annees a venir est de developper les technologies qui permettront de trouver, d'evaluer, de valider, de verifier, de hierarchiser l'information pour construire la Toile des connaissances de demain.