Date: Thu 21 Apr 1988 21:53-PDT From: AIList Moderator Kenneth Laws Reply-To: AIList@KL.SRI.COM Us-Mail: SRI Int., 333 Ravenswood Ave., Menlo Park, CA 94025 Phone: (415) 859-6467 Subject: AIList V6 #78 - Expert Database Systems To: AIList@KL.SRI.COM Status: RO AIList Digest Friday, 22 Apr 1988 Volume 6 : Issue 78 Today's Topics: Conference - 2nd Intl Expert Database Systems ---------------------------------------------------------------------- Date: 10 Apr 88 02:01:21 GMT From: mykines!timos@mimsy.umd.edu (Timos Sellis) Subject: Conference - 2nd Intl Expert Database Systems 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 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. [...] =============================================================== Timos Sellis CS Dept, University of Maryland, College Park, MD 20742 ARPA:timos@mimsy.umd.edu UUCP:{decvax,allegra,...}!mimsy!timos ------------------------------ End of AIList Digest ********************