是否有任何现成的XML模式用于建模有限代数结构,如有限环,有限群,有限域等?或者我应该考虑OpenMath?我发现没有明确且用户友好的资源描述如何建模有限的组结构,比如说,作为XML模式。
通常,对于诸如发布到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数据库是否会更快。
答案 0 :(得分:1)
关于你的第一个问题,答案是否定的,因为在这个领域只有大量的学术作品,而且很难获得它们。有一次我遇到这样的问题,我很难找到值得的东西。但是正如您所知,XML Schema是无上下文语法,因此语法指定的语言可以被有限状态自动机接受,因此通过XML Schema实现某些代数结构并不困难。当我在语义Web上做一些研究时,我也对这个主题感兴趣,并且可以说它上面的材料并不多。您可以阅读本文以获取最常见的信息http://csconf.org/Volume2/page405.pdf
OpenMath是一种用于此目的的糟糕语言,您最好自己动手。 关于第二个问题,互联网上有很多材料。但最常见的 - 你无法比较这些数据库,它们是完全不同的。但我可以建议你将XML DB与关系数据库集成(存在常见的映射方式 - 你可以将这些实验项目看作X-Ray