English
Related papers

Related papers: Modular Path Queries with Arithmetic

200 papers

The search is based on the preliminary transformation of matrices or adjacency lists traditionally used in the study of graphs into projections cleared of redundant information (refined) followed by the selection of the desired shortest…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-16 V. A. Melent'ev

Motivated by old and new applications, we investigate Datalog as a language for sequence databases. We reconsider classical features of Datalog programs, such as negation, recursion, intermediate predicates, and relations of higher arities.…

Databases · Computer Science 2022-06-15 Heba Aamer , Jan Hidders , Jan Paredaens , Jan Van den Bussche

With the rapid growth of large graphs, we cannot assume that graphs can still be fully loaded into memory, thus the disk-based graph operation is inevitable. In this paper, we take the shortest path discovery as an example to investigate…

Databases · Computer Science 2012-01-04 Jun Gao , Ruoming Jin , Jiashuai Zhou , Jeffrey Xu Yu , Xiao Jiang , Tengjiao Wang

Discovering valuable insights from data through meaningful associations is a crucial task. However, it becomes challenging when trying to identify representative patterns in quantitative databases, especially with large datasets, as…

Databases · Computer Science 2024-10-31 Lamine Diop , Marc Plantevit

Many real-world applications operate on dynamic graphs that undergo rapid changes in their topological structure over time. However, it is challenging to design dynamic algorithms that are capable of supporting such graph changes…

Databases · Computer Science 2022-04-26 Muhammad Farhan , Qing Wang , Henning Koehler

Methods for query answering over incomplete knowledge graphs retrieve entities that are likely to be answers, which is particularly useful when such answers cannot be reached by direct graph traversal due to missing edges. However, existing…

Artificial Intelligence · Computer Science 2026-05-25 Daniel Daza , Alberto Bernardi , Luca Costabello , Christophe Gueret , Masoud Mansoury , Michael Cochez , Martijn Schut

In this paper we explore how machine learning techniques can be applied to the discovery of efficient mathematical identities. We introduce an attribute grammar framework for representing symbolic expressions. Given a set of grammar rules…

Machine Learning · Computer Science 2014-11-07 Wojciech Zaremba , Karol Kurach , Rob Fergus

Binary relations are one of the standard ways to encode, characterise and reason about graphs. Relation algebras provide equational axioms for a large fragment of the calculus of binary relations. Although relations are standard tools in…

Logic in Computer Science · Computer Science 2018-12-18 Rudolf Berghammer , Hitoshi Furusawa , Walter Guttmann , Peter Höfner

The advancement of mobile technologies and the proliferation of map-based applications have enabled a user to access a wide variety of services that range from information queries to navigation systems. Due to the popularity of map-based…

Databases · Computer Science 2020-04-24 Hossain Mahmud , Ashfaq Mahmood Amin , Mohammed Eunus Ali , Tanzima Hashem

In graph theory and its practical networking applications, e.g., telecommunications and transportation, the problem of finding paths has particular importance. Selecting paths requires giving scores to the alternative solutions to drive a…

Networking and Internet Architecture · Computer Science 2025-11-10 Giovanni Fiaschi , Carlo Vitucci , Thomas Westerbäck , Daniel Sundmark , Thomas Nolte

Since long, corporations are looking for knowledge sources which can provide structured description of data and can focus on meaning and shared understanding. Structures which can facilitate open world assumptions and can be flexible enough…

Artificial Intelligence · Computer Science 2014-03-31 Iti Mathur , Nisheeth Joshi , Hemant Darbari , Ajai Kumar

These course notes are about computing modular forms and some of their arithmetic properties. Their aim is to explain and prove the modular symbols algorithm in as elementary and as explicit terms as possible, and to enable the devoted…

Number Theory · Mathematics 2018-09-14 Gabor Wiese

We propose a novel database model whose basic structure is a labeled, directed, acyclic graph with a single root, in which the nodes represent the data sets of an application and the edges represent functional relationships among the data…

Databases · Computer Science 2024-07-01 Nicolas Spyratos

Patents provide a rich source of information about design innovations. Patent mining techniques employ various technologies, such as text mining, machine learning, natural language processing, and ontology-building techniques. An automated…

Databases · Computer Science 2024-02-05 Manal E. Helal , Mohammed E. Helal

Graph data models are widely used in many areas, for example, bioinformatics, graph databases. In these areas, it is often required to process queries for large graphs. Some of the most common graph queries are navigational queries. The…

Databases · Computer Science 2023-02-21 Rustam Azimov , Semyon Grigorev

Empirical data plays an important role in evolutionary computation research. To make better use of the available data, ontologies have been proposed in the literature to organize their storage in a structured way. However, the full…

Neural and Evolutionary Computing · Computer Science 2023-01-25 Ana Kostovska , Diederick Vermetten , Sašo Džeroski , Panče Panov , Tome Eftimov , Carola Doerr

Ontologies represent the conceptual knowledge of a domain. At the core of an ontology is the taxonomy of concepts and subconcepts that represent specific entities, which can be complex to build. In many cases, information is available in…

Artificial Intelligence · Computer Science 2026-05-26 Mathieu d'Aquin

We study path-based graph queries that, in addition to navigation through edges, also perform navigation through time. This allows asking questions about the dynamics of networks, like traffic movement, cause-effect relationships, or the…

Databases · Computer Science 2025-07-31 Muhammad Adnan , Diego Calvanese , Julien Corman , Anton Dignös , Werner Nutt , Ognjen Savković

Graph databases (GDB) have recently been arisen to overcome the limits of traditional databases for storing and managing data with graph-like structure. Today, they represent a requirement for many applications that manage graph-like data,…

Databases · Computer Science 2016-09-08 Ali Ben Ammar

Modern graph or network datasets often contain rich structure that goes beyond simple pairwise connections between nodes. This calls for complex representations that can capture, for instance, edges of different types as well as so-called…

Social and Information Networks · Computer Science 2020-02-19 Ilya Amburg , Nate Veldt , Austin R. Benson