本論文は、基本数学データモデル((E)MDM)の現行バージョンを紹介している。
(E)MDMは、集合論、関数論、および等式を含む一階述語論理に基づいている。多くの実例が、4種類の集合、4種類の関数、76種類の制約を示している。この豊富な制約の種類が、このモデルの主要な強みであり、データベースに格納されるデータの最高レベルの構文的データ品質を保証している。
論文では、(E)MDMのスキーマ例を示し、一部の一般的な家系ツールソフトウェアと比較している。(E)MDMスキーマは、そのような不合理なデータを拒否するが、一般的なツールは、そのようなデータを受け入れてしまう。
関連研究では、(E)MDMの制約集合の一貫性と最小性を保証するアルゴリズム、(E)MDMを使用したRDMおよび一階述語論理の建物化、MatBaseインテリジェントデータ管理システムプロトタイプ、(E)MDM制約タイプの検出および実施アルゴリズム、(E)MDMとその他のデータモデリングアプローチとの関係などが紹介されている。
Til et annet språk
fra kildeinnhold
arxiv.org
Viktige innsikter hentet fra
by Christian Ma... klokken arxiv.org 09-10-2024
https://arxiv.org/pdf/2408.08367.pdfDypere Spørsmål