 |
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
 |
|
Laboratoire d'informatique fondamentale de Marseille UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence |
|
| HAL: hal-00221730, version 1 |
| Detailed view |  Export this paper |
 |
| RAIRO - Theoretical Informatics and Applications, 42 (2008) 147-164 |
|
|
|
|
| Computing the JTH solution of a first-order query |
|
|
| Guillaume Bagan 1Arnaud Durand 2 |
|
|
| (2008) |
|
|
|
| We design algorithms of "optimal" data complexity for several natural problems about first-order queries on structures of bounded degree. For that purpose, we first introduce a framework to deal with logical or combinatorial problems R ⊂ I × O whose instances x 2 I may admit of several solutions R(x) = {y 2 O : (x, y) 2 R}. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen (GREYC) |
|
|
|
CNRS : UMR6072 – Université de Caen Basse-Normandie – Ecole Nationale Supérieure d'Ingénieurs de Caen |
|
|
| 2: | Équipe de Logique Mathématique (ELM) |
|
|
|
CNRS : UMR7056 – Université Paris VII - Paris Diderot |
|
|
| 3: | Laboratoire d'informatique Fondamentale de Marseille (LIF) |
|
|
|
CNRS : UMR6166 – Université de la Méditerranée - Aix-Marseille II – Université de Provence - Aix-Marseille I |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Data Structures and Algorithms |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00221730, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00221730 | |
| oai:hal.archives-ouvertes.fr:hal-00221730 | |
| Submitted on: Tuesday, 29 January 2008 09:13:42 | |
| Updated on: Tuesday, 29 January 2008 09:50:01 | |
