Workshop on Deductive Databases -FINAL PROGRAM- 
Author Message
 Workshop on Deductive Databases -FINAL PROGRAM-

               International Logic Programming Symposium
                         San Diego, California

                   *********************************

                    WORKSHOP ON DEDUCTIVE DATABASES

                  Thursday afternoon, October 31, 1991.

                            FINAL PROGRAM

                   *********************************

1:40    Introduction
          Laks Lakshmanan

QUERY PROCESSING

1:50    Using Trees for Faster Evaluation of Queries
          H. Jakobsson

2:35    Is It Possible to Capture More Bindings than Magic Rule Rewriting?
          J. Han        

3:20    A Redundant-Free Transitive Closure Algorithm
          S-S. Wei

3:40-3:55 BREAK

UPDATES AND OBJECTS

3:55    Declarative Update Specifications for Complex Objects Databases
          L. Palopoli and R. Torlone

4:40    Bottom-Up Evaluation of Stratified Ordered Logic Programs
          N. Leone, G. Rossi, and P. Rullo

DATALOG EXTENSIONS AND COMPLEXITY

5:00    Monotonic Aggregation in Deductive Databases
          K.A. Ross and Y. Sagiv

5:45    Reasoning with Recursive Relations: Negation, Inequality, and
        Linear Order
          R. van der Meyden

6:30-7:30  DINNER BREAK

IMPLEMENTATIONS AND SYSTEMS

7:30    INVITED TALK: The Design of the LDL++ System
          C. Zaniolo

8:15    Stream Processing in Deductive Databases
          D.S. Parker  

PARALLEL QUERY PROCESSING

8:35    Exploiting Parallelism in Bottom-Up Computation in Aditi
          T.S. Leask, K. Ramamohanarao, and P.J. Stuckey    

8:55    Characterization of the Divide-and-Conquer Method for
        Parallelization
          Q. Yang, C. Yu, and W. Meng

CONSTRAINTS  

9:15    Metaprogramming for Propagating Constraining Literals for Query
        Optimization in Deductive Databases
          J.L. Traff and S.D. Prestwich  

9:35    Describing Databases for Automatic Design through Constraint Based
        Reasoning
          V. Dahl, G. Sidebottom, and J. Ueberla

9:55-10:10  BREAK

NEGATION

10:10   Disjunctive LP + Integrity Constraints = Stable Model Semantics
          J.A. Fernandez, J. Lobo, J. Minker, V.S. Subrahmanian

10:55   Classification of Iterative Fixpoint Semantics for Logic
        Programs and Deductive Databases
          C. Baral  

11:40   Good Night!



Mon, 04 Apr 1994 03:01:31 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Final CFPs DDLP99: Deductive Databases and Logic Programming

2. CFP - DDLP98: Deductive Databases and Logic Programming Workshop

3. Workshop on Deductive Databases -ADVANCE PROGRAM-

4. Final Program --- ILPS 93 WORKSHOP ON PROGRAMMING WITH LOGIC DATABASES

5. Final CFP ILPS'95 Workshop: Constraints, Databases, Logic Programming

6. ICLP'93 Workshop: Deductive Databases

7. Workshop on Deductive Databases at ICLP'93

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

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

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

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

12. CFP for Workshop on Deductive Databases

 

 
Powered by phpBB® Forum Software