On First-Order Topological Queries

Martin Grohe 1 Luc Segoufin 2
2 VERSO - Databases
Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR8629
Abstract : One important class of spatial database queries is the class of topological queries, that is, queries invariant under homeomorphisms. We study topological queries expressible in the standard query language on spatial databases, rst-order logic with various amounts of arithmetic. Our main technical result is a combinato-rial characterization of the expressive power of topological rst-order logic on regular spatial databases.
Type de document :
Article dans une revue
ACM Transactions on Computational Logic, Association for Computing Machinery, 2002, 3 (3), 〈10.1145/507382.507384〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01223388
Contributeur : Luc Segoufin <>
Soumis le : lundi 2 novembre 2015 - 15:37:19
Dernière modification le : mardi 17 avril 2018 - 11:35:00
Document(s) archivé(s) le : mercredi 3 février 2016 - 10:53:07

Fichier

topo-FO.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Martin Grohe, Luc Segoufin. On First-Order Topological Queries. ACM Transactions on Computational Logic, Association for Computing Machinery, 2002, 3 (3), 〈10.1145/507382.507384〉. 〈hal-01223388〉

Partager

Métriques

Consultations de la notice

73

Téléchargements de fichiers

41