Call For Attendance ICLP'94 Post-Conference Workshop on DEDUCTIVE DATABASES AND LOGIC PROGRAMMING Friday, June 17, 1994 Santa Margherita Ligure, Italy -------------------------------------------------------------------------- New techniques from logic programming are useful for extending the power and efficiency of deductive database systems, and techniques from deductive databases can be used for the processing of large logic programs. Topics of the workshop are: abstract interpretations and program transformations; non-deterministic extensions of logic database languages; non-monotonic deduction; constraint reasoning in databases; expressiveness of query languages; query optimization and evaluation; logics of active databases; updates and knowledge acquisition. Organizers: Natraj Arni Els Laenens Ulrich Geske Dietmar Seipel Fosca Giannotti Mark Wallace Contact: Dietmar Seipel, Universitaet Tuebingen, Sand 13, D - 72076 Tuebingen, Germany, e-mail: seipel@informatik.uni-tuebingen.de Phone: +49 7071 29 5993 Fax: +49 7071 29 5958 -------------------------------------------------------------------------- PROGRAM: -------- 8.45 - 10.30 Session 1: Extensions of Datalog ---------------------------------------------- * A Simple Model for Active Rules and their Behavior in Deductive Databases Carlo Zaniolo, Reza Sadri (University of California, Los Angeles, USA) * Expressive Power of Non-Deterministic operators for logic-based languages Luca Corciulo, Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo (CNUCE-CNR Pisa, Universita di Pisa, Italy, and University of California, Los Angeles, USA) * Representing Objects as Modules in Deductive Databases Burkhard Freitag (Universitaet Passau, Germany) 11.00 - 12.10 Session 2: Updates in Deductive Databases -------------------------------------------------------- * Static Analysis of Transactional Intensional Databases Elisa Bertino, B. Catania, G. Guerrini, Danilo Montesi (Universita di Milano, Italy, and Rutherford Appleton Laboratory, United Kingdom) * Determining Correct View Update Translations via Query Containment Anthony Tomasic (Stanford University, Palo Alto, USA) Lunch 14.15 - 16.00, 16.30 - 17.05 Session 3: Query Processing and Optimization -------------------------------------------------------------------------- * On Expressing Stratified Datalog Tiziana Catarci, Isabel F. Cruz (Universita di Roma, Italy, and Brown University, Providence, USA) * Constraint Stratification in Deductive Databases Kenneth Ross (Columbia University, New York, USA) * Dynamic Argument Reduction for In-memory Data Queries Prasad Rao, I.V. Ramakrishnan, Terrance Swift, David S. Warren (SUNY, Stony Brook, USA) * One-Phase Magic-sets Transformation Inderpal Singh Mumick (AT&T Bell Labs, Murray Hill, USA) 17.10 - 18.20 Session 4: Applications -------------------------------------- * A deductive database solution to the preferential vote counting problem David Kemp, Kotagiri Ramamohanarao (University of Melbourne, Australia) * Constraint-Based Reasoning in Geographic Databases: the Case of Symbolic Arrays Dimitris Papadias, Andrew Frank and Manolis Koubarakis (TU Vienna, Austria, and Imperial College, London, United Kingdom) -------------------------------------------------------------------------- WORKSHOP ORGANIZATION: ---------------------- The workshop will be held in conjunction with ICLP'94. ICLP'94 is the eleventh international conference on logic programming and is one of the two major annual international conferences reporting recent research results in logic programming. The technical program for the conference will include tutorials, invited lectures, and presentations of refereed papers and posters. For general information about attending ICLP'94 and this workshop (registration, accommodation), please contact the ICLP'94 conference secretariat: Piera Ponta Consorzio Genova Ricerche via dell'Acciaio 139 16152 Genova, Italy Email: ponta@infmge.ge.infn.it Phone: +39 10 6514000 Fax: +39 10 6512981, 6503801 REGISTRATION FEES: For people attending ICLP'94: 40 $ For people *not* attending ICLP'94: 80 $ The registration fee cover refreshments during coffee breaks and a copy of the proceedings. LOCATION: The workshop will be held at the Grand Hotel Miramare in Santa Margherita Ligure, a lovely small town near Genova (about 30 Km), renowned for the beautiful natural scenarios and the many tourist facilities. Santa Margherita is also the only access to the worldwide famous villages of Paraggi and Portofino, pearls of the Mediterranean Sea and marine natural park. Not far from Santa Margherita is also the pleasant resort area of `Cinque Terre', consisting of five picturesque villages on the rocky coast which can be reached by train or boat only. The Grand Hotel Miramare a classic-style building, conveniently situated at one end of the Santa Margherita gulf, with private beach, private garden, private swimming pool, and at a walking distance from Paraggi (Km. 2) and Portofino (Km. 4). TRAVEL INFORMATION: The Grand Hotel Miramare is in walking distance (20 minutes - 1/2 hour) from the Santa Margherita railway station. Santa Margherita is easily reachable by train or bus ( 1/2 hour) from Genova, in turn easily reachable by train, car and plane. The airoport of Genova is daily connected with London, Zurich, Munich, Bruxelles, Frankfurt, Rome and Naples. From the airport of Genova it is possible to reach the railways stations of Genova (Brignole and Principe) by bus. The cost of the ticket is Lit. 4000. -------------------------------------------------------------------------- PAYMENT The amount due for participation in the conference, in the workshops and in the social program can be paid (in US $) as follows: * by cheque made payable to Consorzio Genova Ricerche, Via dell'Acciaio 139, 16152 Genova, Italy * by money transfer to Consorzio Genova Ricerche, current account n. 21503/20 banca CARIGE Ag. 21, Genova, Italy * by cash at the registration desk (in this case no discount will be applied) Credit cards cannot be accepted Please make sure that your payment includes any banking or other fees, so that we receive the correct amount. GRANTS A limited number of grants is available for young researchers and/or for researchers from the Eastern and the Developing Countries. For more information or application forms, please send an e-mail-request to fosca@orione.cnuce.cnr.it CANCELLATIONS For cancellations communicated (in writing) to the conference secretariat before June 4, 1994, all fee will be refunded minus a 15% deduction. HOTEL ACCOMMODATION All hotels reserved for the conference are located within walking distance from the Grand Hotel Miramare. Hotels at the following rates (in Italian Lire) have been reserved for ICLP participants: single room double room *** 120.000/180.000 200.000/280.000 *** 70.000/90.000 110.000/140.000 ** 55.000/75.000 90.000/120.000 Please indicate your preference in the attached Hotel Accommodation Form. Every effort will be made to meet participants' preferences on a first-come/first-served basis. Confirmation of the reservation with all details on the hotel and its location will be given after receival of the hotel accommodation form. For an accommodation different from those proposed, please contact the Conference Secretariat. The hotel accommodation will be considered as definitely confirmed only after receival of the registration form and after payment of the participation fee. Should the hotel accommodation form not be followed by any confirmation of participation, the hotel reservation will be cancelled. -------------------------------------------------------------------------------- REGISTRATION FORM -------------------------------------------------------------------------------- Please complete (block letters) and return to the Conference Secretariat by May 28, 1994, to pay a reduced fee. Surname ______________________________________________________________________ First name ____________________________________________________________________ Affiliation ___________________________________________________________________ Full address __________________________________________________________________ _______________________________________________________________________________ Telephone ________________________ Fax ________________________________ e-mail ______________________________________ Name/s of the accompanying person/s participating in the conference: _______________________________________________________________________________ _______________________________________________________________________________ _______________________________________________________________________________ Please fill in: __ I will participate in the conference US $ ____________________ __ I will participate in workshop n.___ US $ ____________________ __ Social dinner for n. ____ person/s US $ ____________________ __ Excursion for n. ____ person/s US $ ____________________ Total US $ ____________________ Please find enclosed: ___Copy of the money tranfer ___Cheque ___I will pay at the conference (full fee) -------------------------------------------------------------------------------- HOTEL ACCOMMODATION FORM -------------------------------------------------------------------------------- Please complete (block letters) and return URGENTLY by fax or e-mail to the Conference Secretariat. Name __________________________________________________________________ Telephone ______________________ Fax ____________________________ Please reserve for me: n. _______ __ single room/s n. _______ __ double room/s to be shared with ________________________________________________________________ in the following hotel **** ___ *** ___ ** ___ Arrival on ____________________________ Departure on ___________________________ Date __________________________________ Signature _____________________________