XML-схемы для моделирования конечных алгебраических структур и подструктур - PullRequest
1 голос
/ 06 ноября 2011
  1. Существуют ли какие-либо готовые схемы XML для моделирования конечных алгебраических структур, таких как конечные кольца, конечные группы, конечные поля и т. Д.?Или мне стоит подумать об OpenMath?Я не нашел ни одного понятного и удобного для пользователя ресурса, который бы описывал, как моделировать структуру конечной группы, скажем, в виде схемы XML.

  2. В общем, какой из следующих типовбаз данных быстрее, в принципе, для таких приложений, как публикация в Интернете: реляционные базы данных, собственные базы данных XML, объектно-ориентированные базы данных?В частности, знает ли кто-нибудь, кто знаком с собственной системой баз данных BaseX XML, ее сравнение с реляционными базами данных?

В контексте этого вопроса у меня есть большой и все более неуправляемый набор данныхиз примерно 48000 «записей», содержащих информацию о некоторых подструктурах множества внутри конечных групп.Фактически, эти подструктуры являются тройками (S, T, U) непустых подмножеств S, T, U группы G, скажем, с определяющим свойством, которое называется TPP.Я также упомяну, что этот набор данных был скомпилирован из результатов программы поиска, написанной в системе компьютерной алгебры групп, алгоритмов и программирования (GAP).Теперь каждая запись по сути является информационной записью о тройке TPP с указанием (1) имени группы и некоторых ключевых атрибутов группы, таких как, скажем, простая она или абелева и т. Д. (2) именаили идентификаторы GAP для элементов, составляющих каждого члена тройки, (3) и некоторую числовую информацию о тройке, такую ​​как «размер», «шаблон мощности» и т. д. Я хочу написать схему XML, которая фиксирует структуру этой тройки TPPзапись, так что я могу хранить каждую тройную запись TPP как документ XML, ограниченный схемой, и вводить записи в базу данных XML, такую ​​как BaseX.

Очевидно, я думал о реляционной базе данных для этой цели.Но мне было интересно, можно ли быстрее использовать собственную базу данных XML, такую ​​как BaseX.

1 Ответ

1 голос
/ 30 октября 2012

Относительно вашего первого вопроса ответ - нет, потому что в этой области есть только академические работы, и к ним трудно получить доступ. Однажды у меня была такая проблема, и мне было трудно найти что-то стоящее. Но, как вы знаете, XML-схема является контекстно-независимой грамматикой, поэтому язык, заданный грамматикой, может быть принят автоматом конечных состояний, и поэтому нетрудно реализовать некоторую алгебраическую структуру через XML-схему. Когда я проводил некоторые исследования в Semantic Web, я также интересовался этой темой и могу сказать, что по ней не так много материала. Вы можете прочитать эту статью для наиболее распространенной информации http://csconf.org/Volume2/page405.pdf

OpenMath - плохой язык для этой цели, и вам лучше сделать это самостоятельно. Что касается второго вопроса, то в Интернете много материала. Но самое распространенное - нельзя сравнивать такие базы данных, они совершенно разные. Но я могу порекомендовать вам интегрировать XML DB с реляционной DB (существуют общие способы отображения - вы можете посмотреть на такие экспериментальные проекты, как X-Ray

...