English
Related papers

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

200 papers

Separate programming models for data transformation (declarative) and computation (procedural) impact programmer ergonomics, code reusability and database efficiency. To eliminate the necessity for two models or paradigms, we propose a…

Databases · Computer Science 2023-11-09 David Robert Pratten , Luke Mathieson

In this paper we describe a new approach to data modelling called the concept-oriented model (CoM). This model is based on the formalism of nested ordered sets which uses inclusion relation to produce hierarchical structure of sets and…

Databases · Computer Science 2008-01-03 Alexandr Savinov

We introduce MemoriesDB, a unified data architecture designed to avoid decoherence across time, meaning, and relation in long-term computational memory. Each memory is a time-semantic-relational entity-a structure that simultaneously…

Databases · Computer Science 2025-11-11 Joel Ward

Unstructured enterprise data such as reports, manuals and guidelines often contain tables. The traditional way of integrating data from these tables is through a two-step process of table detection/extraction and mapping the table layouts…

Databases · Computer Science 2019-11-22 Mustafa Canim , Cristina Cornelio , Arun Iyengar , Ryan Musa , Mariano Rodrigez Muro

Views on RDF datasets have been discussed in several works, nevertheless there is no consensus on their definition nor the requirements they should fulfill. In traditional data management systems, views have proved to be useful in different…

Databases · Computer Science 2012-11-02 Lorena Etcheverry , Alejandro A. Vaisman

This paper investigates modal type theories by using a new categorical semantics called change-of-base semantics. Change-of-base semantics is novel in that it is based on (possibly infinitely) iterated enrichment and interpretation of…

Logic in Computer Science · Computer Science 2018-10-26 Yuichi Nishiwaki , Yoshihiko Kakutani , Yuito Murase

Multi-model databases are designed to store, manage, and query data in various models, such as relational, hierarchical, and graph data, simultaneously. In this paper, we provide a theoretical basis for querying categorical databases. We…

Databases · Computer Science 2025-04-15 Jiaheng Lu

We propose a new approach to querying graph databases. Our approach balances competing goals of expressive power, language clarity and computational complexity. A distinctive feature of our approach is the ability to express properties of…

Logic in Computer Science · Computer Science 2023-06-22 Jakub Michaliszyn , Jan Otop , Piotr Wieczorek

This paper presents a method for semantic indexing and describes its application in the field of knowledge representation. Starting point of the semantic indexing is the knowledge represented by concept hierarchies. The goal is to assign…

Artificial Intelligence · Computer Science 2025-01-22 Uwe Petersohn , Sandra Zimmer , Jens Lehmann

Explainability is a longstanding challenge in deep learning, especially in high-stakes domains like healthcare. Common explainability methods highlight image regions that drive an AI model's decision. Humans, however, heavily rely on…

Artificial Intelligence · Computer Science 2023-11-21 Shobhit Agarwal , Yevgeniy R. Semenov , William Lotter

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

Enterprises often maintain multiple databases for storing critical business data in siloed systems, resulting in inefficiencies and challenges with data interoperability. A key to overcoming these challenges lies in integrating disparate…

Databases · Computer Science 2025-11-11 Milena Trajanoska , Riste Stojanov , Dimitar Trajanov

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

Codd's relational model describes just one possible world. To better cope with incomplete information, extended database models allow several possible worlds. Vague tables are one such convenient extended model where attributes accept sets…

Databases · Computer Science 2018-03-01 Antonio Badia , Daniel Lemire

Traditional DBMSs execute user- or application-provided SQL queries over relational data with strong semantic guarantees and advanced query optimization, but writing complex SQL is hard and focuses only on structured tables. Contemporary…

Databases · Computer Science 2025-12-15 Guorui Xiao , Enhao Zhang , Nicole Sullivan , Will Hansen , Magdalena Balazinska

The text-to-SQL task aims to convert natural language into Structured Query Language (SQL) without bias. Recently, text-to-SQL methods based on large language models (LLMs) have garnered significant attention. The core of mainstream…

Databases · Computer Science 2025-02-25 Zeshun You , Jiebin Yao , Dong Cheng , Zhiwei Wen , Zhiliang Lu , Xianyi Shen

Faceted classifications define dimensions for the types of entities included. In effect, the facets provide an "ontological commitment". We compare a faceted thesaurus, the Art and Architecture Thesaurus (AAT), with ontologies derived from…

Digital Libraries · Computer Science 2018-09-26 Robert B. Allen , Jaihyun Park

MatBase is a prototype intelligent data and knowledge base management system based on the Relational, Entity-Relationship, and (Elementary) Mathematical Data Models. The latter distinguishes itself especially by its rich panoply of…

Databases · Computer Science 2025-04-11 Christian Mancas

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…

Logic in Computer Science · Computer Science 2026-05-07 Matthijs Vákár

Graph neural networks (GNNs) are powerful deep learning models for graph-structured data, demonstrating remarkable success across diverse domains. Recently, the database (DB) community has increasingly recognized the potentiality of GNNs,…

Databases · Computer Science 2025-02-20 Ziming Li , Youhuan Li , Yuyu Luo , Guoliang Li , Chuxu Zhang