SpExoDisksは、太陽系外惑星形成円盤の赤外線スペクトルを収集・公開するデータベースポータルであり、天文学の特定の分野におけるデータアクセスと分析を向上させることを目的としている。
本論文は、基本数学データモデル((E)MDM)の現行バージョンを提示し、その76種類の制約タイプを紹介する。これらの制約は、データベースに格納されるデータの妥当性を保証する主要な強みである。
MatBaseは存在と非存在制約を自動生成し、コード化する。