Copy Link
Add to Bookmark
Report
AIList Digest Volume 6 Issue 078
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
********************
