本論文では、知識表現とデータベースの二つの側面を持つカテゴリー理論について説明する。
まず、知識表現の側面では、二重カテゴリーの関係を用いて、個人や概念、属性、事実などを柔軟に表現できることを示す。関数と関係の両方を一級市民として扱え、命題や判断も表現できる。また、タビュレーターを使うことで、新しい型を作り出すこともできる。
次に、データクエリの側面では、二重カテゴリーの関係に内在する操作(制限、拡張、局所積)を使ってクエリを表現できることを示す。選択、フィルタリング、内部結合などのリレーショナル代数の基本操作が、二重関手意味論として自然に捉えられる。
全体として、二重カテゴリーの関係は知識表現とデータクエリの両面で強力な表現力を持つことが分かる。関数と関係の両方を一級市民として扱え、命題や判断も表現できるため、従来のアプローチよりも柔軟で表現力のある言語となっている。
To Another Language
from source content
arxiv.org
Viktige innsikter hentet fra
by Michael Lamb... klokken arxiv.org 04-01-2024
https://arxiv.org/pdf/2403.19884.pdfDypere Spørsmål