Database query processing using finite cursor machines

Theory of Computing Systems

Volumn 44, Issue 4, 2009, Pages 533-560

  Grohe, Martin ^a   Gurevich, Yuri ^b   Leinders, Dirk ^c   Schweikardt, Nicole ^a   Tyszkiewicz, Jerzy ^d   Van Den Bussche, Jan ^c  

^a HUMBOLDT UNIVERSITY   (Germany)

^b MICROSOFT RESEARCH   (United States)

^c HASSELT UNIVERSITY   (Belgium)

^d UNIVERSITY OF WARSAW   (Poland)

Author keywords

Database; Query processing; Relational algebra; Semijoin

Indexed keywords

ABSTRACT MODELING; ABSTRACT STATE MACHINES; DATA STREAMING; DATABASE QUERY PROCESSING; ONE-PASS; RELATIONAL ALGEBRA; SEMIJOIN; UPPER AND LOWER BOUNDS;

ALGEBRA; DATABASE SYSTEMS;

QUERY PROCESSING;

EID: 67349136029     PISSN: 14324350     EISSN: 14330490     Source Type: Journal    
DOI: 10.1007/s00224-008-9137-7     Document Type: Article

References (31)

1. Aggarwal, G., Datar, M., Rajagopalan, S., Ruhl, M.: On the streaming model augmented with a sorting primitive. In: Proceedings of the 44th IEEE Symposium on Foundations of Computer Science, pp. 540-549 (2004)
2. N. Alon Y. Matias M. Szegedy 1999 The space complexity of approximating the frequency moments J. Comput. Syst. Sci. 58 137 147
3. Altinel, M., Franklin, M.: Efficient filtering of XML documents for selective dissemination of information. In: Proceedings of the 26th International Conference on Very Large Data Bases, pp. 53-64 (2000)
4. Babcock, B., Babu, S., Datar, M., Motwani, R., Widom, J.: Models and issues in data stream systems. In: Proceedings of the 21st ACM Symposium on Principles of Database Systems, pp. 1-16 (2002)
5. Bar-Yossef, Z., Fontoura, M., Josifovski, V.: On the memory requirements of XPath evaluation over XML streams. In: Proceedings of the 23rd ACM Symposium on Principles of Database Systems, pp. 177-188 (2004)
6. Bar-Yossef, Z., Fontoura, M., Josifovski, V.: Buffering in query evaluation over XML streams. In: Proceedings of the 24th ACM Symposium on Principles of Database Systems, pp. 216-227 (2005)
7. C.Y. Chan P. Felber M.N. Garofalakis R. Rastogi 2002 Efficient filtering of XML documents with XPath expressions VLDB J. 11 354 379 (Pubitemid 36191788)
8. Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer, Berlin (1999)
9. R. Fagin 1983 Degrees of acyclicity for hypergraphs and relational database schemes J. ACM 30 514 550 (Pubitemid 13573333)
10. Flum, J., Grohe, M.: Parameterized Complexity Theory. Springer, Berlin (2006)
11. Garcia-Molina, H., Ullman, J.D., Widom, J.: Database System Implementation. Prentice-Hall, New York (1999)
12. Green, T.J., Miklau, G., Onizuka, M., Suciu, D.: Processing XML streams with deterministic automata. In: Proceedings of the 9th International Conference on Database Theory, pp. 173-189 (2003)
13. Grohe, M., Koch, C., Schweikardt, N.: Tight lower bounds for query processing on streaming and external memory data. In: Proceedings of the 31st International Colloquium on Automata, Languages and Programming, pp. 1076-1088 (2005)
14. Grohe, M., Schweikardt, N.: Lower bounds for sorting with few random accesses to external memory. In: Proceedings of the 24th ACM Symposium on Principles of Database Systems, pp. 238-249 (2005)
15. Gupta, A.K., Suciu, D.: Stream processing of XPath queries with predicates. In: Proceedings of the 22th ACM SIGMOD International Conference on Management of Data, pp. 419-430 (2003)
16. Gurevich, Y.: Evolving algebras 1993: Lipari guide. In: Börger, E. (ed.) Specification and Validation Methods, pp. 9-36. Oxford University Press, London (1995)
17. Y. Gurevich 2000 Sequential abstract-state machines capture sequential algorithms ACM Trans. Comput. Logic 1 1 77 111
18. L. Hella L. Libkin J. Nurmonen L. Wong 2001 Logics with aggregate operators J. ACM 48 4 880 907
19. Henzinger, M., Raghavan, P., Rajagopalan, S.: Computing on data streams. External memory algorithms. In: DIMACS Ser. in Discrete Math. Theor. Comput. Sci., vol. 50, pp. 107-118. AMS, Providence (1999)
20. J. Hromkovič 1983 One-way multihead deterministic finite automata Acta Inf. 19 377 384
21. Law, Y.-N., Wang, H., Zaniolo, C.: Query languages and data models for database sequences and data streams. In: Proceedings of the 30th International Conference on Very Large Data Bases, pp. 492-503 (2004)
22. Leinders, D., Van den Bussche, J.: On the complexity of division and set joins in the relational algebra. In: Proceedings of the 24th ACM Symposium on Principles of Database Systems, pp. 76-83 (2005)
23. D. Leinders M. Marx J. Tyszkiewicz J. Van den Bussche 2005 The semijoin algebra and the guarded fragment J. Logic Lang. Inf. 14 3 331 343 (Pubitemid 41152230)
24. D. Leinders J. Tyszkiewicz J. Van den Bussche 2004 On the expressive power of semijoin queries Inf. Process. Lett. 91 2 93 98
25. Libkin, L.: Elements of Finite Model Theory. Springer, Berlin (2004)
26. Muthukrishnan, S.: Data Streams: Algorithms and Applications. Now Publishers (2005)
27. Peng, F., Chawathe, S.S.: XPath queries on streaming data. In: Proceedings of the 22th ACM SIGMOD International Conference on Management of Data, pp. 431-442 (2003)
28. Rosenberg, A.L.: On multi-head finite automata. In: Proceedings of the 6th IEEE Symposium on Switching Circuit Theory and Logical Design, pp. 221-228 (1965)
29. Simmen, D., Shekita, E., Malkemus, T.: Fundamental techniques for order optimization. In: Proceedings of the 15th ACM SIGMOD International Conference on Management of Data, pp. 57-67 (1996)
30. Van den Bussche, J.: Finite cursor machines in database query processing. In: Proceedings of the 11th International Workshop on Abstract State Machines (2004)
31. Yannakakis, M.: Algorithms for acyclic database schemes. In: Proceedings of the 7th International Conference on Very Large Data Bases, pp. 82-94 (1981)