Proceedings of the 5th International Conference on Database Theory (ICDT), Prague, Czech Republic, 1995

Original publisher: Springer Verlag, LNCS - Lecture Notes in Computer Science, Volume: 893, ISBN: 3-540-58907-4, Electronic Edition

Invited Papers

[DOI] Data on Air - What's in it for the Database Theorist.
Tomasz Imielinski   pp. 1-13
[DOI] Spatial Databases, The Final Frontier.
Jan Paredaens   pp. 14-32

Research Sessions

Optimization
[DOI] Distributed Query Optimization in Loosly Coupled Multidatabase Systems.
Silvio Salza, Giovanni Barone, Tadeusz Morzy   pp. 40-53
[DOI] On the Complexity of Generating Optimal Left-Deep Processing Trees with Cross Products.
Sophie Cluet, Guido Moerkotte   pp. 54-67
Nonmonotonic Semantics I
[DOI] Querying Disjunctive Database Through Nonmonotonic Logics.
Piero A. Bonatti, Thomas Eiter   pp. 68-81
[DOI] DATALOG Queries with Stratified Negation and Choice: from P to D.
Sergio Greco, Domenico Saccà, Carlo Zaniolo   pp. 82-96
Query Languages I
[DOI] On the Kolmogorov Expressive Power of Boolean Query Languages.
Jerzy Tyszkiewicz   pp. 97-110
[DOI] On Two Forms of Structural Recursion.
Dan Suciu, Limsoon Wong   pp. 111-124
[DOI] Delta-Languages for Sets and sub-PTIME Graphs Transformers.
Vladimir Yu. Sazonov, Alexei Lisitsa   pp. 125-138
Concurrency Control
[DOI] Partial Strictness in Two-Phase Locking.
Eljas Soisalon-Soininen, Tatu Ylönen   pp. 139-147
[DOI] Unified Transaction Model for Semantically Rich Operations.
Radek Vingralek, Haiyan Ye, Yuri Breitbart, Hans-Jörg Schek   pp. 148-161
[DOI] The Dynamic Two Phase Commitment (D2PC) Protocol.
Yoav Raz   pp. 162-176
Query Languages II
[DOI] Domain-Independent Queries on Databases with External Functions.
Dan Suciu   pp. 177-190
[DOI] An Algebra for Pomsets.
Stéphane Grumbach, Tova Milo   pp. 191-207
[DOI] On the Power of Stratified Logic Programs with Value Invention for Expressing Database Transformations.
Luca Cabibbo   pp. 208-221
Advanced Models
[DOI] A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages.
Michele Bugliesi, Hasan M. Jamil   pp. 222-237
[DOI] A Rewriting Technique for the Analysis and the Optimization of Active Databases.
Danilo Montesi, Riccardo Torlone   pp. 238-251
[DOI] Sorted HiLog: Sorts in Higher-Order Logic Data Languages.
Weidong Chen, Michael Kifer   pp. 252-265
Probabilistic Methods
[DOI] The Average Length of Keys and Functional Dependencies in (Random) Databases.
János Demetrovics, Gyula O. H. Katona, Dezsö Miklós, Oleg Seleznjev, Bernhard Thalheim   pp. 266-279
[DOI] Uniformly-Distributed Random Generation of Join Orders.
César A. Galindo-Legaria, Arjan Pellenkoft, Martin L. Kersten   pp. 280-293
[DOI] A Probabilistic View of Datalog Parallelization.
Sérgio Lifschitz, Victor Vianu   pp. 294-307
Constraints and Dependencies
[DOI] A First Step Towards Implementing Dynamic Algebraic Dependencies.
Nicole Bidoit, Sandra de Amo   pp. 308-321
[DOI] Constraint-Generating Dependencies.
Marianne Baudinet, Jan Chomicki, Pierre Wolper   pp. 322-337
[DOI] Optimization Using Tuple Subsumption.
Venky Harinarayan, Ashish Gupta   pp. 338-352
Nonmonotonic Semantics II
[DOI] Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG Queries.
Domenico Saccà   pp. 353-367
[DOI] Revision Programming, Database Updates and Integrity Constraints.
V. Wiktor Marek, Miroslaw Truszczynski   pp. 368-382
Datalog Analysis
[DOI] Some Positive Results for Boundedness of Multiple Recursive Rules.
Ke Wang   pp. 383-396
[DOI] Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries.
Guozhu Dong, Jianwen Su   pp. 397-410
Query Languages III
[DOI] Approximation in Databases.
Leonid Libkin   pp. 411-424
[DOI] Datalog Queries of Set Constraint Databases.
Peter Z. Revesz   pp. 425-438
[DOI] Space Usage in Functional Query Languages.
Serge Abiteboul, Gerd G. Hillebrand   pp. 439-454

Tutorials

Tutorials
[DOI] Tutorial on Parallel Database Systems.
Gerhard Weikum   pp. 33-37
[DOI] Languages for Polynomial-Time Queries - An Ongoing Quest.
Phokion G. Kolaitis   pp. 38-39
The full-text material linked from here is (c) Springer Verlag. The 'get via DOI' ([DOI]) link loads the full-text from Springer Link. Notice that a subscription (or pay-per-view) is necessary to actually load the PDFs.
Menu
Related links