8. PODS 1989:
Philadelphia,
Pennsylvania
Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania.
ACM Press 1989, ISBN 0-89791-308-6
@proceedings{DBLP:conf/pods/89,
title = {Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium
on Principles of Database Systems, March 29-31, 1989, Philadelphia,
Pennsylvania},
publisher = {ACM Press},
year = {1989},
isbn = {0-89791-308-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Session 1
- Allen Van Gelder:
The Alternating Fixpoint of Logic Programs with Negation.
1-10
- Teodor C. Przymusinski:
Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model.
11-21
- Kenneth A. Ross:
A Procedural Semantics for Well Founded Negation in Logic Programs.
22-33
Session 2
- François Bry:
Logic Programming as Constructivism: A Formalization and its Application to Databases.
34-50
- Tomasz Imielinski, Kumar V. Vadaparty:
Complexity of Query Processing in Databases with OR-Objects.
51-65
- Li-Yan Yuan, Ding-An Chiang:
A Sound and Complete Query Evaluation Algorithm for Relational Databases with Disjunctive Information.
66-74
- Gösta Grahne:
Horn Tables - An Efficient Tool for Handling Incomplete Information in Databases.
75-82
Session 3
Session 4
- Y. C. Tay:
Attribute Agreement.
110-119
- Ke Wang:
Can Constant-time Maintainability Be More Practical?
120-127
- Heikki Mannila, Kari-Jouko Räihä:
Practical Algorithms for Finding Prime Attributes and Testing Normal Forms.
128-133
- Charles Elkan:
A Decision Procedure for Conjunctive Query Disjointness.
134-139
Session 5
Session 6
Session 7
Session 8
Session 9
Session 10
Session 11
Copyright © Fri Mar 12 17:19:55 2010
by Michael Ley (ley@uni-trier.de)