Sciences des données : de la logique du premier ordre à la Toile · Occasion

Quatrième de couverture : Conçus à partir d'un langage formel - la logique du premier ordre -, les systèmes de gestion de bases de données relationnels servent de médiateurs entre l'individu et la machine, dispensant ainsi celui-ci de tâches fastidieuses. La Toile, avec les moteurs de recherche, s'est muée en bibliothèque numérique à l'échelle de la planète. Aujourd'hui, de nouveaux systèmes informatiques font émerger des masses de données disponibles une «intelligence collective». Un des grands défis des années à venir est de développer les technologies qui permettront de trouver, d'évaluer, de valider, de vérifier, de hiérarchiser l'information pour construire la «Toile des connaissances» de demain.

Biographie de l'auteur : Serge Abiteboul a coécrit Foundations of Databases (Addison-Wesley, 1995), ouvrage de référence en théorie des bases de données, et plus récemment, Web Data Management (Cambridge University Press, 2011). Actuellement directeur de recherche à l'INRIA et membre du laboratoire LSV de l'ENS Cachan, il est professeur au Collège de France, titulaire de la chaire d'Informatique et sciences numériques, pour l'année 2011-2012.