本論文は、基本数学データモデル((E)MDM)の現行バージョンを紹介している。
(E)MDMは、集合論、関数論、および等式を含む一階述語論理に基づいている。多くの実例が、4種類の集合、4種類の関数、76種類の制約を示している。この豊富な制約の種類が、このモデルの主要な強みであり、データベースに格納されるデータの最高レベルの構文的データ品質を保証している。
論文では、(E)MDMのスキーマ例を示し、一部の一般的な家系ツールソフトウェアと比較している。(E)MDMスキーマは、そのような不合理なデータを拒否するが、一般的なツールは、そのようなデータを受け入れてしまう。
関連研究では、(E)MDMの制約集合の一貫性と最小性を保証するアルゴリズム、(E)MDMを使用したRDMおよび一階述語論理の建物化、MatBaseインテリジェントデータ管理システムプロトタイプ、(E)MDM制約タイプの検出および実施アルゴリズム、(E)MDMとその他のデータモデリングアプローチとの関係などが紹介されている。
Іншою мовою
із вихідного контенту
arxiv.org
Ключові висновки, отримані з
by Christian Ma... о arxiv.org 09-10-2024
https://arxiv.org/pdf/2408.08367.pdfГлибші Запити