11. PODS 1992: San Diego, California

Moshe Y. Vardi, Paris C. Kanellakis (Eds.): Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California, USA. ACM Press 1992, ISBN 0-89791-519-4

Invided Talk

Catriel Beeri:
New Data Models and Languages - the Challenge. 1-15

Negation in Databases

Christos H. Papadimitriou, Mihalis Yannakakis:
Tie-Breaking Semantics and Structural Totality. 16-22

Probabilistic Methods

Serge Abiteboul, Kevin J. Compton, Victor Vianu:
Queries Are Easier Than You Thought (Probably). 23-32
Russell Greiner:
Learning Efficient Query Processing Strategies. 33-46
Doron Rotem:
Analysis of Disk Arm Movement for Large Sequential Reads. 47-54

Datalog Analysis

Surajit Chaudhuri, Moshe Y. Vardi:
On the Equivalence of Recursive and Nonrecursive Datalog Programs. 55-66
Alon Y. Levy, Yehoshua Sagiv:
Constraints and Redundancy in Datalog. 67-80
Guozhu Dong:
Datalog Expressiveness of Chain Queries: Grammar Tools and Characterizations. 81-90

Aggregation in Databases

Catriel Beeri, Raghu Ramakrishnan, Divesh Srivastava, S. Sudarshan:
The Valid Model Semantics for Logic Programs. 91-104
Sergio Greco, Carlo Zaniolo, Sumit Ganguly:
Greedy by Choice. 105-113
Kenneth A. Ross, Yehoshua Sagiv:
Monotonic Aggregation in Deductive Databases. 114-126
Allen Van Gelder:
The Well-Founded Semantics of Aggregation. 127-138

Distributed Databases

Michael Rabinovich, Edward D. Lazowska:
A Fault-Tolerant Commit Protocol for Replicated Databases. 139-148
Ouri Wolfson, Sushil Jajodia:
Distributed Algorithms for Dynamic Replication of Data. 149-163
Sharad Mehrotra, Rajeev Rastogi, Yuri Breitbart, Henry F. Korth, Abraham Silberschatz:
Ensuring Transaction Atomicity in Multidatabase Systems. 164-175

Foundations of OODBs

Catriel Beeri, Tova Milo:
Functional and Predicative Programming in OODB's. 176-190
Jan Van den Bussche, Dirk Van Gucht:
Semi-determinism. 191-201
Edward P. F. Chan:
Containment and Minimization of Positive Conjunctive Queries in OODB's. 202-211

Concurrency Control

John Turek, Dennis Shasha, Sundeep Prakash:
Locking without Blocking: Making Lock Based Concurrent Data Structure Algorithms Nonblocking. 212-222
Divyakant Agrawal, Amr El Abbadi, Richard Jeffers:
An Approach to Eliminate Transaction Blocking in Locking Protocols. 223-235
Man Hon Wong, Divyakant Agrawal:
Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems. 236-245

Updates and Active Databases

Gösta Grahne, Alberto O. Mendelzon, Peter Z. Revesz:
Knowledgebase Transformations. 246-260
Thomas Eiter, Georg Gottlob:
On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. 261-273
Jan Chomicki:
Real-Time Integrity Constraints. 274-282

Query Languages I

Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian:
Implementing Deductive Databases by Linear Programming. 283-292
Seymour Ginsburg, Xiaoyang Sean Wang:
Pattern Matching by Rs-Operations: Toward a Unified Approach to Querying Sequenced Data. 293-300
Divesh Srivastava, Raghu Ramakrishnan:
Pushing Constraint Selections. 301-315

Query Languages II

Anthony J. Bonner:
The Complexity of Reusing and Modifying Rulebases. 316-330
Ron van der Meyden:
The Complexity of Querying Indefinite Data about Linearly Ordered Domains. 331-345
Kenneth A. Ross:
Relations with Relation Names as Arguments: Algebra and Calculus. 346-353

Query Evaluation

Ashish Gupta, Inderpal Singh Mumick:
Magic-sets Transformation in Nonrecursive Systems. 354-367
Shinichi Morishita:
Avoiding Cartesian Products in Programs for Multiple Joins. 368-379
Håkan Jakobsson:
On Tree-Based Techniques for Query Evaluation. 380-392

Last update Mon May 20 15:48:07 2013 CET by the DBLP Team —

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