English
Related papers

Related papers: Answering Conjunctive Queries with Inequalities

200 papers

When query evaluation produces too many tuples, a new approach in query answering is to retrieve a diverse subset of them. The standard approach for measuring the diversity of a set of tuples is to use a distance function between tuples,…

Databases · Computer Science 2025-09-23 Marcelo Arenas , Timo Camillo Merkl , Reinhard Pichler , Cristian Riveros

In this paper, we present a new way of matching in observational studies that overcomes three limitations of existing matching approaches. First, it directly balances covariates with multi-valued treatments without requiring the generalized…

Applications · Statistics 2019-07-11 Magdalena Bennett , Juan Pablo Vielma , Jose R. Zubizarreta

A data integration system provides transparent access to different data sources by suitably combining their data, and providing the user with a unified view of them, called global schema. However, source data are generally not under the…

Databases · Computer Science 2011-10-10 Marco Manna , Francesco Ricca , Giorgio Terracina

Intersection joins over interval data are relevant in spatial and temporal data settings. A set of intervals join if their intersection is non-empty. In case of point intervals, the intersection join becomes the standard equality join. We…

Databases · Computer Science 2022-04-15 Mahmoud Abo Khamis , George Chichirim , Antonia Kormpa , Dan Olteanu

Complex logical query answering (CLQA) is a challenging task that involves finding answer entities for complex logical queries over incomplete knowledge graphs (KGs). Previous research has explored the use of pre-trained knowledge graph…

Artificial Intelligence · Computer Science 2024-10-10 Changyi Xiao , Yixin Cao

A fitting algorithm for conjunctive queries (CQs) produces, given a set of positively and negatively labeled data examples, a CQ that fits these examples. In general, there may be many non-equivalent fitting CQs and thus the algorithm has…

Databases · Computer Science 2023-12-07 Balder ten Cate , Maurice Funk , Jean Christoph Jung , Carsten Lutz

Proving that an unbounded distributed protocol satisfies a given safety property amounts to finding a quantified inductive invariant that implies the property for all possible instance sizes of the protocol. Existing methods for solving…

Logic in Computer Science · Computer Science 2021-05-20 Aman Goel , Karem A. Sakallah

We present efficient algorithms for Quantile Join Queries, abbreviated as %JQ. A %JQ asks for the answer at a specified relative position (e.g., 50% for the median) under some ordering over the answers to a Join Query (JQ). Our goal is to…

Databases · Computer Science 2023-05-29 Nikolaos Tziavelis , Nofar Carmeli , Wolfgang Gatterbauer , Benny Kimelfeld , Mirek Riedewald

One of the interesting topics in quantum contextuality is the construction for various non-contextual inequalities. By introducing a new structure called hyper-graph, we present a general method, which seems to be analytic and extensible,…

Quantum Physics · Physics 2017-09-29 Weidong Tang , Sixia Yu

Motivated by fundamental applications in databases and relational machine learning, we formulate and study the problem of answering functional aggregate queries (FAQ) in which some of the input factors are defined by a collection of…

Visual Question answering is a challenging problem requiring a combination of concepts from Computer Vision and Natural Language Processing. Most existing approaches use a two streams strategy, computing image and question features that are…

Computer Vision and Pattern Recognition · Computer Science 2018-11-02 Will Norcliffe-Brown , Efstathios Vafeias , Sarah Parisot

Given a conjunctive query $Q$ and a database $D$, a direct access to the answers of $Q$ over $D$ is the operation of returning, given an index $k$, the $k$-th answer for some order on its answers. While this problem is $\#\mathcal{P}$-hard…

Databases · Computer Science 2026-03-18 Florent Capelli , Nofar Carmeli , Oliver Irwin , Sylvain Salvati

The phenomenal growth of graph data from a wide variety of real-world applications has rendered graph querying to be a problem of paramount importance. Traditional techniques use structural as well as node similarities to find matches of a…

Databases · Computer Science 2021-05-14 Jithin Vachery , Akhil Arora , Sayan Ranu , Arnab Bhattacharya

The problem of scheduling conflicting jobs on parallel machines consists in assigning a set of jobs to a set of machines so that no two conflicting jobs are allocated to the same machine, and the maximum processing time among all machines…

Discrete Mathematics · Computer Science 2025-04-04 Phablo F. S. Moura , Roel Leus , Hande Yaman

The Shapes Constraint Language (SHACL) was standardized by the World Wide Web as a constraint language to describe and validate RDF data graphs. SHACL uses the notion of shapes graph to describe a set of shape constraints paired with…

Computational Complexity · Computer Science 2024-08-01 Shqiponja Ahmetaj , Timo Camillo Merkl , Reinhard Pichler

The framework of consistent query answers and repairs has been introduced to alleviate the impact of inconsistent data on the answers to a query. A repair is a minimally different consistent instance and an answer is consistent if it is…

Databases · Computer Science 2009-02-19 Slawomir Staworko , Jan Chomicki

Answering complex logical queries on incomplete knowledge graphs (KGs) with missing edges is a fundamental and important task for knowledge graph reasoning. The query embedding method is proposed to answer these queries by jointly encoding…

Computation and Language · Computer Science 2022-04-28 Jiaxin Bai , Zihao Wang , Hongming Zhang , Yangqiu Song

Conjunctive queries are the most basic and central class of database queries. With the continued growth of demands to manage and process the massive volume of different types of data, there is little research to study the conjunctive…

Databases · Computer Science 2022-06-10 Yuxing Chen , Jiaheng Lu

In logic-based knowledge representation, query answering has essentially replaced mere satisfiability checking as the inferencing problem of primary interest. For knowledge bases in the basic description logic ALC, the computational…

Logic in Computer Science · Computer Science 2021-08-17 Bartosz Bednarczyk , Sebastian Rudolph

In this paper, we introduce a graph matching method that can account for constraints of arbitrary order, with arbitrary potential functions. Unlike previous decomposition approaches that rely on the graph structures, we introduce a…

Computer Vision and Pattern Recognition · Computer Science 2018-02-26 D. Khuê Lê-Huu , Nikos Paragios
‹ Prev 1 4 5 6 7 8 10 Next ›