Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings [1 ed.] 3540242880, 9783540242888, 9783540305705
This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held durin
295 90 4MB
English Pages 420 [433] Year 2005
Table of contents :
Front Matter....Pages -
Model Checking for Database Theoreticians....Pages 1-16
The Design Space of Type Checkers for XML Transformation Languages....Pages 17-36
Semantics of Data Streams and Operators....Pages 37-52
Conjunctive Query Evaluation by Search Tree Revisited....Pages 53-67
Which XML Schemas Admit 1-Pass Preorder Typing?....Pages 68-82
The Pipelined Set Cover Problem....Pages 83-98
Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery....Pages 99-113
First Order Paths in Ordered Trees....Pages 114-128
An Abstract Framework for Generating Maximal Answers to Queries....Pages 129-143
Optimal Distributed Declustering Using Replication....Pages 144-157
When Is Nearest Neighbors Indexable?....Pages 158-172
Nonmaterialized Motion Information in Transport Networks....Pages 173-188
Algorithms for the Database Layout Problem....Pages 189-203
Approximately Dominating Representatives....Pages 204-214
On Horn Axiomatizations for Sequential Data....Pages 215-229
Privacy in Database Publishing....Pages 230-245
Anonymizing Tables....Pages 246-258
Authorization Views and Conditional Query Containment....Pages 259-273
PTIME Queries Revisited....Pages 274-288
Asymptotic Conditional Probabilities for Conjunctive Queries....Pages 289-305
Magic Sets and Their Application to Data Integration....Pages 306-320
View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness....Pages 321-336
First-Order Query Rewriting for Inconsistent Databases....Pages 337-351
Rewriting Queries Using Views with Access Patterns Under Integrity Constraints....Pages 352-367
Optimal Workload-Based Weighted Wavelet Synopses....Pages 368-382
Selecting and Using Views to Compute Aggregate Queries....Pages 383-397
Efficient Computation of Frequent and Top-k Elements in Data Streams....Pages 398-412
Back Matter....Pages -
Front Matter....Pages -
Model Checking for Database Theoreticians....Pages 1-16
The Design Space of Type Checkers for XML Transformation Languages....Pages 17-36
Semantics of Data Streams and Operators....Pages 37-52
Conjunctive Query Evaluation by Search Tree Revisited....Pages 53-67
Which XML Schemas Admit 1-Pass Preorder Typing?....Pages 68-82
The Pipelined Set Cover Problem....Pages 83-98
Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery....Pages 99-113
First Order Paths in Ordered Trees....Pages 114-128
An Abstract Framework for Generating Maximal Answers to Queries....Pages 129-143
Optimal Distributed Declustering Using Replication....Pages 144-157
When Is Nearest Neighbors Indexable?....Pages 158-172
Nonmaterialized Motion Information in Transport Networks....Pages 173-188
Algorithms for the Database Layout Problem....Pages 189-203
Approximately Dominating Representatives....Pages 204-214
On Horn Axiomatizations for Sequential Data....Pages 215-229
Privacy in Database Publishing....Pages 230-245
Anonymizing Tables....Pages 246-258
Authorization Views and Conditional Query Containment....Pages 259-273
PTIME Queries Revisited....Pages 274-288
Asymptotic Conditional Probabilities for Conjunctive Queries....Pages 289-305
Magic Sets and Their Application to Data Integration....Pages 306-320
View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness....Pages 321-336
First-Order Query Rewriting for Inconsistent Databases....Pages 337-351
Rewriting Queries Using Views with Access Patterns Under Integrity Constraints....Pages 352-367
Optimal Workload-Based Weighted Wavelet Synopses....Pages 368-382
Selecting and Using Views to Compute Aggregate Queries....Pages 383-397
Efficient Computation of Frequent and Top-k Elements in Data Streams....Pages 398-412
Back Matter....Pages -
![Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings [1 ed.]
3540242880, 9783540242888, 9783540305705](https://ebin.pub/img/200x200/database-theory-icdt-2005-10th-international-conference-edinburgh-uk-january-5-7-2005-proceedings-1nbsped-3540242880-9783540242888-9783540305705.jpg)
- Author / Uploaded
- Moshe Y. Vardi (auth.)
- Thomas Eiter
- Leonid Libkin (eds.)
- Similar Topics
- Education
- International Conferences and Symposiums
![Compiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings [1 ed.]
3540254110, 9783540254119](https://ebin.pub/img/200x200/compiler-construction-14th-international-conference-cc-2005-held-as-part-of-the-joint-european-conferences-on-theory-and-practice-of-software-etaps-2005-edinburgh-uk-april-4-8-2005-proceedings-1nbsped-3540254110-9783540254119.jpg)
![Artificial intelligence in medicine: 10th Conference on Artificial Intelligence in Medicine, AIME 2005, Aberdeen, UK, July 23-27, 2005; proceedings [1 ed.]
3540278311, 9783540278313](https://ebin.pub/img/200x200/artificial-intelligence-in-medicine-10th-conference-on-artificial-intelligence-in-medicine-aime-2005-aberdeen-uk-july-23-27-2005-proceedings-1nbsped-3540278311-9783540278313.jpg)
