代数性质图
Algebraic Property Graphs
摘要：
我们提出了一个应用范畴理论的案例研究，从一个应用领域的角度写的：在企业设置中使用基本结构的类型论和范畴理论，包括限制和co-limit草图的形式化的广泛使用的属性图数据模型。观察到代数数据类型是我们在实践中处理的大多数企业模式语言的共同基础，对于图数据或其他，我们引入了代数属性图的类型论，其中类型表示函数编程意义上的代数数据类型和数据库理论意义上的联合E/R图。我们还提供了理论基础，图转换沿模式映射的语义一致性的建设保证。我们的数据模型起源于Uber开发的数据集成工具包的形式化，该工具包沿着数据交换语言（如Apache Avro，Apache Thrift和Protocol Buffers）与图形语言（包括具有OWL或基于SHACL的模式的RDF）之间的可组合映射携带数据和模式。
英文摘要：
We present a case study in applied category theory written from the point of view of an applied domain: the formalization of the widely-used property graphs data model in an enterprise setting using elementary constructions from type theory and category theory, including limit and co-limit sketches. Observing that algebraic data types are a common foundation of most of the enterprise schema languages we deal with in practice, for graph data or otherwise, we introduce a type theory for algebraic property graphs wherein the types denote both algebraic data types in the sense of functional programming and join-union E/R diagrams in the sense of database theory. We also provide theoretical foundations for graph transformation along schema mappings with by-construction guarantees of semantic consistency. Our data model originated as a formalization of a data integration toolkit developed at Uber which carries data and schemas along composable mappings between data interchange languages such as Apache Avro, Apache Thrift, and Protocol Buffers, and graph languages including RDF with OWL or SHACL-based schemas.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
