Bounded-Memory Criteria for Streams with Application Time
- URL: http://arxiv.org/abs/2007.16040v1
- Date: Thu, 30 Jul 2020 12:05:04 GMT
- Title: Bounded-Memory Criteria for Streams with Application Time
- Authors: Simon Schiff and \"Ozg\"ur \"Ozcep
- Abstract summary: Bounded-memory computability continues to be in the focus of those areas of AI and databases that deal with feasible computations over streams.
This work presents criteria for bounded-memory computability of select-project-join (SPJ) queries over streams with application time.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Bounded-memory computability continues to be in the focus of those areas of
AI and databases that deal with feasible computations over streams---be it
feasible arithmetical calculations on low-level streams or feasible query
answering for declaratively specified queries on relational data streams or
even feasible query answering for high-level queries on streams w.r.t. a set of
constraints in an ontology such as in the paradigm of Ontology-Based Data
Access (OBDA). In classical OBDA, a high-level query is answered by
transforming it into a query on data source level. The transformation requires
a rewriting step, where knowledge from an ontology is incorporated into the
query, followed by an unfolding step with respect to a set of mappings. Given
an OBDA setting it is very difficult to decide, whether and how a query can be
answered efficiently. In particular it is difficult to decide whether a query
can be answered in bounded memory, i.e., in constant space w.r.t. an infinitely
growing prefix of a data stream. This work presents criteria for bounded-memory
computability of select-project-join (SPJ) queries over streams with
application time. Deciding whether an SPJ query can be answered in constant
space is easier than for high-level queries, as neither an ontology nor a set
of mappings are part of the input. Using the transformation process of
classical OBDA, these criteria then can help deciding the efficiency of
answering high-level queries on streams.
Related papers
- DAGE: DAG Query Answering via Relational Combinator with Logical Constraints [24.60431781360608]
We propose a query embedding method for DAG queries called DAGE.
DAGE combines the possibly multiple paths between two nodes into a single path with a trainable operator.
We show that it is possible to implement DAGE on top of existing query embedding methods.
arXiv Detail & Related papers (2024-10-29T15:02:48Z) - Enhancing Long Context Performance in LLMs Through Inner Loop Query Mechanism [2.919891871101241]
Transformers have a quadratic scaling of computational complexity with input size.
Retrieval-augmented generation (RAG) can better handle longer contexts by using a retrieval system.
We introduce a novel approach, Inner Loop Memory Augmented Tree Retrieval (ILM-TR)
arXiv Detail & Related papers (2024-10-11T19:49:05Z) - Database-Augmented Query Representation for Information Retrieval [59.57065228857247]
We present a novel retrieval framework called Database-Augmented Query representation (DAQu)
DAQu augments the original query with various (query-related) metadata across multiple tables.
We validate DAQu in diverse retrieval scenarios that can incorporate metadata from the relational database.
arXiv Detail & Related papers (2024-06-23T05:02:21Z) - Pathformer: Recursive Path Query Encoding for Complex Logical Query Answering [20.521886749524814]
We propose a neural one-point embedding method called Pathformer based on the tree-like computation graph, i.e., query tree.
Specifically, Pathformer decomposes the query computation tree into path query sequences by branches.
This allows Pathformer to fully utilize future context information to explicitly model the complex interactions between various parts of a path query.
arXiv Detail & Related papers (2024-06-21T06:02:58Z) - Allies: Prompting Large Language Model with Beam Search [107.38790111856761]
In this work, we propose a novel method called ALLIES.
Given an input query, ALLIES leverages LLMs to iteratively generate new queries related to the original query.
By iteratively refining and expanding the scope of the original query, ALLIES captures and utilizes hidden knowledge that may not be directly through retrieval.
arXiv Detail & Related papers (2023-05-24T06:16:44Z) - Reverse Engineering of Temporal Queries Mediated by LTL Ontologies [8.244587597395936]
In reverse engineering of database queries, we aim to construct a query from a given set of answers and non-answers.
We investigate this query-by-example problem for queries formulated in positive fragments of linear temporal logic over timestamped data.
arXiv Detail & Related papers (2023-05-02T08:27:39Z) - Query2Particles: Knowledge Graph Reasoning with Particle Embeddings [49.64006979045662]
We propose a query embedding method to answer complex logical queries on knowledge graphs with missing edges.
The answer entities are selected according to the similarities between the entity embeddings and the query embedding.
A complex KG query answering method, Q2P, is proposed to retrieve diverse answers from different areas over the embedding space.
arXiv Detail & Related papers (2022-04-27T11:16:08Z) - Graph Enhanced BERT for Query Understanding [55.90334539898102]
query understanding plays a key role in exploring users' search intents and facilitating users to locate their most desired information.
In recent years, pre-trained language models (PLMs) have advanced various natural language processing tasks.
We propose a novel graph-enhanced pre-training framework, GE-BERT, which can leverage both query content and the query graph.
arXiv Detail & Related papers (2022-04-03T16:50:30Z) - Dual Reader-Parser on Hybrid Textual and Tabular Evidence for Open
Domain Question Answering [78.9863753810787]
A large amount of world's knowledge is stored in structured databases.
query languages can answer questions that require complex reasoning, as well as offering full explainability.
arXiv Detail & Related papers (2021-08-05T22:04:13Z) - Answering Counting Queries over DL-Lite Ontologies [0.0]
We introduce a general form of counting query, relate it to previous proposals, and study the complexity of answering such queries.
We consider some practically relevant restrictions, for which we establish improved complexity bounds.
arXiv Detail & Related papers (2020-09-02T11:10:21Z) - Query Resolution for Conversational Search with Limited Supervision [63.131221660019776]
We propose QuReTeC (Query Resolution by Term Classification), a neural query resolution model based on bidirectional transformers.
We show that QuReTeC outperforms state-of-the-art models, and furthermore, that our distant supervision method can be used to substantially reduce the amount of human-curated data required to train QuReTeC.
arXiv Detail & Related papers (2020-05-24T11:37:22Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.