Conceitos essenciais
MatBaseは存在と非存在制約を自動生成し、コード化する。
Resumo
存在制約はRDMで定義され、商用RDBMSはNOT NULLのみ提供。
(E)MDMは数学的DBスキームに存在制約を含む。
MatBaseはGUIフォームを提供し、違反がない場合に自動的にコードを生成する。
アルゴリズムA1は最小限のステートメントでタスクを実行する。
Estatísticas
商用RDBMSはNOT NULLだけを提供しています。
(E)MDMでは、存在と非存在制約が拡張されています。
Citações
"Commercial RDBMSes only provide their NOT NULL particular case, leaving the enforcement of the general case to software developers."
"MatBase, an intelligent data and knowledge management system prototype, provides users with a GUI form to declare them, and automatically generates code for their enforcement."