2005/04/29 by Martin Grohe, Christoph Koch, Grohe, Martin +3
Computer Science · #Complexity and Algorithms in Graphs #Computability, Logic, AI Algorithms #Distributed systems and fault tolerance #cs.CC #cs.DB
paper · pdf · doi:10.48550/arxiv.cs/0505002
25 pages, 4 figures, to appear in Proc. ICALP 2005; extended version with appendix
arxiv created 2005/04/29 · arxiv updated 2009/12/01
We study a clean machine model for external memory and stream processing. We show that the number of scans of the external data induces a strict hierarchy (as long as work space is sufficiently small, e.g., polylogarithmic in the size of the input). We also show that neither joins nor sorting are feasible if the product of the number r(n) of scans of the external memory and the size s(n) of the internal memory buffers is sufficiently small, e.g., of size o(√[5]n). We also establish tight bounds for the complexity of XPath evaluation and filtering.