HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Incremental View Maintenance for Active Documents

Serge Abiteboul 1 Pierre Bourhis 1 Bogdan Marinoiu 1
1 GEMO - Integration of data and knowledge distributed over the web
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Abstract : In this paper, we develop algorithmic datalog-based foundations for the incremental processing of tree-pattern queries over active documents, i.e. document with incoming streams of data. We define query satisfiability for such documents based on a logic with 3-values: ``true'', ``false forever'', and ``false for now''. Also, given an active document and a query, part of the document (and in particular, some incoming streams) may become irrelevant for the query of interest. We introduce an incremental algorithm for detecting such useless data and streams, essential for implementing garbage collection. We also provide complexity analysis for the problems we study.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

Contributor : Bogdan Marinoiu Connect in order to contact the contributor
Submitted on : Tuesday, February 26, 2008 - 3:51:48 PM
Last modification on : Friday, February 4, 2022 - 3:31:28 AM
Long-term archiving on: : Friday, September 28, 2012 - 10:16:03 AM


Files produced by the author(s)


  • HAL Id : inria-00259069, version 1


Serge Abiteboul, Pierre Bourhis, Bogdan Marinoiu. Incremental View Maintenance for Active Documents. Bases de données avancées, Oct 2007, Marseille, France. ⟨inria-00259069⟩



Record views


Files downloads