English
Related papers

Related papers: Database queries and constraints via lifting probl…

200 papers

In this article, we characterize in terms of analytic tableaux the repairs of inconsistent relational databases, that is databases that do not satisfy a given set of integrity constraints. For this purpose we provide closing and opening…

Databases · Computer Science 2007-05-23 Leopoldo Bertossi , Camilla Schwind

Lifting is an efficient technique to scale up graphical models generalized to relational domains by exploiting the underlying symmetries. Concurrently, neural models are continuously expanding from grid-like tensor data into structured…

Machine Learning · Computer Science 2021-01-19 Gustav Sourek , Filip Zelezny , Ondrej Kuzelka

In this paper, we consider the problem of lifted inference in the context of Prism-like probabilistic logic programming languages. Traditional inference in such languages involves the construction of an explanation graph for the query and…

Artificial Intelligence · Computer Science 2016-08-23 Arun Nampally , C. R. Ramakrishnan

Query answering over probabilistic data is an important task but is generally intractable. However, a new approach for this problem has recently been proposed, based on structural decompositions of input databases, following, e.g., tree…

Databases · Computer Science 2019-08-28 Antoine Amarilli , Silviu Maniu , Mikaël Monet

Graph database query languages feature expressive, yet computationally expensive pattern matching capabilities. Answering optional query clauses in SPARQL for instance renders the query evaluation problem immediately Pspace-complete.…

Databases · Computer Science 2018-10-23 Stephan Mennicke , Jan-Christoph Kalo , Denis Nagel , Hermann Kroll , Wolf-Tilo Balke

Constraint-based pattern discovery is at the core of numerous data mining tasks. Patterns are extracted with respect to a given set of constraints (frequency, closedness, size, etc). In the context of sequential pattern mining, a large…

Artificial Intelligence · Computer Science 2013-11-28 Jean-Philippe Métivier , Samir Loudni , Thierry Charnois

Constrained sequential pattern mining aims at identifying frequent patterns on a sequential database of items while observing constraints defined over the item attributes. We introduce novel techniques for constraint-based sequential…

Machine Learning · Computer Science 2019-01-01 Amin Hosseininasab , Willem-Jan van Hoeve , Andre A. Cire

We introduce a general abstract framework for database repairs, where the repair notions are defined using formal logic. We distinguish between integrity constraints and so-called query constraints. The former are used to model consistency…

Databases · Computer Science 2025-03-31 Nicolas Fröhlich , Arne Meier , Nina Pardal , Jonni Virtema

Organisations store huge amounts of data from multiple heterogeneous sources in the form of Knowledge Graphs (KGs). One of the ways to query these KGs is to use SPARQL queries over a database engine. Since SPARQL follows exact match…

Databases · Computer Science 2017-11-22 Madhulika Mohanty , Maya Ramanath , Mohamed Yahya , Gerhard Weikum

New applications of data mining, such as in biology, bioinformatics, or sociology, are faced with large datasetsstructured as graphs. We introduce a novel class of tree-shapedpatterns called tree queries, and present algorithms for…

Databases · Computer Science 2010-08-17 Eveline Hoekx , Jan Van den Bussche

In constraint languages for RDF graphs, such as ShEx and SHACL, constraints on nodes and their properties in RDF graphs are known as "shapes". Schemas in these languages list the various shapes that certain targeted nodes must satisfy for…

Databases · Computer Science 2021-12-23 Thomas Delva , Anastasia Dimou , Maxime Jakubowski , Jan Van den Bussche

Database theory is exciting because it studies highly general and practically useful abstractions. Conjunctive query (CQ) evaluation is a prime example: it simultaneously generalizes graph pattern matching, constraint satisfaction, and…

Databases · Computer Science 2026-04-07 Mahmoud Abo Khamis , Hung Q. Ngo , Dan Suciu

Document databases are becoming popular, but how to present complex document query to obtain useful information from the document remains an important topic to study. In this paper, we describe the design issues of a pattern-based document…

Databases · Computer Science 2015-04-16 Xuhui Li , Mengchi Liu , Xiaoying Wu , Shanfeng Zhu

We study the complexity of query evaluation of SPARQL queries. We focus on the fundamental fragment of well-designed SPARQL restricted to the AND, OPTIONAL and UNION operators. Our main result is a structural characterisation of the classes…

Databases · Computer Science 2018-03-28 Miguel Romero

The paper describes several applications of information inequalities to problems in database theory. The problems discussed include: upper bounds of a query's output, worst-case optimal join algorithms, the query domination problem, and the…

Databases · Computer Science 2024-06-06 Dan Suciu

In this work we establish and investigate connections between causes for query answers in databases, database repairs wrt. denial constraints, and consistency-based diagnosis. The first two are relatively new research areas in databases,…

Databases · Computer Science 2016-10-25 Leopoldo Bertossi , Babak Salimi

We consider a core language of graph queries. These queries are seen as formulas to be solved with respect to graph-oriented databases. For this purpose, we first define a graph query algebra where some operations over graphs and sets of…

Logic in Computer Science · Computer Science 2022-02-22 Dominique Duval , Rachid Echahed , Frederic Prost

Graph databases have become essential tools for managing complex and interconnected data, which is common in areas like social networks, bioinformatics, and recommendation systems. Unlike traditional relational databases, graph databases…

Databases · Computer Science 2026-02-24 Miguel E. Coimbra , Lucie Svitáková , Domagoj Vrgoč , Alexandre P. Francisco , Luís Veiga

In the talk at the workshop my aim was to demonstrate the usefulness of graph techniques for tackling problems that have been studied predominantly as problems on the term level: increasing sharing in functional programs, and addressing…

Logic in Computer Science · Computer Science 2019-02-07 Clemens Grabmayer

Conjunctive queries select and are expected to return certain tuples from a relational database. We study the potentially easier problem of counting all selected tuples, rather than enumerating them. In particular, we are interested in the…

Computational Complexity · Computer Science 2019-04-30 Holger Dell , Marc Roth , Philip Wellnitz