IRList Digest Monday, 15 January 1988 Volume 4 : Issue 8 Today's Topics: Announcement - Advance Program for Expert Database Conference News addresses are Internet or CSNET: fox@vtopus.cs.vt.edu BITNET: foxea@vtvax3.bitnet ---------------------------------------------------------------------- Date: Tue, 26 Jan 88 14:24:56 EST From: Larry Kerschberg Subject: Advance Program for Expert Database Conference ... ADVANCE PROGRAM The Second International Conference on Expert Database Systems April 25-27, 1988 Sheraton Premiere at Tysons Corner, Virginia Sponsored by: George Mason University In Cooperation With: American Association for Artificial Intelligence Association for Computing Machinery - SIGART and SIGMOD IEEE Computer Society - T. C. on Data Engineering Conference Objectives _____________________ The International Conference on Expert Database Systems has established itself as a leading edge forum that explores the theoretical and practical issues in making database systems more intelligent and supportive of Artificial Intelligence (AI) applications. Expert Database Systems represent the confluence of R&D activities in Artificial Intelligence, Database Management, Logic and Logic Programming, Information Retrieval, and Fuzzy Systems Theory. It is precisely this synergism among disciplines which makes the Conference both stimulating and unique. Organizing Committee ____________________ Conference Chairman Edgar H. Sibley, George Mason University Program Chairman Larry Kerschberg, George Mason University Program Committee _________________ Robert Abarbanel, IntelliCorp Hideo Aiso, Keio University Antonio Albano, Univ. di Pisa Stephen Andriole, GMU Robert Balzer, USC/ISI Francois Bancilhon, GIP Altair, France Don Batory, Univ. of Texas Alex Borgida, Rutgers University Michael Brodie, GTE Labs, Inc. Janis Bubenko, Univ. of Stockholm Peter Buneman, Univ. of Pennsylvania Stefano Ceri, Politecnico di Milano Umesh Dayal, Computer Corp. of America Mark Fox, Carnegie-Mellon University Antonio L. Furtado, IBM do Brasil Herve Gallaire, ECRC, FRG Barbara Hayes-Roth, Stanford University Yannis Ioannidis, Univ. of Wisconsin Sushil Jajodia, National Science Foundation Matthias Jarke, Univ. of Passau Jonathan King, Teknowledge, Inc. Roger King, Univ. of Colorado Robert Meersman, Tilburg University Tim Merrett, McGill University Matthew Morgenstern, SRI International John Mylopoulos, Univ. of Toronto Sham Navathe, Univ. of Florida Erich Neuhold, GMD, FRG Setuo Ohsuga, Univ. of Tokyo Stott Parker, UCLA Alain Pirotte, Philips Research Lab Don Potter, Univ. of Georgia Larry Reeker, BDM Corporation Nick Roussopoulos, Univ. of Maryland Erik Sandewall, Linkoping University Timos Sellis, Univ. of Maryland John Smith, Kendall Square Research Reid Smith, Schlumberger Palo Alto Res. Arne Solvberg, Univ. Trondeim John Sowa, IBM SRI Jacob Stein, Servio Logic Dev. Corp. Michael Stonebraker, UC - Berkeley Adrian Walker, IBM TJ Watson Center Andrew Whinston, Purdue University Gio Wiederhold, Stanford University Eugene Wong, UC - Berkeley Carlo Zaniolo, MCC Tutorial and Panel Coordinator Lucian Russell, Computer Sciences Corp. Conference Coordinators Juliette Gregory and Barbara Framer, GMU Exhibit Coordinators Diane Tosh Entner, RAMCOR, REassociates Carolyn Komada, E-Systems, Melpar Publicity Chairman Jorge Diaz-Herrera, GMU Conference Organization and Fee Structure _________________________________________ The three day EDS Conference is organized into the Technical Program and a concurrent Tutorial Program. There are separate fees for each, and a special Conference/Tutorial Package fee is also available. The Conference Fee includes the Technical Program consisting of the Keynote Address, Paper Sessions with twenty-seven high-quality papers, three Panels, Proceedings, Exhibits and Vendor Presentations, three Luncheons, Coffee Breaks, a Hospitality Hour and our Theme Party, Campaign Capers. The Spirit of Washington Cruise is an optional social event. Space is limited for the cruise, and early registration is required. The Tutorial Program consists of four half-day tutorials, running concurrently with the Technical Program. It is designed to provide participants with the latest concepts, tools and techniques related to R&D in Expert Database Systems. You may enroll for up to four tutorials. Each tutorial includes tutorial notes, a coffee break and a luncheon. Thus, participants may choose to attend only tutorials without attending the Conference. Tutorial participants may purchase Social Function tickets separately. The Conference/Tutorial Package is designed to allow conference participants to attend tutorials at reduced rates, enabling participants to concentrate on special interest areas of EDS. Exhibits and Vendor Presentations _________________________________ Leading Artificial Intelligence and Database companies plan to exhibit a range of hardware and software products. In addition to the exhibits, special sessions are planned for vendor product briefings and prototype demonstrations. At this writing, the following vendor presentations have been confirmed: Introduction to the Application Expert, Cullinet, USA; The KEE Connection, IntelliCorp, USA; Copernicus, A Modular Tool for Managing Knowledge and Data, Teknowledge, Inc., USA; and Relational LISP, MAD Computing, USA. Also, several well-known publishing companies will offer their latest titles in the fields of Expert Database Systems, Artificial Intelligence, Expert Systems and Database Management. Social Functions ________________ Campaign Capers: Participate in the Expert Database Systems Conference Presidential Preference Primary! Caucus with your conference associates to determine who will win the U.S. Presidential Election in 1988. Participate in the quintessential Washington activity as you vote for the candidate of your choice, move to republican rhythms and democratic dances, and enjoy regional American cuisine and a cash cocktail bar. Spirit of Washington Cruise: Sail and celebrate springtime in Washington! Enjoy dinner and a musical Broadway revue as you cruise on the Potomac River, past Washington's historic landmarks. Be spirited away on the Spirit of Washington. Note: The cruise is an optional event, and space on the Spirit of Washington is limited, so we recommend that you reserve your place when sending in your Conference Registration Form. ============================ Conference Technical Program ============================ --------------------- Monday, April 25, 1988 ---------------------- 8:45-9:00 am Opening Remarks Chairman: Edgar H. Sibley, George Mason University, USA 9:00-10:00 am Keynote Address Chairman: Larry Kerschberg, George Mason University, USA Future Directions in Expert Database Systems Michael Stonebraker, Univ. of California at Berkeley, USA 10:00-10:30 am Coffee Break 10:30-12:00 am Object-Oriented Systems Chairman: Jacob Stein, Servio Logic, USA Abstract Objects in an Object-Oriented Data Model J. Zhu and D. Maier, Oregon Graduate Center, USA KIVIEW: An Object-Oriented Browser A. Motro, Univ. of Southern California, USA, A. D'Atri and L. Tarantino, Univ. of Rome, Italy Towards a Unified View of Design Data and Knowledge Representation B. Mitschang, Universitat Kaiserslautern, FRG 12:00-1:30 pm Luncheon 1:30- 3:00 pm Constraint Management Chairmen: Herve Gallaire, ECRC, FRG and Alain Pirotte, Philips Labs, Belgium Implementing Constraints in a Knowledge-Base J.A. Wald, Schlumberger-Doll Research, USA Update-Oriented Database Structures L. Tucherman and A.L. Furtado, IBM Rio Scientific Center, Brazil Distribution Design of Integrity Constraints X. Qian, Stanford University, USA 3:00-3:30 pm Coffee Break 3:30-5:00 pm Panel: Constraint-Based Systems: Knowledge about Data Chairman: Matthew Morgenstern, SRI International, USA 5:30-6:30 pm Hospitality Hour 7:00-10:00 pm Campaign Capers ----------------------- Tuesday, April 26, 1988 ----------------------- 8:30-10:00 am Expert Database System Architectures Chairmen: Robert Meersman, Tilburg University, and Sushil Jajodia, NSF BERMUDA - An Architectural Perspective on Interfacing Prolog to a Database Machine Y.E. Ioannidis, J. Chen, M.A. Friedman and M.M. Tsangaris, U. of Wisconsin A Look at Loosely-Coupled Prolog/Database Systems B. Napheys and D. Herkimer, Martin Marietta, USA Combining Top Down and Bottom Up Computation in Knowledge Based Systems M. Nussbaum, ETH, Switzerland 10:00-10:30 am Coffee Break 10:30-12:00 am Morning Parallel Sessions IA: Knowledge/Data System Architectures Chairmen: Roger King, Univ. of Colorado and Robert Abarbanel, IntelliCorp A Distributed Knowledge Model for Multiple Intelligent Agents Y.P. Li, Jet Propulsion Laboratory, USA The Relational Production Language: A Production Language for Relational Databases L.M.L. Delcambre and J.N. Etheredge, U. of Southwestern Louisiana, USA A Transaction Oriented Mechanism to Control Processing in a Knowledge Base Management System L. Raschid, Univ. of Maryland, USA IB: Recursive Query Processing Chairman: Tim H. Merrett, McGill University Transitive Closure of Transitively Closed Relations P. Valduriez and S. Khoshafian, MCC, USA Transforming Nonlinear Recursion to Linear Recursion Y.E. Ioannidis, Univ. of Wisconsin and E. Wong, UC-Berkeley, USA A Compressed Transitive Closure Technique for Efficient Fixed-Point Query Processing H.V. Jagadish, AT&T Bell Laboratories, USA 12:00-1:30 pm Luncheon 1:30-3:00 pm Afternoon Parallel Sessions IIA: Learning and Adaptation in Expert Databases Chairmen: Alex Borgida, Rutgers University and Don Potter, Univ. of Georgia An Automatic Improvement Processor for an Information Retrieval System K.P. Brunner, Merit Technology, Inc. and R.R. Korfhage, Univ. of Pittsburgh, USA Supporting Object Flavor Evolution through Learning in an Object-Oriented Database System Q. Li and D. McLeod, Univ. of Southern California, USA Implicit Representation of Extensional Answers C.D. Shum and R. Muntz, UCLA, USA IIB: Knowledge Management in Deductive Databases Chairmen: Sham Navathe, U. of Florida and Francois Bancilhon, GIP Altair Deep Compilation of Large Rule Bases T.K. Sellis and N. Roussopoulos, Univ. of Maryland, USA Handling Knowledge by its Representative C. Sakama and H. Itoh, ICOT, Japan Integrity Constraint Checking in Deductive Databases using a Rule/Goal Graph B. Martens and M. Bruynooghe, Katholieke Universiteit Leuven, Belgium 3:00-3:30 pm Coffee Break 3:30-5:00 pm Panel: Knowledge Distribution and Interoperability Chairman: Michael Brodie, GTE Labs, USA 6:00-11:00 pm Spirit of Washington Cruise ------------------------- Wednesday, April 27, 1988 ------------------------- 9:00-10:30 am Intelligent Database Interfaces Chairmen: Erich Neuhold, GMD, FRG and Larry Reeker, BDM Corp. Musing in an Expert Database S. Fertig and D. Gelernter, Yale University, USA Cooperative Answering: A Methodology to Provide Intelligent Access to Databases F. Cuppens and R. Demolombe, ONERA-CERT, France G+: Recursive Queries without Recursion I.F. Cruz, A.O. Mendelzon and P.T. Wood, Univ. of Toronto, Canada 10:30-11:00 am Coffee Break 11:00-12:30 pm Semantic Query Optimization Chairman: Matthias Jarke, Univ. of Passau, FRG Automatic Rule Derivation for Semantic Query Optimization M.D. Siegel, Boston University, USA A Metainterpreter to Semantically Optimize Queries in Deductive Databases J. Lobo and J. Minker, Univ. of Maryland, USA >From QSQ towards QoSaQ: Global Optimization of Recursive Queries L. Vieille, ECRC, FRG 12:30-2:00 pm Luncheon 2:00-3:30 pm Panel: Knowledge Management Chairman: Adrian Walker, IBM T.J. Watson Research Center, USA Panelists: R. Kowalski, Imperial College, London, D. Lenat, MCC, Austin, E. Soloway, Yale University and M. Stonebraker, UC - Berkeley ========================= Tutorial Program ========================= Tutorial I - Monday Afternoon, April 25, 1:30 pm - 5:00 pm Logic and Databases Instructor: Dr. Carlo Zaniolo, MCC, Austin, Texas Dr. Zaniolo heads a group at MCC performing research on deductive databases and logic programming. He has held positions at Sperry Research and Bell Laboratories. He is the author of over 40 technical papers, a member of numerous Program Committees, and edited the December 1987 Data Engineering special issue on Databases and Logic. Course Description: There is a growing demand for supporting knowledge-based applications by means of Knowledge Management Systems; these will have to combine the inference mechanisms of Logic with the efficient and secure management of data provided by Database Management Systems(DBMS). The major topics are: Logic and relational query languages; Semantics of Horn Clauses; Prolog and DBMSs; Coupling Prolog with a DBMS; Making Prolog a database language; Integrating Logic and Database Systems: Sets, Negation and Updates; Choosing an Execution Model; Compilation: magic sets to support recursive predicates; Optimization and Safety; Overview of selected R&D projects. ___________________________________________________________________ Tutorial II - Tuesday Morning, April 26, 8:30 am - 12:00 am Distributed Problem Solving in Knowledge/Data Environments Instructor: Prof. Victor Lesser, University of Massachusetts, Amherst, MA Dr. Lesser is Professor of Computer and Information Science at UMASS, where he heads research groups in Distributed Artificial Intelligence and Intelligent User Interfaces. Prior to joining UMASS in 1977, he was on the faculty of Carnegie-Mellon University, where he was a Principal in the development of the HEARSAY Speech Understanding System and responsible for the system architecture. Course Description: This tutorial will explore the major concepts and systems for cooperative knowledge-based problem solving. The major topics include: Connectionist, Actor and Cooperating ES paradigms; Conceptual Issues including: examples of distributed search, interpretation, planning and cooperation, global coherence, dealing with inconsistency and incompleteness, sharing world views, and design rules for a cooperating ES; System Architectures for satisficing, negotiation, tolerance of inconsistency in problem-solving, organizational structuring, integration of local and network control, and expectation-driven communication; Discussion of working systems including Contract Nets, Partial Global Planning, AGORA MACE, ABE, DPS, and MINDS; and Future Directions. _______________________________________________________________________ Tutorial III - Tuesday Afternoon, April 26, 1:30 pm - 5:00 pm Knowledge Representation and Data Semantics Instructor: Prof. John Mylopoulos, University of Toronto, Canada Dr. John Mylopoulos is Professor of Computer Science at the University of Toronto and research fellow of the Canadian Institute for Advanced Research. His research interests include knowledge representation and its applications to Databases and Software Engineering. Dr. Mylopoulos has edited three books on the general topic of AI and Databases. He received his Ph.D degree from Princeton University. Course Description: Knowledge Representation including history, basic paradigms such as semantic nets, logic-based representations, productions, frames, role of uncertainty, and inference mechanisms, examples such as KL-ONE and OMEGA; Semantic Data Models including historical models such as Abrial's Binary Model, Entity/Relationship, RM/T and SDM, detailed study of ADAPLEX, TAXIS, and GALILEO, implementation techniques; Comparison of SDMs to Object-Oriented model such as POSTGRES and GEM as well as Deductive Databases. ________________________________________________________________________ Tutorial IV - Wednesday Morning, April 27, 9:00 am - 12:30 pm Acquisition of Knowledge from Data Instructor: Prof. Gio Wiederhold, Stanford University, Stanford, California Dr. Gio Wiederhold is Associate Professor of Medicine and Computer Science (Research) at Stanford University. His research involves knowledge-based approaches to medicine, design, and planning. He is the Editor-in-Chief of ACM's Transactions on Database Systems and associate editor of M.D. Computing and IEEE Expert magazine. Wiederhold has over 130 publications, including a widely used textbook on Database Design. In 1987, McGraw-Hill published his new book, File Organization for Database Design. Course Description: The architecture of an operational system, RX, is presented which uses knowledge-based techniques to extract new knowledge from a large clinical database. RX exploits both frame-based knowledge and rules, as well as a database. Frames are used to store deep and interconnected knowledge about disease states and medical actions. Definitional and causal knowledge is represented by inter-connections between frames that go across the hierarchies, sideways as well as up and down, so that the aggregate knowledge is represented by a network. Rules select the appropriate statistical methods used to reduce the volume of data into information. The database contains observations on rheumatic diseases, collected over a dozen years. _________________________________________________________________________ Travel Arrangements ------------------- The official travel agent for EDS'88 is: ALL Travel, Four Seasons One Building, 3016 Williams Dr., Suite 1, Fairfax, VA 22031, USA. All Travel's toll-free number is 1-800-338-8137; TELEX No. 910-250-1473 with Answer Back ALLTVL UQ. Please mention the Expert Database Conference when making reservations. All Travel offers substantial discounts for EDS'88 participants for International and Domestic Flights on Pan Am, Delta, and United. Airports and Ground Transportation __________________________________ The EDS'88 Conference Hotel is the Sheraton Premiere, located about 15 miles from the Washington Dulles International Airport. Both domestic and international flights use Dulles. The Sheraton provides free shuttle service from Dulles, leaving every hour on the hour, and picking up passengers on the Arrivals Level between Baggage Areas 1 and 2. The Washington National Airport is convenient for many Domestic Flights, and taxi service is available. For those driving, the Sheraton offers free parking, and is located at 8661 Leesburg Pike at Tyson's Corner, about two miles West of the Beltway (I-495). Conference and Tutorial Fee Instructions ________________________________________ The Conference and Tutorial Fees table below shows the fee structure for a) Conference only, b) Tutorials only, and c) the Conference/Tutorial Package. First, decide whether you are going to attend a), b) or c). If you are attending tutorials, decide how many and check the appropriate number under b) or c). Finally, on the row you have checked, circle the appropriate amount based on Early (on or before March 21) or Late (after March 21) registration, and the appropriate membership category: Member, Regular, or Student. The Member rate applies to members of our cooperating societies: AAAI, ACM or IEEE. The Regular rate applies to non-members of these societies, and the Student rate applies to students. Please Fill in the Form below and detach between the "========" delimiters. Return the Hotel form directly to the Sheraton. ======================================================================= Conference and Tutorial Fees ---------------------------- ____________________________________________________________________ On or Before March 21 | After March 21 ____________________________________________________________________ Mem. Reg. Stu. | Mem. Reg. Stu ____________________________________________________________________ a) Conf. only ___ $250 $320 $100 | $300 $370 $150 ____________________________________________________________________ b) Tutorials only, check qty. desired One ___ $170 $170 $100 | $180 $180 $110 Two ___ $300 $300 $180 | $320 $320 $200 Three ___ $380 $380 $220 | $410 $410 $250 Four ___ $450 $450 $250 | $490 $490 $290 ____________________________________________________________________ c) Conf./Tut. Package check qty. desired One ___ $370 $440 $200 | $420 $490 $250 Two ___ $450 $520 $280 | $500 $570 $330 Three ___ $510 $580 $320 | $560 $630 $370 Four ___ $550 $620 $350 | $600 $670 $400 ____________________________________________________________________ Conference Registration Form ---------------------------- All payments must be in U.S. Dollars. Methods of payment are check, bank drafts, Visa or Mastercard. Make checks payable to the: GMU Foundation. For telephone queries call (703) 323-2198. Send completed registration form and remittance to: EDS Conference Office of Community Services, Div. of Continuing Education George Mason University 4400 University Drive Fairfax, VA 22030, USA Name _________________________________________________ Organization _________________________________________________ Address _________________________________________________ City, State, ZIP _______________________________________________ Country _______________________________________________ Business Phone _________________________________________________ AIII/ACM/IEEE # _________________________________________________ Credit Card: VS or MC (circle one) No___________________________ Expiration Date _______ and Signature: __________________________________________________ Tutorials selected (if applicable): ___ I: Logic and Databases ___ II: Distributed AI/DB Environments ___ III: K.R. & Data Semantics ___ IV: Acqusition of Knowledge from Data Additional Social Function tickets may be purchased. Indicate quantities below: ___ Campaign Capers @ $50 ___ Spirit of Washington @ $35 (Note this is an optional event; register early!). Total Amount Included _________________________________________ ======================================================================== Hotel Reservation Form: Please fill out the form and mail by April 4 to: Sheraton Premiere at Tysons Corner, 8661 Leesburg Pike, Vienna, VA 22180, USA ###################################################################### Second International Conference on Expert Database Systems April 24-27, 1988 Special Rates: $90 for Single/Double, $99 Triple Suite Rates Available Upon Request PLEASE PRINT Name ________________________________________________________________ last first Street _________________________________________________________ City ________________________ State _____________ Zip _________ Arrival Date ______________________________________________________ day of week month date time Departure Date _____________________________________________________ day of week month date Please Reserve ____________________ room(s) for ___________ persons(s) NAMES OF PERSONS SHARING ACCOMMODATIONS ________________________________________________________________________ Rollaway -- $15 extra per night Reservations must be received at the hotel by APRIL 4, 1988. Reservations received after this date will be accepted on a space and rate available basis only. ------------------- GUARANTEED RESERVATIONS ------------------- First Night Deposit of Major Credit Card for any arrival after 4 PM. A guaranteed payment assures you that a room will be held for your day of arrival. The room will become available for resale if you have not registered by 6:00 AM THE FOLLOWING MORNING. You will be billed for the first night's room & tax revenue if the reservation is not cancelled before 6PM (EST) on the day of arrival. Please ask the clerk for a cancellation number (703/448-1234). GUARANTEE INFORMATION: (Please Print). Firm Name ________________________________________________ Address __________________________________________________ City ________________________ State _____________ Zip _________ Home Phone ____________________ Business Phone ____________________ Credit Card ____________________________________________________ AX, VISA, MC, DC, CB (circle one) Expiration Date: _________________________ Signature: _____________________________________________________ CHECK OUT TIME IS 12 Noon; ROOMS WILL NOT BE READY FOR YOUR ARRIVAL UNTIL 3 PM. ##################################################################### ------------------------------ END OF IRList Digest ********************