BIBLIOS

Document type
Book chapters


Title
Reconciling Communication Delays and Negation

Participants in the publication
Luís Cruz-Filipe (Author)
Graça Gaspar (Author)
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA
Dep. Informática
LabMAg
BioISI
LASIGE
Isabel Nunes (Author)
Dep. Informática
LASIGE

Summary
Hypothetical continuous query answering over data streams was introduced as a way to anticipate answers to queries that depend on facts that may or may not happen in the future. Previous work has studied this problem for Temporal Datalog with negation and instantaneous communication, showing that hypothetical answers can be incrementally updated as new data arrives at the data stream.\\\\nIn practice, individual communications take variable amounts of time, so data may arrive delayed and unordered. This motivates studying hypothetical continuous query answering in a setting with communication delays. The interaction between communication delays and negation is however problematic, and the existing approach is restricted to the positive fragment of the language. In this work we show how to remove this restriction by defining an appropriate operational semantics based on fixpoint theory, and showing that the relevant fixpoints can be computed in finite time by a carefully designed algorithm.


Where published
Lecture Notes in Computer Science,Theoretical Aspects of Computing – ICTAC 2022

Publication Identifiers
ISSN - 0302-9743

Publisher
Springer International Publishing



Document Identifiers
DOI - https://doi.org/10.1007/978-3-031-17715-6_11
URL - http://dx.doi.org/10.1007/978-3-031-17715-6_11

Rankings
SCIMAGO Q2 (2021) - 407 - Computer Science (miscellaneous)
SCOPUS Q2 (2021) - 2.1 - Theoretical Computer Science