English
Related papers

Related papers: Functorial Data Migration: From Theory to Practice

200 papers

We study the data transformation capabilities associated with schemas that are presented by directed multi-graphs and path equations. Unlike most approaches which treat graph-based schemas as abbreviations for relational schemas, we treat…

Databases · Computer Science 2015-07-28 David I. Spivak , Ryan Wisnesky

This paper introduces a novel approach to ontology-based robot plan transfer by leveraging functorial data migrations, a structured mapping method derived from category theory. Functors provide structured maps between planning domain…

Robotics · Computer Science 2025-04-15 Angeline Aguinaldo , Evan Patterson , William Regli

In this paper we present a simple database definition language: that of categories and functors. A database schema is a small category and an instance is a set-valued functor on it. We show that morphisms of schemas induce three "data…

Databases · Computer Science 2013-02-05 David I. Spivak

Data integration and migration processes in polystores and multi-model database management systems highly benefit from data and schema transformations. Rigorous modeling of transformations is a complex problem. The data and schema…

Databases · Computer Science 2022-01-14 Valter Uotila , Jiaheng Lu

We introduce functorial language models: a principled way to compute probability distributions over word sequences given a monoidal functor from grammar to meaning. This yields a method for training categorical compositional distributional…

Computation and Language · Computer Science 2021-03-29 Alexis Toumi , Alex Koziell-Pipe

Stock and flow diagrams are already an important tool in epidemiology, but category theory lets us go further and treat these diagrams as mathematical entities in their own right. In this chapter we use communicable disease models created…

Logic in Computer Science · Computer Science 2024-12-12 John C. Baez , Xiaoyan Li , Sophie Libkind , Nathaniel D. Osgood , Eric Redekopp

Categorical Query Language is an open-source query and data integration scripting language that can be applied to common challenges in the field of computational science. We discuss how the structure-preserving nature of CQL data migrations…

Databases · Computer Science 2019-03-27 Kristopher Brown , David I. Spivak , Ryan Wisnesky

Managing stock efficiently remains a core issue in modern logistics, where companies must reconcile cost efficiency with dependable service despite unpredictable market conditions. Conventional models often overlook the direct connection…

Optimization and Control · Mathematics 2026-04-14 Tianxiao Sun , Noah Schwarzkopf

Market simulator tries to create high-quality synthetic financial data that mimics real-world market dynamics, which is crucial for model development and robust assessment. Despite continuous advancements in simulation methodologies, market…

Computational Engineering, Finance, and Science · Computer Science 2025-03-25 Bokai Cao , Xueyuan Lin , Yiyan Qi , Chengjin Xu , Cehao Yang , Jian Guo

In this paper we develop an algebraic approach to data integration by combining techniques from functional programming, category theory, and database theory. In our formalism, database schemas and instances are algebraic (multi-sorted…

Databases · Computer Science 2025-03-31 Patrick Schultz , Ryan Wisnesky

Relational and noSQL storages are developed for the fast processing of the large data sets having a stable structure, while the ontologies are used to rep-resent complex and dynamic sets of information of a limited size. In the in-dustrial…

Databases · Computer Science 2021-03-10 Sergey Gorshkov , Alexander Grebeshkov , Roman Shebalov

The variety of data is one of the important issues in the era of Big Data. The data are naturally organized in different formats and models, including structured data, semi-structured data, and unstructured data. Prior research has…

Databases · Computer Science 2021-09-03 Valter Uotila , Jiaheng Lu , Dieter Gawlick , Zhen Hua Liu , Souripriya Das , Gregory Pogossiants

Simulations offer opportunities in the examination of manufacturing processes. They represent various aspects of the production process and the associated production systems. However, often a single simulation does not suffice to provide a…

Software Engineering · Computer Science 2024-11-26 Jonathan Reif , Tom Jeleniewski , Aljosha Köcher , Tim Frerich , Felix Gehlhoff , Alexander Fay

Feature model are widely used to capture commonalities and variabilities of artefacts in Software Product Line (SPL). Several studies have discussed the formal representation of feature diagram using ontologies with different styles of…

Software Engineering · Computer Science 2017-07-11 Iis Afriyanti , Faiq Miftakhul Falakh , Ade Azurat , Bravyto Takwa

Functional Distributional Semantics is a framework that aims to learn, from text, semantic representations which can be interpreted in terms of truth. Here we make two contributions to this framework. The first is to show how a type of…

Computation and Language · Computer Science 2017-09-04 Guy Emerson , Ann Copestake

This paper summarises a successful application of functional programming within a commercial environment. We report on experience at Accenture's Financial Services Solution Centre in London with simulating an object-oriented financial…

Computational Engineering, Finance, and Science · Computer Science 2020-12-03 Lee Braine , Keith Haviland , Owen Smith-Jaynes , Andy Vautier , Chris Clack

The trajectory patterns of a moving object in a spatio-temporal domain offers varied information in terms of the management of the data generated from the movement. A trajectory data warehouse is a data repository for the data and…

Databases · Computer Science 2019-04-16 Michael Mireku Kwakye

The increasing importance of resource-efficient production entails that manufacturing companies have to create a more dynamic production environment, with flexible manufacturing machines and processes. To fully utilize this potential of…

Artificial Intelligence · Computer Science 2021-11-29 Anna Himmelhuber , Stephan Grimm , Thomas Runkler , Sonja Zillner

This thesis develops the translation between category theory and computational linguistics as a foundation for natural language processing. The three chapters deal with syntax, semantics and pragmatics. First, string diagrams provide a…

Computation and Language · Computer Science 2022-12-14 Giovanni de Felice

Functional Distributional Semantics is a recently proposed framework for learning distributional semantics that provides linguistic interpretability. It models the meaning of a word as a binary classifier rather than a numerical vector. In…

Computation and Language · Computer Science 2022-04-25 Yinhong Liu , Guy Emerson
‹ Prev 1 2 3 10 Next ›