Database and Expert Systems Applications

The Database and Expert Systems Applications - DEXA - conferences are dedi­ cated to providing an international forum for the presentation of applications in the database and expert systems field, for the exchange of ideas and experiences, and for defining requirements for the future systems in these fields. After the very promising DEXA 90 in Vienna, Austria, we hope to have successfully established wjth this year's DEXA 91 a stage where scientists from diverse fields interested in application-oriented research can present and discuss their work. This year there was a total of more than 250 submitted papers from 28 different countries, in all continents. Only 98 of the papers could be accepted. The collection of papers in these proceedings offers a cross-section of the issues facing the area of databases and expert systems, i.e., topics of basic research interest on one hand and questions occurring when developing applications on the other. Major credit for the success of the conference goes to all of our colleagues who submitted papers for consideration and to those who have organized and chaired the panel sessions. Many persons contributed numerous hours to organize this conference. The names of most of them will appear on the following pages. In particular we wish to thank the Organization Committee Chairmen Johann Gordesch, A Min Tjoa, and Roland Wag­ ner, who also helped establishing the program. Special thanks also go to Gabriella Wagner and Anke Ruckert. Dimitris Karagiannis General Conference Chairman Contents Conference Committee.

Session 1 A Object Oriented Representation.- “OO and Active Formal Information System Specification”.- “Roles: A Methodology for Representing Multifaceted Objects”.- “TheAldous90 Project: Merging Object-Oriented Databases and Knowledge-Based Systems”.- “Object Oriented Databases for Maintenance Expert Systems”.- Session 1 B Office Information Systems.- “Student Admission: Expert and Database Systems”.- “Mapping Generalization and Object Sharing into Nested Relations: An ODA Implementation”.- “An Object Modeling Method for Office Information Systems Design”.- “An Interface/Application Builder with Transmission Control Facility for SGML Document Databases”.- Session 1 C Deductive Databases and Database Programming Languages.- “Rationale and Design of Serendip, a Database Programming Language”.- “General Transitive Closures and Aggregate Functions”.- “A Deductive Database System with Applications to Route Planning”.- “Using Relaxation Techniques to Evaluate Queries in Deductive Databases”.- Session 2 A Applications on Technology and Industry.- “Data-Structure Builder for VLSI/CAD Software”.- “Knowledge Representation Structures for the Evaluation of Production Planning and Control Systems”.- “An Information System for the Mining Industry”.- “Intelligent Network Management: A Network Management Support System Using AI Techniques”.- Session 2 B Information Retrieval.- “Computer-Aided Production of Multilingual Historical Reference Works”.- “A Friendly and Intelligent Approach to Data Retrieval in a Multimedia DBMS”.- “An Information Retrieval View of Environmental Information Systems”.- “Enhancing Text Retrieval Semantically”.- Session 2 C Business and Educational Applications.- “The Commonsense Business Reasoner”.- “Building Expert Databases: L-Cata — An Intelligent Logic Based Travel Assistant”.- “Using a Meta-Knowledge Method for Developing an Educational Knowledge-Based Application”.- “Tarps: A Prototype Expert Database System for Training and Administration of Reserves Officer Placement”.- Session 3 A Knowledge Based Systems.- “Constructing Minimal Knowledge Bases by Machine Learning”.- “Efficient Access to Large Prolog Knowledge Bases”.- “TheArpo-2: An Expert System for Building Contracts”.- Session 3 B Graphical Interfaces.- “A Graphical Interactive Tool for KBS Maintenance”.- “Experiences withSuper, a Database Visual Environment”.- Session 4 A Implementation Aspects.- “A Flexible and Extensible Index Manager for Spatial Database Systems”.- “Krishna — Concurrency Control Algorithms Based on Dynamic Attributes”.- “The Design of an Efficient Data Structure for Manipulating Data in an Image Database System”.- “High Performance Data Parallel Recursion”.- Session 4 B Object Orientation.- “A Form System for an Object-Oriented Database System”.- “Supporting User Interactions with OODB’s: A Declarative Approach”.- “A Query Interface for an Object Management System”.- “An Indexing Model for Complex Object Hierarchies in Object-Oriented Databases”.- “An Object-Oriented Executable Requirements Specification Language”.- Session 4 C Foundation of Object Orientation.- “Functional and Object-Oriented Specification of Information Systems”.- “Formal Model of an Object-Oriented Database with Versioned Objects and Schema”.- “Meta Variables and Inheritance in an Object-Oriented Data Model”.- “Uncertainty Management in Object-Oriented Database Systems”.- “A Framework for Strong Typing and Type Inference in (Persistent) Object Models”.- Session 5 A Multimedia Databases and Hypertext.- “Principles of Knowledge Augmented Visual Databases”.- “Relationship Abstractions for an Effective Hypertext Design: Augmentation and Globalization”.- “Toros-Hyper: A Tool for the Integration of Hyper Documents into Knowledge-Based Systems”.- “A Transaction Model for Hypertext”.- Session 5 B Applications in Science, Technology, and Industry.- “A Knowledge-Based System for Fault Diagnosis in Real-Time Engineering Applications”.- “An Expert System to Support Mine Planning Operations”.- “Knowledge Base Management Systems in the Field of High Energy Physics”.- “A Meteorological Database for Numerical and Non-numerical Processing”.- Session 5 C Heterogenous and Multidatabase Systems.- “An Implementation Model for Multidatabase Queries”.- “Knowledge-Based Schema Analysis in a Multi-Database Framework”.- “Atomicity of Global Transactions in Distributed Heterogeneous Database Systems”.- “Application-Oriented Integration of Distributed Heterogeneous Knowledge Sources”.- Session 6 A Advanced Applications.- “Semantic Interpretation of Natural Language inProlog: Logical Forms”.- “Map Summarization Using Analogical Matching of Schema”.- “Goblin: A DBPL Designed for Advanced Database Applications”.- Session 6 B Modelling.- “A Metamodel Approach for the Management of Multiple Models inCaseTools”.- “The Development of a Knowledge-Based Database Transaction Design Assistant”.- “Integrity Constraint Enforcement Through Transaction Modification”.- “Environmental Information Organization”.- Session 6 C Database Aspects.- “Making C++ Object Persistent by Using a Standard Relational Database System”.- “Relational Database Organization Based on Views and Fragments”.- “A Dynamic Overwrite Protocol for Multiversion Concurrency Control Algorithms”.- Session 7 A Querying Aspects.- “A Temporal-Logic-Based Query Language for Querying Database Histories”.- “Querying Incomplete Knowledge Bases with Abduction”.- “On EstimatingCount, Sum, andAverageRelational Algebra Queries”.- “Recursion with the Graphical Query LanguageCandid”.- “Adams: An Aggregate Data Management System with Multiple Interaction Techniques”.- Session 7 B Legal Systems.- “Juridical Principles for Juridical Applications. TheDerinfoMethodology”.- “A Formal Model for the Support of Analogical Reasoning in Legal Expert Systems”.- “The Effect of Change on Legal Applications”.- “An Expert Thesaurus for Ancient Law”.- Session 7 C Hypermedia Systems.- “Designing a Hypermedia Information System”.- “Querying in a Large Hyperbase”.- “InterSect: A General Purpose Hypertext System Based on an Object Oriented Database”.- “Knowledge Base Support for Hypermedia Co-Authoring”.- “Computer Supported Multimedia Environment for Collaboration”.- Session 8 A Practice Systems.- “Expert Systems Development and Management, A Case Study”.- “Protein Function Database as a Deductive and Object-Oriented Database”.- “System Architecture and Specification of a Fast BOM Object Processor Using a Standard Relational Database Management System and a Main Memory Cache”.- “Data Modelling for International Organizations”.- “Isacs — An Integrated Surveillance and Control System”.- “Constraint-Guided Scheduling for Satellite Data Processing and Archiving”.- Session 8 B User Interfaces.- “Building Adaptive Applications Using Active Mediator”.- “Hypertext for Hypertext: A Figured Thesaurus”.- “Gneis: A Portable Natural Language Explanation Component for Expert Systems”.- “Spreadviews”.- “End-User Interface to Improve Microcomputer DBMS Efficiency”.- Session 8 C Medical Information Systems.- “Integration of Database and Hypertextual Technologies in Designing a Clinical Information System”.- “Rades — Medical Assistance System for the Management of Irradiated Persons”.- “A Temporal Model for Clinical and Resource Management in Vascular Surgery”.- “Preparing Medical Knowledge for Diagnostic Expert Systems”.- “Symbolic Computation in RL/1”.- “Ineks — An Information System for Medical Application”.