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 metadatas

Cited literature [19 references]  Display  Hide  Download
Contributor : Bogdan Marinoiu <>
Submitted on : Tuesday, February 26, 2008 - 3:51:48 PM
Last modification on : Wednesday, September 16, 2020 - 5:04:23 PM
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