English
Related papers

Related papers: DB Category: Denotational Semantics for View-based…

200 papers

In this paper we presented the semantics of database mappings in the relational DB category based on the power-view monad T and monadic algebras. The objects in this category are the database-instances (a database-instance is a set of n-ary…

Databases · Computer Science 2011-02-24 Zoran Majkic

Main contribution of this paper is an investigation of expressive power of the database category DB. An object in this category is a database-instance (set of n-ary relations). Morphisms are not functions but have complex tree structures…

Databases · Computer Science 2011-02-14 Zoran Majkic

The graph database (GDB) is an increasingly common storage model for data involving relationships between entries. Beyond its widespread usage in database industries, the advantages of GDBs indicate a strong potential in constructing…

Databases · Computer Science 2025-11-17 Yanjun Yang , Adrian Wheeldon , Yihan Pan , Themis Prodromakis , Alex Serb

Category theory offers a mathematical foundation for knowledge representation and database systems. Popular existing approaches model a database instance as a functor into the category of sets and functions, or as a 2-functor into the…

Category Theory · Mathematics 2025-09-26 Michael Lambert , Evan Patterson

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

In this paper we present the problem of saturation of a given morphism in the database category DB, which is the base category for the functiorial semantics of the database schema mapping systems used in Data Integration theory. This…

Logic in Computer Science · Computer Science 2014-05-16 Zoran Majkic

Ontology-based data access (OBDA) is a popular approach for integrating and querying multiple data sources by means of a shared ontology. The ontology is linked to the sources using mappings, which assign views over the data to ontology…

Artificial Intelligence · Computer Science 2017-05-22 Charalampos Nikolaou , Egor V. Kostylev , George Konstantinidis , Mark Kaminski , Bernardo Cuenca Grau , Ian Horrocks

In this paper, we define a category DB, called the category of simplicial databases, whose objects are databases and whose morphisms are data-preserving maps. Along the way we give a precise formulation of the category of relational…

Databases · Computer Science 2009-04-15 David I. Spivak

The view and the view update are known mechanism for controlling access of data and for integrating data of different schemas. Despite intensive and long research on them in both the database community and the programming language…

We address the problem of semantic querying of relational databases (RDB) modulo knowledge bases using very expressive knowledge representation formalisms, such as full first-order logic or its various fragments. We propose to use a…

Logic in Computer Science · Computer Science 2009-05-03 Alexandre Riazanov

In this paper we will present the two basic operations for database schemas used in database mapping systems (separation and Data Federation), and we will explain why the functorial semantics for database mappings needed a new base category…

Databases · Computer Science 2011-04-27 Zoran Majkic

In the paper a new approach to data representation and manipulation is described, which is called the concept-oriented data model (CODM). It is supposed that items represent data units, which are stored in concepts. A concept is a…

Databases · Computer Science 2008-01-03 Alexandr Savinov

This paper, the first step to connect relational databases with systems consequence (Kent: "System Consequence" 2009), is concerned with the semantics of relational databases. It aims to to study system consequence in the logical/semantic…

Databases · Computer Science 2012-09-17 Robert E. Kent

In this paper, we introduce a novel approach to deductive databases meant to take into account the needs of current applications in the area of data integration. To this end, we extend the formalism of standard deductive databases to the…

Databases · Computer Science 2021-08-06 Dominique Laurent , Nicolas Spyratos

A significant category of NoSQL approaches is known as graph da-tabases. They are usually represented by one property graph. We introduce a functional approach to modelling relations and property graphs. Single-valued and multivalued…

Databases · Computer Science 2018-09-12 Jaroslav Pokorny

Databases have been studied category-theoretically for decades. The database schema -- whose purpose is to arrange high-level conceptual entities -- is generally modeled as a category or sketch. The data itself, often called an instance, is…

Category Theory · Mathematics 2025-01-20 Patrick Schultz , David I. Spivak , Christina Vasilakopoulou , Ryan Wisnesky

We consider the setting of a Semantic Web database, containing both explicit data encoded in RDF triples, and implicit data, implied by the RDF semantics. Based on a query workload, we address the problem of selecting a set of views to be…

Databases · Computer Science 2011-11-01 François Goasdoué , Konstantinos Karanasos , Julien Leblay , Ioana Manolescu

Most of data on the Web are still stored in relational databases. Therefore, it is more important to make the correspondence between relational databases (RDB) and ontologies for storing the Web data. In this paper, we present an new…

Databases · Computer Science 2021-10-01 Noreddine Gherabi , Khaoula Addakiri , Mohamed Bahaj

In this paper we address an issue that has been brought to the attention of the database community with the advent of the Semantic Web, i.e. the issue of how ontologies (and semantics conveyed by them) can help solving typical database…

Logic in Computer Science · Computer Science 2010-03-15 Francesca A. Lisi

Database schema elements such as tables, views, triggers and functions are typically defined with many interrelationships. In order to support database users in understanding a given schema, a rule-based approach for analyzing the…

Programming Languages · Computer Science 2017-09-19 Christiane Engels , Andreas Behrend , Stefan Brass
‹ Prev 1 2 3 10 Next ›