Algebraic Model Management: A Survey
We survey the field of model management and describe a new model management approach based on algebraic specification.
Source author record
Patrick Schultz
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
4works
4topics
3close collaborators
Published work
4 publications
preprint2015arXiv
Functorial Data Migration: From Theory to Practice
In this paper we describe a functorial data migration scenario about the manufacturing service capability of a distributed supply chain. The scenario is a category-theoretic analog of an OWL ontology-based semantic enrichment scenario developed at the National Institute of Standards and Technology (NIST). The scenario is presented using, and is included with, the open-source FQL tool, available for download at categoricaldata.net/fql.html.
Open access
preprint2015arXiv
QINL: Query-integrated Languages
We describe an alternative solution to the impedance-mismatch problem between programming and query languages: rather than embed queries in a programming language, as done in LINQ systems, we embed programs in a query language, and dub the result QINL.
Open access
preprint2015arXiv
Regular and exact (virtual) double categories
We propose definitions of regular and exact (virtual) double categories, proving a number of results which parallel many basic results in the theory of regular and exact categories. We show that any regular virtual double category admits a factorization system which generalizes the factorization of a functor between categories into a bijective-on-objects functor followed by a fully-faithful functor. Finally, we show that our definition of exact double category is equivalent to an axiom proposed by Wood, and very closely related to the "tight Kleisli objects" studied by Garner and Shulman.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.