default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th PODS 1988: Austin, Texas
- Chris Edmondson-Yurkanan, Mihalis Yannakakis:
Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 21-23, 1988, Austin, Texas, USA. ACM 1988, ISBN 0-89791-263-2
Session 1
- Ashok K. Chandra:
Theory of Database Queries. 1-9 - Gabriel M. Kuper:
On the Expressive Power of Logic Programming Languages with Sets. 10-14 - Oded Shmueli, Shalom Tsur, Carlo Zaniolo:
Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL). 15-28
Session 2
- Jan Paredaens, Dirk Van Gucht:
Possibilities and Limitations of Using Flat Operators in Nested Algebra Expressions. 29-38 - Richard Hull, Jianwen Su:
On the Expressive Power of Database Queries with Intermediate Types. 39-51 - Michael Kifer, Raghu Ramakrishnan, Abraham Silberschatz:
An Axiomatic Approach to Deciding Query Safety in Deductive Databases. 52-60 - Jan Chomicki, Tomasz Imielinski
:
Temporal Deductive Databases and Infinite Objects. 61-73
Session 3
- Jeffrey D. Ullman, Moshe Y. Vardi:
The Complexity of Ordering Subgoals. 74-81 - Katherine A. Morris:
An Algorithm for Ordering Subgoals in NAIL! 82-88 - Raghu Ramakrishnan, Catriel Beeri, Ravi Krishnamurthy:
Optimizing Existential Datalog Queries. 89-102 - Tomasz Imielinski, Shamim A. Naqvi:
Explicit Control of Logic Programs Through Rule Algebra. 103-116
Session 4
- M. V. Ramakrishna, P. Mukhopadhyay:
Analysis of Bounded Disorder File Organization. 117-125 - Jaideep Srivastava, Doron Rotem:
Analytical Modeling of Materialized View Maintenance. 126-134 - Thanasis Hadzilacos:
Serialization Graph Algorithms for Multiversion Concurrency Control. 135-141 - Udo Kelter:
The Queue Protocol: A Deadlock-free Homogeneous Non-Two-Phase Locking Protocol. 142-151
Session 5
- François Bancilhon:
Object-Oriented Database Systems. 152-162 - Edward P. F. Chan, Héctor J. Hernández:
Independence-reducible Database Schemes. 163-173 - Stephen J. Hegner:
Decomposition of Relational Schemata into Components Defined by Both Projection and Restriction. 174-183
Session 6
- Don S. Batory:
Concepts for a Database System Compiler. 184-192 - Thanasis Hadzilacos, Vassos Hadzilacos:
Transaction Synchronisation in Object Bases. 193-200 - Maurice Herlihy, William E. Weihl:
Hybrid Concurrency Control for Abstract Data Types. 201-210 - Vladimir Lanin, Dennis E. Shasha:
Concurrent Set Manipulation without Locking. 211-220
Session 7
- Allen Van Gelder, Kenneth A. Ross, John S. Schlipf:
Unfounded Sets and Well-Founded Semantics for General Logic Programs. 221-230 - Phokion G. Kolaitis, Christos H. Papadimitriou:
Why Not Negation by Fixpoint? 231-239 - Serge Abiteboul, Victor Vianu:
Procedural and Declarative Database Update Languages. 240-250 - Shamim A. Naqvi, Ravi Krishnamurthy:
Database Updates in Logic Programming. 251-262
Session 8
- M. Muralikrishna, David J. DeWitt:
Optimization of Multiple-Relation Multiple-Disjunct Queries. 263-275 - Wen-Chi Hou, Gultekin Özsoyoglu, Baldeo K. Taneja:
Statistical Estimators for Relational Algebra Expressions. 276-287 - Bing-Chao Huang, Michael A. Langston:
Stable Set and Multiset Operations in Optimal Time and Space. 288-293 - Lin Yu, Daniel J. Rosenkrantz:
Minimizing Time-Space Cost For Database Version Control. 294-301
Session 9
- Raymond Reiter:
What Should A Database Know? 302-304 - Peter Buneman, Susan B. Davidson, Aaron Watters:
A Semantics for Complex Objects and Approximate Queries. 305-314 - Marianne Winslett:
A Framework for Comparison of Update Semantics. 315-324
Session 10
- Seppo Sippu, Eljas Soisalon-Soininen:
A Generalized Transitive Closure for Relational Queries. 325-332 - Ramsey W. Haddad, Jeffrey F. Naughton:
Counting Methods for Cyclic Relations. 333-340 - Moshe Y. Vardi:
Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. 341-351
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 2026-02-13 22:32 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:
