LEADER 03192oam 2200637 450 001 9910137460503321 005 20230125233136.0 010 $a2-8218-1486-0 010 $a2-7226-0171-0 024 7 $a10.4000/books.cdf.506 035 $a(CKB)3170000000061043 035 $a(SSID)ssj0000855511 035 $a(PQKBManifestationID)12386279 035 $a(PQKBTitleCode)TC0000855511 035 $a(PQKBWorkID)10929233 035 $a(PQKB)11647970 035 $a(FrMaCLE)OB-cdf-506 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/59007 035 $a(PPN)267951205 035 $a(EXLCZ)993170000000061043 100 $a20160829d2012 uy 0 101 0 $afre 135 $au|b|#---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSciences des données $ede la logique du premier ordre à la Toile / Serge Abiteboul 210 $cCollège de France$d2012 210 1$aParis, France :$cFayard,$d2012. 210 4$d©2012 225 0 $aLeðcons inaugurales du Colláege de France Sciences des donnâees 311 $a2-213-66910-4 320 $aIncludes bibliographical references. 330 $aConc?us a? partir d'un langage formel, la logique du premier ordre, les syste?mes de gestion de bases de donne?es relationnels servent de me?diateurs entre l'individu et la machine : ils traduisent les donne?es en informations. Avec l'augmentation du volume de donne?es distribue?es sur la Toile e?merge aujourd'hui une "intelligence collective" fac?onne?e par de grands moteurs de recherches dont le monopole soule?ve des questions e?thiques et politiques. Un des grands de?fis des anne?es a? venir est de de?velopper les technologies qui permettront de trouver, d'e?valuer, de valider, de ve?rifier, de hie?rarchiser l'information pour construire la "Toile des connaissances" de demain. Relational database management systems, using as foundations a formal language, first-order logic, serve as mediators between individuals and machines. With the increase in the volume of data disseminated on the Web, a "collective intelligence" is currently emerging, shaped by large search engines whose monopoly raises ethical and political questions. One of the main challenges for the coming years is the development of technologies that will make it possible to find, evaluate, validate, verify and rank information, and thus to build tomorrow's "Web of knowledge." 606 $aDatabase management 606 $aRelational databases 606 $aFirst-order logic 606 $aWorld Wide Web 606 $aComputer Science 610 $aconnaissance 610 $agestion de bases de données 610 $asciences numériques 610 $ainformatique 615 0$aDatabase management. 615 0$aRelational databases. 615 0$aFirst-order logic. 615 0$aWorld Wide Web. 615 0$aComputer Science. 676 $a005.7 700 $aAbiteboul$b Serge$0315264 801 0$bPQKB 801 2$bUkMaJRU 906 $aBOOK 912 $a9910137460503321 996 $aSciences des données$92263159 997 $aUNINA