English
Related papers

Related papers: Iteration Algebras for UnQL Graphs and Completenes…

200 papers

In-context learning (ICL) enhances large language models (LLMs) by incorporating demonstration examples, yet its effectiveness heavily depends on the quality of selected examples. Current methods typically use text embeddings to measure…

Artificial Intelligence · Computer Science 2025-12-02 Jiale Fu , Yaqing Wang , Simeng Han , Jiaming Fan , Xu Yang

Graph database systems store graph data as nodes and relationships, and utilize graph query languages (e.g., Cypher) for efficiently querying graph data. Proving the equivalence of graph queries is an important foundation for optimizing…

Databases · Computer Science 2025-04-23 Lei Tang , Wensheng Dou , Yingying Zheng , Lijie Xu , Wei Wang , Jun Wei , Tao Huang

We propose STRuCT-LLM, a unified framework for training large language models (LLMs) to perform structured reasoning over both relational and graph-structured data. Our approach jointly optimizes Text-to-SQL and Text-to-Cypher tasks using…

Computation and Language · Computer Science 2025-06-30 Josefa Lia Stoisser , Marc Boubnovski Martell , Lawrence Phillips , Casper Hansen , Julien Fauqueur

This paper introduces U-relations, a succinct and purely relational representation system for uncertain databases. U-relations support attribute-level uncertainty using vertical partitioning. If we consider positive relational algebra…

Databases · Computer Science 2007-07-12 Lyublena Antova , Thomas Jansen , Christoph Koch , Dan Olteanu

We present a form of algebraic reasoning for computational objects which are expressed as graphs. Edges describe the flow of data between primitive operations which are represented by vertices. These graphs have an interface made of…

Logic in Computer Science · Computer Science 2010-07-23 Lucas Dixon , Ross Duncan , Aleks Kissinger

The class of 2-interval graphs has been introduced for modelling scheduling and allocation problems, and more recently for specific bioinformatic problems. Some of those applications imply restrictions on the 2-interval graphs, and justify…

Discrete Mathematics · Computer Science 2008-02-04 Philippe Gambette , Stéphane Vialette

We formulate an XAI-based model improvement approach for Graph Neural Networks (GNNs) for node classification, called Explanation Enhanced Graph Learning (EEGL). The goal is to improve predictive performance of GNN using explanations. EEGL…

Machine Learning · Computer Science 2024-03-13 Harish G. Naik , Jan Polster , Raj Shekhar , Tamás Horváth , György Turán

This article deals with OLAP systems based on multidimensional model. The conceptual model we provide, represents data through a constellation (multi-facts) composed of several multi-hierarchy dimensions. In this model, data are displayed…

Databases · Computer Science 2010-05-20 Franck Ravat , Olivier Teste , Gilles Zurfluh

Graph clustering is a fundamental technique in data analysis with applications in many different fields. While there is a large body of work on clustering undirected graphs, the problem of clustering directed graphs is much less understood.…

Physics and Society · Physics 2025-01-31 James Martin , Tim Rogers , Luca Zanetti

Graph-based design languages in UML (Unified Modeling Language) are presented as a method to encode and automate the complete design process and the final optimization of the product or complex system. A design language consists of a…

Software Engineering · Computer Science 2018-05-24 Samuel Vogel , Stephan Rudolph

In the last few decades, Database Management Systems (DBMSs) became powerful tools for storing large amount of data and executing complex queries over them. In the recent years, the growing amount of unstructured or semi-structured data has…

Social and Information Networks · Computer Science 2022-10-31 Andi Ferhati

Disconnected data silos within enterprises obstruct the extraction of actionable insights, diminishing efficiency in areas such as product development, client engagement, meeting preparation, and analytics-driven decision-making. This paper…

Artificial Intelligence · Computer Science 2025-03-12 Rajeev Kumar , Kumar Ishan , Harishankar Kumar , Abhinandan Singla

The bipartition polynomial of a graph is a generalization of many other graph polynomials, including the domination, Ising, matching, independence, cut, and Euler polynomial. We show in this paper that it is also a powerful tool for proving…

Combinatorics · Mathematics 2017-02-14 Seongmin Ok , Peter Tittmann

In the analysis of real-world data, extracting meaningful features from signals is a crucial task. This is particularly challenging when signals contain non-stationary frequency components. The Iterative Filtering (IF) method has proven to…

Numerical Analysis · Mathematics 2026-04-01 Giuseppe Scarlato , Antonio Cicone , Marco Donatelli

Pioneered by Google's Pregel, many distributed systems have been developed for large-scale graph analytics. These systems expose the user-friendly "think like a vertex" programming interface to users, and exhibit good horizontal…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-01-26 Da Yan , James Cheng , M. Tamer Özsu , Fan Yang , Yi Lu , John C. S. Lui , Qizhen Zhang , Wilfred Ng

We extend the notion of anti-unification to cover equational theories and present a method based on regular tree grammars to compute a finite representation of E-generalization sets. We present a framework to combine Inductive Logic…

Logic in Computer Science · Computer Science 2017-09-05 Jochen Burghardt

Combining multiple knowledge graphs (KGs) across linguistic boundaries is a persistent challenge due to semantic heterogeneity and the complexity of graph environments. We propose a framework for cross-lingual graph fusion, leveraging the…

Computation and Language · Computer Science 2026-03-24 Kaung Myat Kyaw , Khush Agarwal , Jonathan Chan

The GraphAlg domain-specific language for graph algorithms enables user-defined algorithms in graph databases. In this work we show how GraphAlg is built on top of the formal MATLANG language for matrix manipulation. Starting from MATLANG,…

Databases · Computer Science 2026-04-14 Daan de Graaf , Robert Brijder , Nikolay Yakovets

The development of practical query languages for graph databases runs well ahead of the underlying theory. The ISO committee in charge of database query languages is currently developing a new standard called Graph Query Language (GQL) as…

Notions of guardedness serve to delineate admissible recursive definitions in various settings in a compositional manner. In recent work, we have introduced an axiomatic notion of guardedness in symmetric monoidal categories, which serves…

Logic in Computer Science · Computer Science 2021-05-25 Sergey Goncharov , Christoph Rauch , Lutz Schröder