Traitement de requêtes conjonctives avec négation : algorithmes et expérimentations
Dans cette thèse, nous nous intéressons à des problèmes à la croisée de deux domaines, les bases de données et les bases de connaissances. Nous considérons deux problèmes équivalents concernant les requêtes conjonctives avec négation : l'inclusion de requêtes et l'évaluation d'une req...
Main Author: | Ben Mohamed, Khalil |
---|---|
Language: | fra |
Published: |
Université Montpellier II - Sciences et Techniques du Languedoc
2010
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00563217 http://tel.archives-ouvertes.fr/docs/00/56/32/17/PDF/TheseKhalilBenMohamed.pdf |
Similar Items
-
Gestion de flux de données pour l'observation de systèmes
by: Petit, Loïc
Published: (2012) -
Problèmes de production avec transport des composants
by: Pereira Liberalino, Carlos Heitor
Published: (2012) -
Algorithmes et complexité des problèmes d'énumération pour l'évaluation de requêtes logiques
by: Bagan, Guillaume
Published: (2009) -
BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms
by: Fortin, Jean
Published: (2013) -
Hybrid and Anonymous File-Sharing Environments: Architecture and Characterisation
by: Timpanaro, Juan Pablo
Published: (2013)