A Type-theoretic Approach to Cloud Data Integration

  title={A Type-theoretic Approach to Cloud Data Integration},
  author={P. Shapkin and Gregory Pomadchin},
We propose an architecture that helps to integrate data accessible via cloud application APIs. The central part of the platform is the domain ontology which is based on type theory. Typing is used to automate the building of integration solutions as well as for automatic verification of program code and compatibility between 
A Dynamic Editor of Typed Data Transformations
This paper presents tools aimed at automating the data integration process between different SaaS-applications and proposes a solution based on type theory and describes an approach to automated transformation construction in form of typed functions. Expand
Type-theoretic Means for Querying Heterogeneous Data Sources Available via Cloud APIs
A unified approach for querying data sources which are accessible in form of heterogeneous APIs rather than some standards compliant databases is proposed and a special set of query expansion rules was developed. Expand
Adding agility to Enterprise Process and Data Engineering
Managing development of large and complex enterprise architectures is a key problem in enterprise engineering. Nowadays one of the breathtaking topics considering enterprise context is real-timeExpand


A translation approach to portable ontology specifications
This paper describes a mechanism for defining ontologies that are portable over representation systems, basing Ontolingua itself on an ontology of domain-independent, representational idioms. Expand
An Overview of the Scala Programming Language
This paper gives an overview of the Scala language for readers who are familar with programming methods and programming language design. Expand
A Survey of Extract-Transform-Load Technology
This survey covers the conceptual and logical modeling of ETL processes, along with some design methods, and visits each stage of the E-T-L triplet, and examines problems that fall within each of these stages. Expand
Coercive Subtyping
This approach, subtyping with speciied implicit coercions is treated as a feature at the level of the logical framework; in particular, the meaning of an object being in a supertype is given by coercive deenition rules for the deenitional equality. Expand
Combinatory logic in programming
  • 2003
Introduction to Functional Programming