Deductive Databases and Logic Programming 1994

Ulrich Geske, Dietmar Seipel (Eds.): Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, June 17, 1994, Santa Marherita Ligure, Italy. Gesellschaft für Mathematik und Datenverarbeitung MBH, GMD-Studien Nr. 231, 1994, ISBN 3-88457-231-8

Extensions of Datalog

Carlo Zaniolo, Reza Sadri: A Simple Model for Active Rules and their Behavior in Deductive Databases. 13-26
Luca Corciulo, Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo: Expressive Power of Non-Deterministic Operators for Logic-based Languages. 27-40
Burkhard Freitag: Representing Objects as Modules in Deductive Databases. 41-56 , Postscript

Updates in Deductive Databases

Elisa Bertino, Barbara Catania, Giovanna Guerrini, Danilo Montesi: Static Analysis of Transactional Intensional Databases. 57-73
Anthony Tomasic: Determining Correct View Update Translations via Query Containment. 75-83

Session 3: Query Processing and Optimization

Tiziana Catarci, Isabel F. Cruz: On Expressing Stratified Datalog. 85-100 , Postscript
Kenneth A. Ross: Constraint Stratification in Deductive Databases. 101-115
Prasad Rao, I. V. Ramakrishnan, Terrance Swift, David Scott Warren: Dynamic Argument Reduction for In-memory Data Queries. 117-129
Inderpal Singh Mumick: One-Phase Magic-sets Transformation. 131-141

Session 4: Applications

David B. Kemp, Kotagiri Ramamohanarao: A Deductive Database Solution to the Preferential Vote Counting Problem. 143-158
Dimitris Papadias, Andrew U. Frank, Manolis Koubarakis: Constraint-Based Reasoning in Geographic Databases: the Case of Symbolic Arrays. 159-171