Document type
Journal articles
Document subtype
Full paper
Title
Hypothetical Answers to Continuous Queries Over Data Streams
Participants in the publication
Luís Cruz-Filipe (Author)
Graça Gaspar (Author)
Dep. Informática
Isabel Nunes (Author)
Dep. Informática
Summary
Answers to continuous queries over data streams are often delayed until some relevant input arrives through the data stream. These delays may turn answers when they arrive, obsolete to users who sometimes have to make decisions with no help whatsoever. Therefore, it can be useful to provide hypothetical answers—“given the current information, it is possible that \\n will become true at time \\n”—instead of no information at all.\\nIn this work, we present a semantics for queries and corresponding answers that cover such hypothetical answers, together with an incremental online algorithm for updating the set of facts that are consistent with the currently available information. Our framework also works in a language supporting negation.
Date of Publication
2024-10-29
Where published
ACM Transactions on Computational Logic
Publication Identifiers
ISSN - 1529-3785
Publisher
Association for Computing Machinery (ACM)
Number of pages
40
Starting page
1
Last page
40
Document Identifiers
DOI -
https://doi.org/10.1145/3688845
URL -
https://doi.org/10.1145/3688845
Rankings
SCOPUS Q2 (2023) - 2.3 - Logic
Web Of Science Q1 (2023) - 0.7 - LOGIC
SCIMAGO Q1 (2023) - 0.876 - Logic