default search action
6th PODS 1987: San Diego, California
- Moshe Y. Vardi:
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California, USA. ACM 1987, ISBN 0-89791-223-3
Session 1
- Jeffrey D. Ullman:
Database Theory: Past and Future. 1-10 - Gabriel M. Kuper:
Logic Programming With Sets. 11-20 - Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur:
Sets and Negation in a Logic Database Language (LDL1). 21-37
Session 2
- Li-Yan Yuan, Z. Meral Özsoyoglu:
Logical Design of Relational Database Systems. 38-47 - Edward P. F. Chan, Héctor J. Hernández:
On Designing Database Schemes Bounded or Constant-time-maintainable with respect to Functional Dependencies. 48-57 - Georg Gottlob:
Computing Covers for Embedded Functional Dependencies. 58-69
Session 3
- Alessandro D'Atri, Paolino Di Felice, Marina Moscarini:
Dynamic Query Interpretation in Relational Databases. 70-78 - Paolo Atzeni, Maria Cristina De Bernardis:
A New Basis for the Weak Instance Model. 79-86 - Francesco M. Malvestuto:
Answering Queries in Categorial Data Bases. 87-96
Session 4
- Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl:
Nested Transactions and Read/Write Locking. 97-111 - Adrian Segall, Ouri Wolfson
:
Transaction Commitment at Minimal Communication Cost. 112-118 - C. P. Wang, Victor O. K. Li:
The Precedence-Assignment Model for Distributed Database Concurrency Control Algorithms. 119-128 - Vassos Hadzilacos:
A Knowledge Theoretic Analysis of Atomic Commitment Protocols. 129-134
Session 5
- Jack Minker:
Perspectives in Deductive Databases (Abstract). 135 - Krzysztof R. Apt, Jean-Marc Pugin:
Maintenance of Stratified Databases Viewed as a Belief Revision System. 136-145 - Stephen J. Hegner:
Specification and Implementation of Programs for Updating Incomplete Information Databases. 146-158
Session 6
- Alexandros Biliris:
Operation Specific Locking in B-Trees. 159-169 - Otto Nurmi, Eljas Soisalon-Soininen, Derick Wood:
Concurrency Control in Database Structures with Relaxed Balance. 170-176 - Rong Sun, Gomer Thomas:
Performance Results in Multiversion Timestamp Concurrency Control with Predeclared Writesets. 177-184
Session 7
- Rina Dechter:
Decomposing an N-ary Relation into a Tree of Binary Relations. 185-189 - James P. Delgrande:
Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints. 190-196 - Tomasz Imielinski:
Relative Knowledge in a Distributed Database. 197-209
Session 8
- Foto N. Afrati, Christos H. Papadimitriou:
The Parallel Complexity of Simple Chain Queries. 210-213 - Catriel Beeri, Paris C. Kanellakis, François Bancilhon, Raghu Ramakrishnan:
Bounds on the Propagation of Selection into Logic Programs. 214-226 - Jeffrey F. Naughton, Yehoshua Sagiv:
A Decidable Class of Bounded Recursions. 227-236 - Oded Shmueli:
Decidability and Expressiveness of Logic Queries. 237-249
Session 9
- Patricia G. Selinger:
Chickens and Eggs: The Interrelationship of Systems and Theory. 250-253 - Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu:
Axiomatization and Simplification Rules for Relational Transactions. 254-259 - Serge Abiteboul, Victor Vianu:
A Transcation Language Complete for Database Update and Specification. 260-268
Session 10
- Catriel Beeri, Raghu Ramakrishnan:
On the Power of Magic. 269-284 - Gösta Grahne, Seppo Sippu, Eljas Soisalon-Soininen:
Efficient Evaluation for a Subset of Recursive Queries. 284-293 - Alberto Marchetti-Spaccamela, Antonella Pelaggi, Domenico Saccà:
Worst-case Complexity Analysis of Methods for Logic Query Implementation. 294-301
Session 11
- Dirk Van Gucht:
On the Expressive Power of the Extended Relational Algebra for the Unnormalized Relational Model. 302-312 - Allen Van Gelder, Rodney W. Topor:
Safety and Correct Translation of Relational Calculus Formulas. 313-327 - Raghu Ramakrishnan, François Bancilhon, Abraham Silberschatz:
Safety of Recursive Horn Clauses With Infinite Relations. 328-339 - Jeffrey F. Naughton:
One-Sided Recursions. 340-348 - Yehoshua Sagiv:
Optimizing Datalog Programs. 349-362
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-02 21:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: