BIBLIOS

Tipo
Capítulo em Livro


Título
Reconciling Communication Delays and Negation

Participantes na publicação
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

Resumo
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.


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

Identificadores da Publicação
ISSN - 0302-9743

Editora
Springer International Publishing



Identificadores do Documento
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

Identificadores de Qualidade
SCIMAGO Q2 (2021) - 407 - Computer Science (miscellaneous)
SCOPUS Q2 (2021) - 2.1 - Theoretical Computer Science