Journal: Theory Comput. Syst.

Volume 44, Issue 4

501 -- 502Thomas Schwentick, Dan Suciu. Foreword
503 -- 532Nilesh N. Dalvi. Query Evaluation on a Database Given by a Random Graph
533 -- 560Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche. Database Query Processing Using Finite Cursor Machines
561 -- 589Balder ten Cate, Maarten Marx. Axiomatizing the Logical Core of XPath 2.0
590 -- 619Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht, Stijn Vansummeren. Structural Recursion as a Query Language on Lists and Ordered Trees
620 -- 652Jerzy Marcinkowski, Piotr Wieczorek. Modulo Constraints and the Complexity of Typechecking XML Views