Computing the JTH solution of a first-order query - Archive ouverte HAL
Article Dans Une Revue RAIRO - Theoretical Informatics and Applications (RAIRO: ITA) Année : 2008

Computing the JTH solution of a first-order query

Résumé

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}.

Domaines

Algorithme et structure de données [cs.DS]
Fichier principal
Vignette du fichier
bdgo.pdf (250.47 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

HAL System  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00221730

Soumis le : mardi 29 janvier 2008-09:13:42

Dernière modification le : mercredi 20 mars 2024-16:20:04

Archivage à long terme le : jeudi 27 septembre 2012-17:45:56

Télécharger pour visualiser

Dates et versions

hal-00221730 , version 1 (29-01-2008)

Identifiants

  • HAL Id : hal-00221730 , version 1

Citer

Guillaume Bagan, Arnaud Durand, Etienne Grandjean, Frédéric Olive. Computing the JTH solution of a first-order query. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2008, 42, pp.147-164. ⟨hal-00221730⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 LIF CNRS UNIV-AMU ELM GREYC GREYC-AMACC COMUE-NORMANDIE LIS-LAB ENSICAEN UNICAEN
183 Consultations
329 Téléchargements

Partager

More