A characterization of first-order topological properties of planar spatial data
暂无分享,去创建一个
[1] Jan Paredaens,et al. Towards a theory of spatial database queries (extended abstract) , 1994, PODS.
[2] Marie-Françoise Roy,et al. Witt Rings in Real Algebraic Geometry , 1998 .
[3] Robert McNaughton,et al. Counter-Free Automata (M.I.T. research monograph no. 65) , 1971 .
[4] 守屋 悦朗,et al. J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .
[5] Jan Van den Bussche,et al. Topological elementary equivalence of closed semi-algebraic sets in the real plane , 2000, Journal of Symbolic Logic.
[6] Leonid Libkin,et al. Elements of Finite Model Theory , 2004, Texts in Theoretical Computer Science.
[7] Gabriel M. Kuper,et al. Constraint Query Languages , 1995, J. Comput. Syst. Sci..
[8] Marie-Françoise Roy,et al. Real algebraic geometry , 1992 .
[9] Robert Laurini,et al. 9 – Design for Information Systems: Methodologies, issues , 1992 .
[10] Martin Grohe,et al. On first-order topological queries , 2002, TOCL.
[11] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[12] MAX J. EGENHOFER,et al. Point Set Topological Relations , 1991, Int. J. Geogr. Inf. Sci..
[13] Jan Van den Bussche,et al. On Capturing First-Order Topological Properties of Planar Spatial Databases , 1999, ICDT.
[14] Wolfgang Thomas,et al. Languages, Automata, and Logic , 1997, Handbook of Formal Languages.
[15] Christof Löding,et al. A characterization of first-order topological properties of planar spatial data , 2004, JACM.
[16] Jörg Flum,et al. Finite model theory , 1995, Perspectives in Mathematical Logic.
[17] R. McNaughton,et al. Counter-Free Automata , 1971 .
[18] Jan Van den Bussche,et al. First-Order Queries on Databases Embedded in an Infinite Structure , 1996, Inf. Process. Lett..
[19] Gabriel M. Kuper,et al. Constraint Databases , 2010, Springer Berlin Heidelberg.
[20] Serge Abiteboul,et al. Foundations of Databases , 1994 .
[21] Dan Suciu,et al. Topological Queries in Spatial Databases , 1999, J. Comput. Syst. Sci..
[22] Jianwen Su,et al. Queries with Arithmetical Constraints , 1997, Theor. Comput. Sci..
[23] Jan Van den Bussche,et al. Towards a theory of spatial database queries (extended abstract) , 1994, PODS '94.
[24] L. van den Dries,et al. Tame Topology and O-minimal Structures , 1998 .
[25] David M. Mark,et al. Modelling Conceptual Neighbourhoods of Toplogical Line-Region Relations , 1995, Int. J. Geogr. Inf. Sci..
[26] Victor Vianu,et al. Querying spatial databases via topological invariants , 1998, J. Comput. Syst. Sci..
[27] Max J. Egenhofer,et al. On the Equivalence of Topological Relations , 1995, Int. J. Geogr. Inf. Sci..