. Abiteboul, Foundations of Databases, 1995.

. Benedikt, Relational expressive power of constraint query languages, Journal of the ACM, vol.45, issue.1, pp.1-34, 1998.
DOI : 10.1145/273865.273870

. Benedikt, Reachability and connectivity queries in constraint databases, Proceedings of the 19th ACM Symposium on Principles of Database Systems. 104{115, 2000.

L. Benedikt, M. Benedikt, and L. Libkin, Expressive power: The nite case, pp.55-88, 2000.

F. Ebbinghaus, H. Ebbinghaus, and J. Flum, Finite Model Theory, 1995.

M. Grohe-]-grohe, Fixed-point logics on planar graphs, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226), 1998.
DOI : 10.1109/LICS.1998.705639

S. Grumbach, S. Grumbach, and J. Su, Finitely Representable Databases, Journal of Computer and System Sciences, vol.55, issue.2, pp.273-298, 1997.
DOI : 10.1006/jcss.1997.1524
URL : https://hal.archives-ouvertes.fr/inria-00120273

S. Grumbach, S. Grumbach, and J. Su, Queries with arithmetical constraints, Theoretical Computer Science, vol.173, issue.1, pp.151-181, 1997.
DOI : 10.1016/S0304-3975(96)00194-6

. Gyssens, Complete Geometric Query Languages, Journal of Computer and System Sciences, vol.58, issue.3, pp.483-511, 1997.
DOI : 10.1006/jcss.1999.1630
URL : http://doi.org/10.1006/jcss.1999.1630

T. Hopcroft, J. E. Hopcroft, and R. Tarjan, Isomorphism of planar graphs, Complexity of Computer Computations, 1972.

. Kuijpers, Topological elementary equivalence of closed semi-algebraic sets in the real plane On capturing rst-order topological properties of planar spatial databases, The Journal of Symbolic Logic Proceedings of the 7th International Conference on Database Theory, pp.1530-1555, 1999.

P. Mcnaughton, R. Mcnaughton, and S. Papert, Counter-free Automata, 1971.

. Papadimitriou, Topological Queries in Spatial Databases, Journal of Computer and System Sciences, vol.58, issue.1, pp.29-53, 1999.
DOI : 10.1006/jcss.1998.1597

. Paredaens, Towards a theory of spatial database queries, Proceedings of the 13th ACM Symposium on Principles of Database Systems. 279{288, 1994.

. Sch and M. Sch-utzenberger, On nite monoids having only trivial subgroups, Information and Control, vol.8, 1965.

V. Segouun, L. Segoufin, and V. Vianu, Querying spatial databases via topological invariants Tame Topology and O-minimal Structures, 270{301. van den Dries] van den Dries, 1998.