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 BibTeX
- Zahidul A. Khandaker, José Alberto Fernández, Jack Minker:
A Tractable Class of Disjunctive Deductive Databases.
11-20 BibTeX
- Inderpal Singh Mumick, Kenneth A. Ross:
An Architecture for Declarative Object-Oriented Databases.
21-30 BibTeX
- Alexandre Lefebvre, Peter Bernus, Rodney W. Topor:
Query Transformation for Accessing Heterogeneous Databases.
31-40 BibTeX
- Devin E. Smith:
An Integrated Reactor Physics and Source Term Calculation Based on Deductive Database Principles.
41-47 BibTeX
- Jiawei Han, Tong Lu:
N-Queens Problem Revisited: A Deductive Database Approach.
48-55 BibTeX
- John V. Harrison, Suzanne W. Dietrich:
Maintenance of Materialized Views in a Deductive Database: An Update Propagation Approach.
56-65 BibTeX
- Håkan Jakobsson:
On Join-Order Optimal Compositions and Optimizing Recursive Queries.
66-75 BibTeX
- Ling Liu, Jiawei Han:
Compressed Counting Method.
76-85 BibTeX
- Shinichi Morishita:
An anternating fixpoint tailored to magic programs.
86-95 BibTeX
- Surajit Chaudhuri:
Finding Nonrecursive Envelopes for Datalog Predicates.
96-105 BibTeX
- Ismail H. Toroslu, Ghassan Z. Qadah, Lawrence J. Henschen:
Method Inheritance with Object Updates in an Object-Oriented Logic Programming Language.
106-115 BibTeX
- Dietmar Seipel, Hans Argenton:
Wavefront Techniques for Recursive Logic Programs.
116-125 BibTeX
- Zeki O. Bayram, Barrett R. Bryant:
Conditional Term Rewriting as a Deductive Database Language.
126-135 BibTeX
- S. Sudarshan, Raghu Ramakrishnan:
Optimizations of Bottom-Up Evaluation with Non-Ground Terms (Extended Abstract).
136-145 BibTeX
- Jia Liang Han:
An Efficient Bottom-ip Evaluation for Datalog.
146-154 BibTeX
- Terry Gaasterland:
Coherent Cooperative Answers in Deductive Databases.
155-162 BibTeX
- Louiqa Raschid:
Semantics for Rule-based Programs that Express Non-determinism, Causality and Exception Handling Behavior.
163-174 BibTeX
- Elisa Bertino, Maurizio Martelli, Danilo Montesi:
Modeling Database Updates with Constraint Logic Programming.
175-184 BibTeX
- Ashish Gupta, Dinesh Katiyar, Inderpal Singh Mumick:
Counting solutions to the View Maintenance Problem.
185-194 BibTeX
- Ashish Gupta, Jeffrey D. Ullman:
Generalizing Conjunctive Query Containment for View Maintenance and Integrity Constraint Verification (Abstract).
195 BibTeX
Copyright © Sat May 16 23:06:20 2009
by Michael Ley (ley@uni-trier.de)
