+612 9045 4394
 
CHECKOUT
Database Theory - Icdt '95 : 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings - Georg Gottlob

Database Theory - Icdt '95

5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings

By: Georg Gottlob (Editor), Moshe Y. Vardi (Editor)

Paperback Published: 3rd January 1995
ISBN: 9783540589075
Number Of Pages: 460

Share This Book:

Paperback

$158.39
or 4 easy payments of $39.60 with Learn more
Ships in 5 to 9 business days

This volume presents the proceedings of the 1995 International Conference on Database Theory, ICDT '95, held in Prague in January 1995.
Besides two full invited papers and the abstracts of two tutorials, the book includes the revised full versions of 29 technical contributions selected from a total of 116 submissions. The papers address all current aspects of database theory; they are organized in sections on optimization, nonmonotonic semantics, query languages, concurrency control, advanced models, probabilistic methods, constraints and dependencies, and Datalog analysis.

Data on Air - What's in it for the Database Theoristp. 1
Spatial Databases, the Final Frontierp. 14
Parallel Database Systemsp. 33
Languages for Polynomial-Time Queries - An Ongoing Questp. 38
Distributed Query Optimization in Loosely Coupled Multidatabase Systemsp. 40
On the Complexity of Generating Optimal Left-Deep Processing Trees with Cross Productsp. 54
Querying Disjunctive Databases Through Nonmonotonic Logicsp. 68
DATALOG Queries with Stratified Negation and Choice: from P to D[superscript P]p. 82
On the Kolmogorov Expressive Power of Boolean Query Languagesp. 97
On Two Forms of Structural Recursionp. 111
[Delta]-Languages for Sets and Sub-PTIME Graph Transformersp. 125
Partial Strictness in Two-Phase Lockingp. 139
Unified Transaction Model for Semantically Rich Operationsp. 148
The Dynamic Two-Phase-Commitment (D2PC) Protocolp. 162
Domain-Independent Queries on Databases with External Functionsp. 177
An Algebra for Pomsetsp. 191
On the Power of Stratified Logic Programs with Value Invention for Expressing Database Transformationsp. 208
A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languagesp. 222
A Rewriting Technique for the Analysis and the Optimization of Active Databasesp. 238
Sorted HiLog: Sorts in Higher-Order Logic Data Languagesp. 252
The Average Length of Keys and Functional Dependencies in (Random) Databasesp. 266
Uniformly-Distributed Random Generation of Join Ordersp. 280
A Probabilistic View of Datalog Parallelizationp. 294
A First Step Towards Implementing Dynamic Algebraic Dependenciesp. 308
Constraint-Generating Dependenciesp. 322
Optimization Using Tuple Subsumptionp. 338
Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG Queriesp. 353
Revision Programming, Database Updates and Integrity Constraintsp. 368
Some Positive Results for Boundedness of Multiple Recursive Rulesp. 383
Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queriesp. 397
Approximation in Databasesp. 411
Datalog Queries of Set Constraint Databasesp. 425
Space Usage in Functional Query Languagesp. 439
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540589075
ISBN-10: 3540589074
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 460
Published: 3rd January 1995
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.44
Weight (kg): 0.66