On first-order topological queries

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2000, Pages 349-360

  Grohe, Martin ^a   Segoufin, Luc ^b  

^a Institut für Mathematische Logik   (Germany)

^b INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; FORMAL LANGUAGES; QUERY LANGUAGES; RELATIONAL DATABASE SYSTEMS; SET THEORY;

FIRST ORDER LOGIC; SPATIAL DATABASES; TOPOLOGICAL QUERIES;

FORMAL LOGIC;

EID: 0033697424     PISSN: 10436871     EISSN: None     Source Type: Journal    
DOI: 10.1109/LICS.2000.855783     Document Type: Article

References (19)

1. S. Abiteboul R. Hull V. Vianu Foundations of Databases 1995 Addison Wesley
2. M. Benedikt G. Dong L. Libkin L. Wong Relational expressive power of constraint query languages Proc. ACM Symp. on Principles of Database Systems Proc. ACM Symp. on Principles of Database Systems 1996
3. M. Benedikt M. Grohe L. Libkin L. Segoufin Reachability and Connectivity Queries in Constraint Databases Proc. ACM Symp. on Principles of Database Systems Proc. ACM Symp. on Principles of Database Systems 2000
4. M. Benedikt L. Libkin Languages for relational databases over interpreted structures Proc. ACM Symp. on Principles of Database Systems Proc. ACM Symp. on Principles of Database Systems 1997
5. M. Benedikt L. Libkin Safe constraint queries Proc. ACM Symp. on Principles of Database Systems Proc. ACM Symp. on Principles of Database Systems 1998
6. H-D Ebbinghaus and J. Flum. Finite Model Theory 1995 Springer
7. S. Grumbach J. Su Queries with arithmetical constraints Theoretical Computer Science 173 1 151 181 1997
8. S. Grumbach J. Su Finitely representable databases Journal of Computer and System Sciences 55 2 273 298 1999
9. M. Gyssens J. Van den Bussche D. Van Gucht Complete geometrical query languages Proc. ACM Symp. on Principles of Database Systems 62 67 Proc. ACM Symp. on Principles of Database Systems New York 1997
10. J. Van Den Bussche J. Paredaens D. Van Gucht First-order queries on finite structures over the reals Proc. IEEE Conf. on Logic in Computer Science 79 87 Proc. IEEE Conf. on Logic in Computer Science 1995
11. Constraint Databases 2000 Springer Verlag
12. B. Kuijpers J. Paradaens J. Van den Bussche On topological elementary equivalence of spatial databases Proc. of Intl. Conf. on Database Theory 432 446 Proc. of Intl. Conf. on Database Theory 1997
13. B. Kuijpers J. Van den Bussche On capturing first-order topological properties of planar spatial databases Proc. of Intl. Conf. on Database Theory 187 198 Proc. of Intl. Conf. on Database Theory 1999
14. R. McNaughton S. Papert Counter-free Automata 1971 MIT Press
15. C.H Papadimitriou D. Suciu V. Vianu Topological queries in spatial databases Journal of Computer and System Sciences 58 1 29 53 1999
16. J. Paredaens J. Van Den Bussche D. Van Gucht Towards a theory of spatial database queries Proc. ACM Symp. on Principles of Database Systems 279 288 Proc. ACM Symp. on Principles of Database Systems 1994
17. M.P. Schützenberger On finite monoids having only trivial subgroups Information and Control 8 190 194 1965
18. L. Segoufin V. Vianu Querying spatial databases via topological invariants Proc. ACM Symp. on Principles of Database Systems Proc. ACM Symp. on Principles of Database Systems 1998
19. L. van den Dries Tame Topology and O-minimal Structures 1998 Cambridge