Kotagiri Ramamohanarao,
James Harland,
Guozhu Dong (Eds.):
Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming,
Washington,
D.C.,
USA,
Saturday,
November 14,
1992,
Technical Report,
Department of Computer Science,
University of Melbourne,
CITRI/TR-92-65
- Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli:
Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions.
1-10
- Zahidul A. Khandaker, José Alberto Fernández, Jack Minker:
A Tractable Class of Disjunctive Deductive Databases.
11-20
- Inderpal Singh Mumick, Kenneth A. Ross:
An Architecture for Declarative Object-Oriented Databases.
21-30
- Alexandre Lefebvre, Peter Bernus, Rodney W. Topor:
Query Transformation for Accessing Heterogeneous Databases.
31-40
- Devin E. Smith:
An Integrated Reactor Physics and Source Term Calculation Based on Deductive Database Principles.
41-47
- Jiawei Han, Tong Lu:
N-Queens Problem Revisited: A Deductive Database Approach.
48-55
- John V. Harrison, Suzanne W. Dietrich:
Maintenance of Materialized Views in a Deductive Database: An Update Propagation Approach.
56-65
- Håkan Jakobsson:
On Join-Order Optimal Compositions and Optimizing Recursive Queries.
66-75
- Ling Liu, Jiawei Han:
Compressed Counting Method.
76-85
- Shinichi Morishita:
An anternating fixpoint tailored to magic programs.
86-95
- Surajit Chaudhuri:
Finding Nonrecursive Envelopes for Datalog Predicates.
96-105
- Ismail H. Toroslu, Ghassan Z. Qadah, Lawrence J. Henschen:
Method Inheritance with Object Updates in an Object-Oriented Logic Programming Language.
106-115
- Dietmar Seipel, Hans Argenton:
Wavefront Techniques for Recursive Logic Programs.
116-125
- Zeki O. Bayram, Barrett R. Bryant:
Conditional Term Rewriting as a Deductive Database Language.
126-135
- S. Sudarshan, Raghu Ramakrishnan:
Optimizations of Bottom-Up Evaluation with Non-Ground Terms (Extended Abstract).
136-145
- Jia Liang Han:
An Efficient Bottom-ip Evaluation for Datalog.
146-154
- Terry Gaasterland:
Coherent Cooperative Answers in Deductive Databases.
155-162
- Louiqa Raschid:
Semantics for Rule-based Programs that Express Non-determinism, Causality and Exception Handling Behavior.
163-174
- Elisa Bertino, Maurizio Martelli, Danilo Montesi:
Modeling Database Updates with Constraint Logic Programming.
175-184
- Ashish Gupta, Dinesh Katiyar, Inderpal Singh Mumick:
Counting solutions to the View Maintenance Problem.
185-194
- Ashish Gupta, Jeffrey D. Ullman:
Generalizing Conjunctive Query Containment for View Maintenance and Integrity Constraint Verification (Abstract).
195
Copyright © Fri Mar 12 17:09:33 2010
by Michael Ley (ley@uni-trier.de)
