Programme for the Workshop on Deductive Databases at JICSLP'92 
Author Message
 Programme for the Workshop on Deductive Databases at JICSLP'92

                        Final Programme

                Workshop on Deductive Databases

                 Saturday, 14 November, 1992

                    in conjunction with the
       Joint International Conference and Symposium on Logic Programming
                November 9-13, 1992, Washington D.C., USA

8.30 --- 9.00 Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli
Equivalence, Query-Reachability and Satisfiability in Datalog Extensions

9.00 --- 9.30 Zahidul A. Khandaker, Jose A. Fernandez, Jack Minker
A Tractable Class of Disjunctive Deductive Databases

9.30 --- 10.00 Inderpal Singh Mumick, Kenneth A. Ross
An Architecture for Declarative Object-Oriented Databases

10.00 --- 10.30
Alexandre Lefebvre, Peter Bernus, Rodney Topor
Query Transformation for Accessing Heterogenous Databases  

10.30 --- 11.00  Break  

11.00 --- 11.30  
Devin E. Smith
An Integrated Reactor Physics and Source Term Calculation Based on
Deductive Database Principles  

11.30 --- 12.00
Jiawei Han, Tong Lu
N-Queens Problem Revisited: A Deductive Database Approach  

12.00 --- 1.30 Lunch  

1.30 --- 2.00  
John Harrison, Suzanne W. Dietrich
Maintenance of Materialized Views in Deductive Databases: An Update
Propagation Approach  

2.00 --- 2.30
Ashish Gupta, Dinesh Katiyar, Inderpal Singh Mumick
Counting Solutions to the View Maintenance Problem

2.30 --- 3.00  
Ashish Gupta, Jeffrey D. Ullman  
Generalizing Conjunctive Query Containment for View Maintenance and
Integrity Constraint Verification  

3.00 --- 3.30  Break  

3.30 --- 4.00  
Hakan Jakobsson
On Join-Order Optimal Compositions and Optimizing Recursive Queries

4.00 --- 4.30  
Ling Liu, Jiawei Han
Counting Compressed Method

4.30 --- 5.00  
Shinichi Morishita
An alternating fixpoint tailored to magic programs

5.00 --- 5.30
Surajit Chaudhuri
Finding Nonrecursive Envelopes for Recursive Datalog Predicates

        There were a further 8 papers accepted for the workshop. However,
as there was only one day available, it was not possible to allow each
accepted paper to be presented at the workshop. The other accepted papers
are listed below, and ware included in the collection of workshop papers
which will be distributed to all participants.

I. H. Toroslu,  G. Z. Qadah, L. Henschen
Method Inheritance with Object Updates in an Object-Oriented
Logic Programming Language

Dietmar Seipel, Hans Argenton
Wavefront Techniques for Recursive Logic Programs

Zeki O. Bayram, Barrett R. Bryant
Conditional Term Rewriting as a Deductive Database Language

S. Sudarshan, Raghu Ramakrishnan
Optimizations of Bottom-Up Evaluation with Non-Ground Terms

Jia Liang Han
An Efficient Bottom-Up Evaluation for Datalog

Terry Gaasterland
Coherent Cooperative Answers in Deductive Databases

Louiqa Raschid
Semantics for Rule-based Programs that Express Non-determinism,
Causality and Exception Handling Behaviour

Elisa Bertino, Maurizio Martelli, Danilo Montesi
Modeling Database Updates with Constraint Logic Programming



Mon, 17 Apr 1995 07:57:00 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Programme for the Workshop on Deductive Databases at JICSLP'92

2. Deadline Extension for Workshop on Deductive Databases at JICSLP'92

3. Second CFP: Workshop on Deductive Databases at JICSLP'92 Second Call for Participation

4. 2nd CFP: Workshop on Proofs and Types at JICSLP'92

5. CFP: Workshop on Proofs and Types at JICSLP'92

6. JICSLP '92 - Workshop Call for Papers

7. JICSLP ;92 - Program for Workshop #1

8. ICLP'93 Workshop: Deductive Databases

9. Workshop on Deductive Databases at ICLP'93

10. NACLP'90 Workshop on Deductive Databases (please post)

11. Looking for a Roommate at JICSLP'92

12. ICLP '92 and IWLP '92 -- Wanted: Call for papers

 

 
Powered by phpBB® Forum Software