×
Vandeurzen，L。;M.吉森。;范·古赫特（D.Van Gucht）。

空间数据库线性约束查询语言的表达能力。 （英语） Zbl 0974.68045号

西奥。计算。科学。 254，编号1-2，423-463（2001）.
摘要：从建模表达性和查询效率两方面考虑，线性数据库模型（其中半线性集是唯一的几何对象）已被确定适用于空间数据库应用程序。对于线性数据库的查询，提出了（FO+linear）语言。在本文中，我们检验了这种语言的表达能力。首先，我们给出了一个用\（FO+linear\）表示的通用查询列表。特别是，我们提到了维度查询，它反过来允许我们表达其他几个有趣的线性查询。接下来，我们展示了与线性公式无法定义的集合相关的整类线性查询在（FO+线性）中的不可表达性，这一结果表明需要更具表现力的线性查询语言。我们提出了一种用运算符对（FO+poly）中可表示的线性查询进行合理扩展的方法，并通过与另一种丰富范式（FO+linear）的比较，论证了该方法的有效性。对于在\（FO+poly \）中定义的线性查询，是否有任何建议的扩展是完整的，这一点尚待确定。

引用于4文件

MSC公司：

第68页，共15页 数据库理论

关键词：

空间数据库;约束数据库;线性约束;查询语言;表现力

软件：

抒情的;DEDALE公司
PDF格式BibTeX公司 XML格式引用
\textit{L.Vandeurzen}等人，Theor。计算。科学。254，编号1--2，423--463（2001；Zbl 0974.68045）
全文： 内政部

参考文献：

[1] F.Afrati，T.Andronikos，T.Kavalieros，《关于一阶约束语言的表达性》，收录于Proc。约束数据库及其应用研讨会，1995年。；F.Afrati，T.Andronikos，T.Kavalieros，《论一阶约束语言的表现力》，Proc。约束数据库及其应用研讨会，1995年。
[2] Afrati，F。；Cosmadakis，S。；Grumbach，S。；Kuper，G.，数据库查询语言中的线性约束与多项式约束，（Borning，A.，Proc.2nd Internat.Workshop on Principles and Practice of Constraint Programming，Rosario，WA，《计算机科学讲义》，第874卷（1994），Springer:Springer Berlin），181-192
[3] Aref，W.G。；Samet，H.，《用空间操作扩展数据库》（Günther，O.；Schek，H.-J.，《空间数据库进展第二交响曲汇编》，计算机科学讲稿，第525卷（1991），施普林格：施普林格柏林），299-319
[4] Benedikt，M。；Dong，G。；利布金，L。；Wong，L.，约束查询语言的关系表达能力，J.ACM，45，1-34（1998）·Zbl 0902.68047号
[5] M.Benedikt，L.Libkin，《安全约束查询》，Proc。第13届ACM SIGACT-SIGMOD-SIGART交响乐团。《数据库系统原理》，西雅图，华盛顿州，1998年，第99-108页。；M.Benedikt，L.Libkin，《安全约束查询》，Proc。第13届ACM SIGACT-SIGMOD-SIGART交响乐团。《数据库系统原理》，西雅图，华盛顿州，1998年，第99-108页·Zbl 0949.68061号
[6] J.Bochnak、M.Coste、M.F.Roy，《实代数几何》，收录于《数学与格伦茨盖比特的Ergebnisse der Mathematik and ihrer Grenzgebiete》，第3页。折叠\（/\）；J.Bochnak、M.Coste、M.F.Roy，《实代数几何》，收录于《数学与格伦茨盖比特的Ergebnisse der Mathematik and ihrer Grenzgebiete》，第3页。文件夹\（/\）·Zbl 0912.14023号
[7] 布罗茨基，A。；Jaffar，J。；Maher，M.J.，走向实用约束数据库，约束，2279-304（1997）·Zbl 0889.68045号
[8] A.Brodsky，Y.Kornatzky，《LyriC语言：查询约束对象》，载于《ACM SIGMOD国际数据管理会议论文集》（加州圣何塞），M.J.Carey和D.A.Schneider编辑，1995年，第35-46页；也是SIGMOD记录24（1995）。；A.Brodsky，Y.Kornatzky，《LyriC语言：查询约束对象》，载于《ACM SIGMOD国际数据管理会议论文集》（加州圣何塞），M.J.Carey和D.A.Schneider编辑，1995年，第35-46页；也是SIGMOD记录24（1995）。
[9] 拜恩，J.-H。；Revesz，P.，带集合的DISCOa约束数据库系统，（Kuper，G.；Wallace，M.，约束数据库和应用程序程序研讨会，Friedrichshafen，德国，计算机科学讲稿，第1034卷（1996），Springer:Springer-Berlin），68-83
[10] 钱德拉，A。；Harel，D.，关系数据库系统的可计算查询，J.Compute。系统科学。，21, 156-178 (1980) ·Zbl 0456.68128号
[11] J.Chomicki，D.Q.Goldin，G.M.Kuper，《变量独立性和聚合闭合》，摘自《Proc。第15届ACM SIGACT-SIGMOD-SIGART交响乐团。《数据库系统原理》，加拿大蒙特利尔，1996年，第40-48页。；J.Chomicki，D.Q.Goldin，G.M.Kuper，《变量独立性和聚合闭合》，摘自《Proc。第15届ACM SIGACT-SIGMOD-SIGART交响乐团。《数据库系统原理》，加拿大蒙特利尔，1996年，第40-48页。
[12] 克莱门蒂尼，E。；Di Felice，P。；van Oosterom，P.，《适合终端用户交互的一组形式拓扑关系》（Abel，D.；Ooi，B.C.，《空间数据库进展》，第三届国际大型空间数据库研讨会，计算机科学讲稿，第692卷（1993），施普林格：施普林格柏林），277-295
[13] F.Dumortier，M.Gyssens，L.Vandeurzen，D.Van Gucht，《关于半代数集的半线性可判定性及其对空间数据库的影响》，J.Compute。系统科学。58 (1999) 535-571.; F.Dumortier，M.Gyssens，L.Vandeurzen，D.Van Gucht，《关于半代数集的半线性可判定性及其对空间数据库的影响》，J.Compute。系统科学。58 (1999) 535-571. ·Zbl 0939.68027号
[14] Egenhofer，M.J.，二元拓扑关系的形式定义，（Litwin，W.；Schek，H.J.），《数据组织和算法基础程序》，计算机科学讲稿，第367卷（1989），施普林格：施普林格柏林），457-472
[15] Egenhofer，M.J.，《关于二元拓扑关系的推理》，（Günther，O.；Schek，H.-J.，空间数据库进展，超大空间数据库第二交响曲，计算机科学讲稿，第525卷（1991），施普林格：施普林格柏林），143-160
[16] M.J.Egenhofer，《为什么不使用SQL！》！，国际。J.地质。通知。系统，671-85（1992）
[17] Egenhofer，M.J.，空间SQLa查询和表示语言，IEEE Trans。知识数据工程，6，1，86-95（1994）
[18] M.J.Egenhofer，J.Herring，拓扑关系定义的数学框架，收录于：K.Brassel，H.Kishimoto（编辑），Proc。第四国际。交响乐团。关于空间数据处理，瑞士苏黎世，1990年，第803-813页。；M.J.Egenhofer，J.Herring，拓扑关系定义的数学框架，载于：K.Brassel，H.Kishimoto（编辑），Proc。第四国际。交响乐团。《空间数据处理》，瑞士苏黎世，1990年，第803-813页。
[19] Grumbach，S。；Kuper，G.，几何数据上的可追踪递归，（Smolka，G.《约束编程原理与实践国际会议论文集》，计算机科学讲稿，第1330卷（1997年），Springer:Springer-Belins），450-462
[20] S.Grumbach，P.Rigaux，L.Segoufin，复杂空间查询的DEDALE系统，收录于：L.Haas，A.Tiwary（编辑），Proc。ACM SIGMOD国际。《数据管理会议》，西雅图，华盛顿州，1998年，第213-224页；也是SIGMOD记录27（1998）。；S.Grumbach，P.Rigaux，L.Segoufin，复杂空间查询的DEDALE系统，收录于：L.Haas，A.Tiwary（编辑），Proc。ACM SIGMOD国际。《数据管理会议》，西雅图，华盛顿州，1998年，第213-224页；也是SIGMOD记录27（1998）。
[21] S.Grumbach，J.Su，《走向实用约束数据库》。第15届ACM SIGACT-SIGMOD-SIGART交响乐团。《数据库系统原理》，加拿大蒙特利尔，1996年，第28-39页。；S.Grumbach，J.Su，《走向实用约束数据库》。第15届ACM SIGACT-SIGMOD-SIGART研讨会。《数据库系统原理》，加拿大蒙特利尔，1996年，第28-39页。
[22] S.Grumbach，J.Su，C.Tollu，线性约束查询语言：表达能力和复杂性，收录于：D.Leivant（Ed.），Proc。逻辑和计算复杂性研讨会，印第安纳波利斯，印第安纳州，1994年。；S.Grumbach，J.Su，C.Tollu，线性约束查询语言：表达能力和复杂性，收录于：D.Leivant（Ed.），Proc。逻辑和计算复杂性研讨会，印第安纳波利斯，印第安纳州，1994年。
[23] O.Günther（Ed.），《几何数据管理的有效结构》，载于《计算机科学讲义》，第337卷，施普林格出版社，柏林，1988年。；O.Günther（Ed.），《几何数据管理的有效结构》，载于《计算机科学讲义》，第337卷，施普林格出版社，柏林，1988年·Zbl 0662.68018号
[24] Günther，O.，空间数据库中的研究问题，SIGMOD记录，19，4，61-68（1990）
[25] Güting，R.H.，几何数据库系统的地理相关代数模型和查询语言，（Schmidt，J.W.；Ceri，S.；Missikoff，M.，《数据库技术进展-EDBT'88》，《关于扩展数据库技术的国际会议程序》，意大利威尼斯，《计算机科学讲义》，第303卷（1988），施普林格：施普林格柏林），506-527
[26] R.H.Güting，GRAL：用于几何应用的可扩展关系数据库系统，见Proc。第15届国际。《超大数据库会议》，荷兰阿姆斯特丹，1989年，第33-44页。；R.H.Güting，GRAL：用于几何应用的可扩展关系数据库系统，见Proc。第15届国际。《超大数据库会议》，荷兰阿姆斯特丹，1989年，第33-44页。
[27] Güting，R.H.，空间数据库系统简介，VLDB J.，3，4，357-399（1994）
[28] Güting，R.H。；de Ridder，T。；Schneider，M.，基于领域的空间数据类型的ROSE代数有效算法的实现，（Egenhofer，M.J.；Herring，J.R.，空间数据库进展，Proc.4th Internat.Symp.on Large spatial Databases，计算机科学讲义，第951卷（1995），施普林格：施普林格柏林），216-239
[29] R.H.Güting，M.Schneider，《领域：数据库系统中空间数据类型的基础》，Proc。第三国际。《超大数据库会议》，新加坡，1993年，第14-35页。；R.H.Güting，M.Schneider，《领域：数据库系统中空间数据类型的基础》，Proc。第三国际。《超大数据库会议》，新加坡，1993年，第14-35页。
[30] Gyssens，M。；Van den Bussche，J。；Van Gucht，D.，《完全几何查询语言》，J.Compute。系统科学。，58, 483-511 (1999) ·Zbl 0939.68026号
[31] 船体，R。；Yap，C.K.，格式模型，数据库组织理论，J.ACM，31，3，518-537（1984）·Zbl 0629.68098号
[32] Kanellakis，P.C。；Goldin，D.Q.，《约束编程和数据库查询语言》，（Hagiya，M.；Mitchell，J.C.，《计算机软件理论方面的第二届会议论文集》，日本仙台，《计算机科学讲义》，第789卷（1994），Springer:Springer Berlin），96-120·Zbl 0942.68555号
[33] Kanellakis，P.C。；库珀，G.M。；Revesz，P.Z.，约束查询语言，J.Compute。系统科学。，51，26-52（1995年）
[34] Kemper，A。；Wallrath，M.，数据库系统中的几何建模分析，计算。调查。，19, 47-91 (1987)
[35] Kuper，G.，《关于带算术约束的关系演算的表达能力》，（Abiteboul，S.；Kanellakis，P.C.，Proc.3rd Internat.Conf.On Database Theory，Paris，France，《计算机科学讲义》，Vol.470（1990），Springer:Springer Berlin），202-211·Zbl 0789.68033号
[36] J.L.Lassez，《查询约束》。第九届ACM SIGACT-SIGMOD-SIGART交响乐团。《数据库系统原理》，田纳西州纳什维尔，1990年，第288-298页。；J.L.Lassez，《查询约束》。第九届ACM SIGACT-SIGMOD-SIGART交响乐团。《数据库系统原理》，田纳西州纳什维尔，1990年，第288-298页。
[37] Medeiros，C.B。；Pires，F.，GIS数据库，SIGMOD记录，23107-115（1994）
[38] J.Nievergelt，M.Freeston（编辑），空间数据专刊，计算。《J·37》（1994年）。；J.Nievergelt，M.Freeston（编辑），空间数据专刊，计算。《J.37》（1994年）。
[39] Paredaens，J.，《空间数据库，最后的前沿》（Gottlob，G.；Vardi，M.Y.，Proc.5th Internat.Conf.on Database Theory，Prague，Czech Republic，计算机科学讲义，第893卷（1995），Springer:Springer Berlin），14-32
[40] Paredaens，J。；Kuijpers，B。；库珀，G。；Vandeurzen，L.，Euclid，Tarski，and Engeler encompassed，（Cluet，S.；Hull，R.，数据库编程语言，Proc.6th Internat.Workshop，DBPL-6，Estes Park，CO，1997，计算机科学讲义，第1369卷（1998），Springer:Springer Berlin），1-24
[41] J.Paredaens，J.Van den Bussche，D.Van Gucht，《走向空间数据库查询理论》，Proc。第13届ACM SIGACT-SIGMOD-SIGART交响乐团。《数据库系统原理》，明尼阿波利斯，明尼苏达州，1994年，第279-288页。；J.Paredaens，J.Van den Bussche，D.Van Gucht，《走向空间数据库查询理论》，Proc。第13届ACM SIGACT-SIGMOD-SIGART交响乐团。《数据库系统原理》，明尼阿波利斯，明尼苏达州，1994年，第279-288页。
[42] Paredaens，J。；Van den Bussche，J。；Van Gucht，D.，实域上有限结构的一阶查询，SIAM J.Compute，271747-1763（1998）·Zbl 0907.68062号
[43] 皮西诺，N。；右侧雪草。；Elmasri，R。；穆米克，I。；厄兹苏，T。；佩尔尼奇。；Segef，A。；狄奥多利迪斯，B。；U.Dayal，break，Towards a infrastructure for temporal databases，SIGMOD Record，23，35-51（1994）
[44] L.Segoufin，Victor Vianu，《通过拓扑不变量的空间数据库》，收录于Proc。第18届ACM SIGACT-SIGMOD-SIGART交响乐团。《数据库系统原理》，西雅图，华盛顿州，1998年，第89-98页。；L.Segoufin，Victor Vianu，《通过拓扑不变量的空间数据库》，收录于Proc。第18届ACM SIGACT-SIGMOD-SIGART交响乐团。《数据库系统原理》，西雅图，华盛顿州，1998年，第89-98页·Zbl 0963.68058号
[45] Svensson，P。；Huang，L.，用于空间数据分析的GEO-SALa查询语言，（Günther，O.；Schek，H.-J.，《空间数据库进展》，第二届超大空间数据库研讨会论文集，计算机科学讲稿，第525卷（1991），施普林格：施普林格柏林），119-140
[46] Tarski，A.，《初等代数和几何的决策方法》（1951），加州大学出版社：加州大学伯克利分校出版社·Zbl 0044.25102号
[47] Ullman，J.D.，《数据库系统原理》（1982），皮特曼出版社：伦敦皮特曼出版社·Zbl 0558.68078号
[48] Vandeurzen，L。；Gyssens，M。；Van Gucht，D.，《线性空间查询语言的可取性和局限性》，（Egenhofer，M.J.；Herring，J.R.，《空间数据库的进展》，第四届国际大型空间数据库研讨会，计算机科学讲稿，第951卷（1995），施普林格：施普林格柏林），14-28·Zbl 0974.68045号
[49] 范德岑，L。；Gyssens，M。；Van Gucht，D.，《关于可定义多项式约束的线性查询的查询语言》，（弗洛伊德，E.C.，《约束编程原理与实践国际会议论文集》，计算机科学讲义，第1118卷（1996），施普林格：施普林格-柏林），468-481
[50] L.Vandeurzen，M.Gyssens，D.Van Gucht，线性空间数据库查询的表达语言，收录于Proc。第18届ACM SIGACT-SIGMOD-SIGART交响乐团。《数据库系统原理》，西雅图，华盛顿州，1998年，第109-118页。；L.Vandeurzen，M.Gyssens，D.Van Gucht，线性空间数据库查询的表达语言，收录于Proc。第18届ACM SIGACT-SIGMOD-SIGART交响乐团。《数据库系统原理》，西雅图，华盛顿州，1998年，第109-118页·Zbl 1076.68026号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。