[comp.theory.info-retrieval] IRList Digest V4 #8

FOXEA@VTVAX3.BITNET (02/15/88)

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 <kersch@GMU90X.GMU.EDU>
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
********************