Database theory -- ICDT 2005. 10th international conference, Edinburgh, UK, January 5--7, 2005. Proceedings. (Q2488044)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1013.00033). Indexed articles: \textit{Vardi, Moshe Y.}, Model checking for database theoreticians, 1-16 [Zbl 1112.68398] \textit{Møller, Anders; Schwartzbach, Michael I.}, The design space of type checkers for XML transformation languages, 17-36 [Zbl 1112.68372] \textit{Maier, David; Li, Jin; Tucker, Peter; Tufte, Kristin; Papadimos, Vassilis}, Semantics of data streams and operators, 37-52 [Zbl 1112.68369] \textit{Atserias, Albert}, Conjunctive query evaluation by search tree revisited, 53-67 [Zbl 1108.68442] \textit{Martens, Wim; Neven, Frank; Schwentick, Thomas}, Which XML schemas admit 1-pass preorder typing?, 68-82 [Zbl 1112.68356] \textit{Munagala, Kamesh; Babu, Shivnath; Motwani, Rajeev; Widom, Jennifer}, The pipelined set cover problem, 83-98 [Zbl 1112.68373] \textit{Van den Bussche, Jan; Van Gucht, Dirk; Vansummeren, Stijn}, Well-definedness and semantic type-checking in the nested relational calculus and XQuery (extended abstract), 99-113 [Zbl 1108.68448] \textit{Marx, Maarten}, First order paths in ordered trees, 114-128 [Zbl 1112.68370] \textit{Cohen, Sara; Sagiv, Yehoshua}, An abstract framework for generating maximal answers to queries, 129-143 [Zbl 1112.68362] \textit{Frikken, Keith B.}, Optimal distributed declustering using replication, 144-157 [Zbl 1112.68366] \textit{Shaft, Uri; Ramakrishnan, Raghu}, When is nearest neighbors indexable?, 158-172 [Zbl 1112.68375] \textit{Cao, Hu; Wolfson, Ouri}, Nonmaterialized motion information in transport networks, 173-188 [Zbl 1112.68380] \textit{Aggarwal, Gagan; Feder, Tomás; Motwani, Rajeev; Panigrahy, Rina; Zhu, An}, Algorithms for the database layout problem, 189-203 [Zbl 1112.68361] \textit{Koltun, Vladlen; Papadimitriou, Christos H.}, Approximately dominating representatives, 204-214 [Zbl 1108.68446] \textit{Balcázar, José L.; Casas-Garriga, Gemma}, On Horn axiomatizations for sequential data, 215-229 [Zbl 1108.68551] \textit{Deutsch, Alin; Papakonstantinou, Yannis}, Privacy in database publishing, 230-245 [Zbl 1112.68364] \textit{Aggarwal, Gagan; Feder, Tomás; Kenthapadi, Krishnaram; Motwani, Rajeev; Panigrahy, Rina; Thomas, Dilys; Zhu, An}, Anonymizing tables, 246-258 [Zbl 1112.68360] \textit{Zhang, Zheng; Mendelzon, Alberto O.}, Authorization views and conditional query containment, 259-273 [Zbl 1112.68378] \textit{Nash, Alan; Remmel, Jeff; Vianu, Victor}, PTIME queries revisited, 274-288 [Zbl 1112.68374] \textit{Dalvi, Nilesh; Miklau, Gerome; Suciu, Dan}, Asymptotic conditional probabilities for conjunctive queries, 289-305 [Zbl 1112.68363] \textit{Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola}, Magic sets and their application to data integration, 306-320 [Zbl 1112.68365] \textit{Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.}, View-based query processing: On the relationship between rewriting, answering and losslessness, 321-336 [Zbl 1108.68443] \textit{Fuxman, Ariel D.; Miller, Renée J.}, First-order query rewriting for inconsistent databases, 337-351 [Zbl 1112.68367] \textit{Deutsch, Alin; Ludäscher, Bertram; Nash, Alan}, Rewriting queries using views with access patterns under integrity constraints, 352-367 [Zbl 1108.68444] \textit{Matias, Yossi; Urieli, Daniel}, Optimal workload-based weighted wavelet synopses, 368-382 [Zbl 1108.68436] \textit{Afrati, Foto; Chirkova, Rada}, Selecting and using views to compute aggregate queries (extended abstract), 383-397 [Zbl 1112.68359] \textit{Metwally, Ahmed; Agrawal, Divyakant; El Abbadi, Amr}, Efficient computation of frequent and top-\(k\) elements in data streams, 398-412 [Zbl 1112.68371]