default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd PODS 1984: Waterloo, Ontario, Canada
- Daniel J. Rosenkrantz, Ronald Fagin:
Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada. ACM 1984, ISBN 0-89791-128-8
Session 1
- Alessandro D'Atri, Marina Moscarini:
On the Recognition and Design of Acyclic Databases. 1-8 - Gösta Grahne, Kari-Jouko Räihä:
Dependency Characterizations for Acyclic Database Schemes. 9-18 - Domenico Saccà, F. Manfredi, A. Mecchia:
Properties of Database Schemata with Functional Dependencies. 19-28 - Stavros S. Cosmadakis
, Paris C. Kanellakis:
Functional and Inclusion Dependencies: A Graph Theoretic Approach. 29-37
Session 2
- Georg Lausen, Eljas Soisalon-Soininen, Peter Widmayer:
Maximal Concurrency by Locking. 38-44 - Gael N. Buckley, Abraham Silberschatz:
Concurrency Control in Graph Protocols by Using Edge Locks. 45-50 - Ray Ford, Jim Calhoun:
Concurrency Control Mechanisms and the Serializability of Concurrent Tree Algorithms. 51-60
Session 3
- Hector Garcia-Molina, Frank M. Pittelli, Susan B. Davidson:
Is Byzantine Agreement Useful in a Distributed Database? 61-69 - Don S. Batory:
Conceptual-To-Internal Mappings in Commercial Database Systems. 70-78 - Kee S. Ong:
Synapse Approach to Database Recovery. 79-85
Session 4
- Gabriel M. Kuper, Moshe Y. Vardi:
A New Approach to Database Logic. 86-96 - Richard Hull:
Relative Information Capacity of Simple Relational Database Schemata. 97-109 - Marco A. Casanova, Paulo A. S. Veloso, António L. Furtado:
Formal Data Base Specification - An Eclectic Perspective. 110-118 - Serge Abiteboul, Richard Hull:
IFO: A Formal Semantic Database Model. 119-132
Session 5
- Z. Meral Özsoyoglu, Elarbi Choukhmane:
On the Cyclic to Acyclic Scheme Transformation and Solving Cyclic Queries. 133-142 - Marc Gyssens, Jan Paredaens:
On the Decomposition of Join Dependencies. 143-152 - Hai-Yann Hwang, Umeshwar Dayal, Mohamed G. Gouda:
Using Semiouterjoins to Process Queries in Multidatabase Systems. 153-162 - Stephen J. Hegner:
Canonical View Update Support through Boolean Algebras of Components. 163-173
Session 6
- Walter A. Burkhard:
Index Maintenance for Non-Uniform Record Distributions. 173-179 - Jack A. Orenstein, T. H. Merrett:
A Class of Data Structures for Associative Searching. 181-190 - Serge Abiteboul, Nicole Bidoit:
Non First Normal Form Relations to Represent Hierarchical Organized Data. 191-200
Session 7
- Witold Lipski Jr.:
On Relational Algebra with Marked Nulls. 201-203 - Richard T. Snodgrass:
The Temporal Query Language TQuel. 204-213 - Victor Vianu:
Object Projection Views in the Dynamic Relational Model. 214-220
Session 8
- Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi:
On the Equivalence of Logical Databases. 221-228 - Haruo Yokota, Susumu Kunifuji, Takeo Kakuta, Nobuyoshi Miyazaki, Shigeki Shibayama, Kunio Murakami:
An Enhanced Inference Mechanism for Generating Relational Algebra Queries. 229-238 - Sharon C. Salveter:
A Transportable Natural Language Database Update System. 239-247 - David W. Stemple, Tim Sheard:
Specification and Verification of Abstract Database Types. 248-257
Session 9
- Tomasz Imielinski, Nicolas Spyratos:
On Lossless Transformation of Database Schemes not Necessarily Satisfying Universal Instance Assumption. 258-265 - Patrick C. Fischer, Dirk Van Gucht:
Weak Multivalued Dependencies. 266-274 - Mihalis Yannakakis:
Querying Weak Instances. 275-280 - Marc H. Graham, Moshe Y. Vardi:
On the Complexity and Axiomatizability of Consistent Database States. 281-289
Session 10
- Dale Skeen, David D. Wright:
Increasing Availability in Partitioned Database Systems. 290-299 - Marc H. Graham, Nancy D. Griffeth, Barbara Smith-Thomas:
Reliable Scheduling of Database Transactions for Unreliable Systems. 300-310 - Y. C. Tay, Rajan Suri, Nathan Goodman:
A Mean Value Performance Model for Locking in Databases: The Waiting Case. 311-322 - Kari-Jouko Räihä, Henry Tirri:
Towards a Theory of Online Schedulers. 323-332
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 2025-01-21 20:24 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:
