10. ICDT 2005: Edinburgh, Scotland, UK

Thomas Eiter, Leonid Libkin (Eds.): Database Theory - ICDT 2005, 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings. Lecture Notes in Computer Science 3363 Springer 2005, ISBN 3-540-24288-0

Invited Papers

Moshe Y. Vardi:
Model Checking for Database Theoreticians. 1-16
Anders Møller, Michael I. Schwartzbach:
The Design Space of Type Checkers for XML Transformation Languages. 17-36
David Maier, Jin Li, Peter A. Tucker, Kristin Tufte, Vassilis Papadimos:
Semantics of Data Streams and Operators. 37-52

Regular Papers

Albert Atserias:
Conjunctive Query Evaluation by Search Tree Revisited. 53-67
Wim Martens, Frank Neven, Thomas Schwentick:
Which XML Schemas Admit 1-Pass Preorder Typing? 68-82
Kamesh Munagala, Shivnath Babu, Rajeev Motwani, Jennifer Widom:
The Pipelined Set Cover Problem. 83-98

Query Languages and Types

Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren:
Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery Extended Abstract. 99-113
Maarten Marx:
First Order Paths in Ordered Trees. 114-128
Sara Cohen, Yehoshua Sagiv:
An Abstract Framework for Generating Maximal Answers to Queries. 129-143

Multi-dimensional Data Processing

Keith B. Frikken:
Optimal Distributed Declustering Using Replication. 144-157
Uri Shaft, Raghu Ramakrishnan:
When Is Nearest Neighbors Indexable? 158-172
Hu Cao, Ouri Wolfson:
Nonmaterialized Motion Information in Transport Networks. 173-188

Algorithmic Aspects

Gagan Aggarwal, Tomás Feder, Rajeev Motwani, Rina Panigrahy, An Zhu:
Algorithms for the Database Layout Problem. 189-203
Vladlen Koltun, Christos H. Papadimitriou:
Approximately Dominating Representatives. 204-214
José L. Balcázar, Gemma Casas-Garriga:
On Horn Axiomatizations for Sequential Data. 215-229

Privacy and Security

Alin Deutsch, Yannis Papakonstantinou:
Privacy in Database Publishing. 230-245
Gagan Aggarwal, Tomás Feder, Krishnaram Kenthapadi, Rajeev Motwani, Rina Panigrahy, Dilys Thomas, An Zhu:
Anonymizing Tables. 246-258
Zheng Zhang, Alberto O. Mendelzon:
Authorization Views and Conditional Query Containment. 259-273

Logic and Databases

Alan Nash, Jeffrey B. Remmel, Victor Vianu:
PTIME Queries Revisited. 274-288
Nilesh N. Dalvi, Gerome Miklau, Dan Suciu:
Asymptotic Conditional Probabilities for Conjunctive Queries. 289-305
Wolfgang Faber, Gianluigi Greco, Nicola Leone:
Magic Sets and Their Application to Data Integration. 306-320

Query Rewriting

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi:
View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. 321-336
Ariel Fuxman, Renée J. Miller:
First-Order Query Rewriting for Inconsistent Databases. 337-351
Alin Deutsch, Bertram Ludäscher, Alan Nash:
Rewriting Queries Using Views with Access Patterns Under Integrity Constraints. 352-367

Query Processing, and Data Streams

Yossi Matias, Daniel Urieli:
Optimal Workload-Based Weighted Wavelet Synopses. 368-382
Foto N. Afrati, Rada Chirkova:
Selecting and Using Views to Compute Aggregate Queries (Extended Abstract). 383-397
Ahmed Metwally, Divyakant Agrawal, Amr El Abbadi:
Efficient Computation of Frequent and Top-k Elements in Data Streams. 398-412

Last update Sat May 18 18:43:56 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page