Français Anglais
Accueil Annuaire Plan du site
Accueil > Equipes > Activités de recherche > Bases de données
Equipes
Bases de données


Mots-clés:
  - Intégration d'informations
  - Bibliothèque numérique
  - Bases de données multidimensionnelles

Equipes
  Bases de Données
  Intelligence Artificielle et Systèmes d'Inférence

Equipes-projets Inria communes
  OAK

Resultats majeurs
  Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web
  SomeRDFS in the Semantic Web
  DL-liteR in the Light of Propositional Logic for Decentralized Data Management
  View Selection in Semantic Web Databases
  Robust Module-based Data Management
  Materialized View Selection for XQuery Workloads
  Efficient Query Answering against Dynamic RDF Databases
  Web Data Indexing in the Cloud: Efficiency and Cost Reductions
  Entity Discovery and Annotation in Tables
  Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking.
  Growing Triples on Trees: an XML-RDF Hybrid Model for Annotated Documents

Contrats
  ST2I - DREI
  Updates

Logiciels et brevets
  LN2R-LT
  EdiFlow
  RDFViews
  Nautilus Analyzer
  AMADA
  WaRG

Collaborations


Membres
  DE ROUGEMONT Michel
  GOASDOUE François
  ROUSSET Marie-Christine
  COLAZZO Dario
  ABDALLAH Nada
  ABITEBOUL Serge
  SEGOUFIN Luc
  RIGAUX Philippe
  BAAZIZI Mohamed Amine
  LEBLAY Julien
  ANTOINE Emilien
  TRIVELA Despoina

Thèses et habilitations
  Réécriture de requêtes en termes de vues dans CARIN et intégration d'information
  Optimisation de requêtes olap et visualisation de résultats
  Knowledge Representation meets Databases for the sake of ontology-based data management


Activités de recherche
° Algorithmes pour les grands volumes de données distribuées
° Algorithmique des systèmes en réseau
° Algorithmique distribuée
° Architectures parallèles
° biologie de synthese
° Biologie des systèmes
° Biologie structurale
° Calcul à haute performance
° Calibration d'algorithmes (sélection, ajustement d'hyper-paramètres)
° Codage réseau
° Collaboration médiatisée
° Combinatoire
° Compilation et optimisation des programmes
° Décision optimale en contexte incertain
° Définition de nouveaux critères
° Démonstration automatique, SMT et applications
° Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
° Formalisation et preuves de programmes numériques
° Gestion de données du Web
° Ingénierie des systèmes interactifs
° Intégration de données et de connaissances
° Interaction Homme-Machine
° Langages et systèmes centrés données
° Méthodes de conception générative
° Modélisation et systèmes à grande échelle