【问题标题】:XML schemas for modelling finite algebraic structures and substructures用于建模有限代数结构和子结构的 XML 模式
【发布时间】:2012-12-21 09:56:01
【问题描述】:
  1. 是否有任何现成的 XML 模式可用于对有限代数结构(例如有限环、有限群、有限域等)进行建模?还是我应该考虑 OpenMath?我发现没有清晰且用户友好的资源来描述如何将有限组结构建模为 XML 模式。

  2. 一般来说,原则上,对于发布到 Web 等应用程序,以下哪种类型的数据库更快:关系数据库、本机 XML 数据库、面向对象的数据库?尤其是熟悉 BaseX XML 原生数据库系统的人,是否知道它与关系数据库相比如何?

这个问题的背景是,我有一个庞大且越来越难以管理的数据集,其中包含大约 48000 条“记录”,其中包含有关有限群内某些集合子结构的信息。实际上,这些子结构是组 G 的非空子集 S,T,U 的三元组 (S,T,U),例如,具有称为 TPP 的定义属性。我还要提到,这个数据集是根据组、算法和编程 (GAP) 计算机代数系统中编写的搜索程序的输出编译的。现在,每条记录本质上是关于 TPP 三元组的信息记录,说明 (1) 组的名称,以及组的一些关键属性,例如是简单的还是阿贝尔等,(2) 名称或构成三元组每个成员的元素的 GAP 标识符,(3) 以及关于三元组的一些数字信息,例如它的“大小”、“基数模式”等。我想编写一个 XML 模式来捕获这个 TPP 三元组的结构记录,这样我就可以将每个 TPP 三重记录存储为受架构约束的 XML 文档,并将记录输入到像 BaseX 这样的 XML 数据库中。

显然,我为此考虑过使用关系数据库。但我想知道使用像 BaseX 这样的原生 XML 数据库是否会更快。

【问题讨论】:

    标签: xml xsd algebraic-data-types


    【解决方案1】:

    关于您的第一个问题,答案是否定的,因为该领域只有学术著作,很难获得。有一次我遇到了这样的问题,我很难找到有价值的东西。但是正如您所知,XML Schema 是上下文无关语法,因此由语法指定的语言可以被有限状态自动机接受,因此通过 XML Schema 实现一些代数结构并不难。当我对 Semantic Web 进行一些研究时,我也对这个主题很感兴趣,可以说关于它的材料并不多。您可以阅读这篇文章以获取最常见的信息http://csconf.org/Volume2/page405.pdf

    OpenMath 是一种糟糕的语言,您最好自己动手。 关于第二个问题,互联网上有很多资料。但最常见的 - 你不能比较这样的数据库,它们是完全不同的。但我可以建议你将 XML DB 与关系 DB 集成(存在常见的映射方式——你可以看看 X-Ray 之类的实验项目

    【讨论】:

      猜你喜欢
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 2011-02-06
      • 2017-09-01
      • 1970-01-01
      相关资源
      最近更新 更多