Database and Expert Systems Applications: Proceedings of the International Conference in Berlin, Federal Republic of Germany, 1991

Front Matter....Pages I-XIV
OO and Active Formal Information System Specification....Pages 1-6
Roles: A Methodology for Representing Multifaceted Objects....Pages 7-12
The ALDOUS90 Project: Merging Object-Oriented Databases and Knowledge-based Systems....Pages 13-18
Object Oriented Databases for Maintenance Expert Systems....Pages 19-23
Student Admission: Expert and Database Systems....Pages 24-27
Mapping Generalization and Object Sharing into Nested Relations: An ODA Implementation....Pages 28-33
An Object Modeling Method for Office Information Systems Design....Pages 34-40
An Interface/application Builder with Transmission Control Facility for SGML document Databases....Pages 41-46
Rationale and Design of Serendip, a Database Programming Language....Pages 47-53
General Transitive Closures and Aggregate Functions....Pages 54-59
A Deductive Database System with Applications to Route Planning....Pages 60-66
Using Relaxation Techniques to Evaluate Queries in Deductive Databases....Pages 67-72
Data-Structure Builder for VLSI/CAD Software....Pages 73-79
Knowledge Representation Structures for the Evaluation of Production Planning and Control Systems....Pages 80-85
An Information System for the Mining Industry....Pages 86-91
Intelligent Network Management....Pages 92-97
Computer-aided Production of Multilingual Historical Reference Works....Pages 98-101
A Friendly and Intelligent Approach to Data Retrieval in a Multimedia DBMS....Pages 102-111
An Information Retrieval View of Environmental Information Systems....Pages 112-117
Enhancing Text Retrieval Semantically....Pages 118-123
The Commonsense Business Reasoner....Pages 124-129
Building Expert Databases: L-CATA — An Intelligent Logic Based Travel Assistant....Pages 130-134
Using a Meta-Knowledge Method for Developing an Educational Knowledge-Based Application....Pages 135-141
TARPS: A Prototype Expert Database System For Training and Administration of Reserves Officer Placement....Pages 142-147
Constructing Minimal Knowledge Bases by Machine Learning....Pages 148-153
Efficient Access To Large Prolog Knowledge Bases....Pages 154-159
The ARPO-2: an expert system for building contracts....Pages 160-165
A Graphical Interactive Tool for KBS Maintenance....Pages 166-171
Experiences with SUPER, a Database Visual Environment....Pages 172-178
A Flexible and Extensible Index Manager for Spatial Database Systems....Pages 179-184
KRISHNA — Concurrency Control Algorithms based on Dynamic Attributes....Pages 185-190
The Design of an Efficient Data Structure for Manipulating Data in an Image DataBase System....Pages 191-196
High Performance Data Parallel Recursion....Pages 197-202
A Form System for an Object-Oriented Database System....Pages 203-209
Supporting User Interactions with OODB’s: A Declarative Approach....Pages 210-215
A Query Interface for an Object Management System....Pages 216-220
An Indexing Model for Complex Object Hierarchies in Object-Oriented Databases....Pages 221-226
An Object-Oriented Executable Requirements Specification Language....Pages 227-232
Functional and Object-Oriented Specification of Information Systems....Pages 233-238
Formal Model of an Object-Oriented Database with Versioned Objects and Schema....Pages 239-244
Meta Variables and Inheritance in an Object-Oriented Data Model....Pages 245-250
Uncertainty Management in Object-Oriented Database Systems....Pages 251-256
A Framework for Strong Typing and Type Inference in (Persistent) Object Models....Pages 257-263
Principles of Knowledge Augmented Visual Databases....Pages 264-269
Relationship Abstractions for an Effective Hypertext Design: Augmentation and Globalization....Pages 270-274
TOROS-HYPER: A Tool for the Integration of Hyper Documents into Knowledge-Based Systems....Pages 275-280
A Transaction Model for Hypertext....Pages 281-286
A Knowledge-Based System for Fault Diagnosis in Real-Time Engineering Applications....Pages 287-292
An Expert System to Support Mine Planning Operations....Pages 293-298
Knowledge Base Management Systems in the Field of High Energy Physics....Pages 299-304
A Meteorological Database for Numerical and Non-numerical Processing....Pages 305-308
An Implementation Model for Multidatabase Queries....Pages 309-314
Knowledge-Based Schema Analysis in a Multi-Database Framework....Pages 315-320
Atomicity of Global Transactions in Distributed Heterogeneous Database Systems....Pages 321-326
Application-oriented Integration of Distributed Heterogeneous Knowledge Sources....Pages 327-332
Semantic Interpretation of Natural Language in PROLOG: Logical Forms....Pages 333-338
Map Summarization using Analogical Matching of Schema....Pages 339-344
Goblin: a DBPL designed for Advanced Database Applications....Pages 345-349
A metamodel approach for the management of multiple models in CASE tools....Pages 350-355
The Development of a Knowledge-Based Database Transaction Design Assistant....Pages 356-361
Integrity Constraint Enforcement through Transaction Modification....Pages 362-367
Environmental Information Organization....Pages 368-373
Making C++ Object Persistent by Using a Standard Relational Database System....Pages 374-379
Relational Database Organization Based on Views and Fragments....Pages 380-386
A Dynamic Overwrite Protocol for Multiversion Concurrency Control Algorithms....Pages 387-392
A Temporal-Logic-Based Query Language for Querying Database Histories....Pages 393-399
Querying Incomplete Knowledge Bases with Abduction....Pages 400-405
On Estimating COUNT, SUM, and AVERAGE Relational Algebra Queries....Pages 406-412
Recursion with the Graphical Query Language Candid....Pages 413-418
ADAMS: an Aggregate Data Management System with Multip Interaction Techniques....Pages 419-424
Juridical principles for juridical applications. The DERINFO methodology....Pages 425-430
A Formal Model for the Support of Analogical Reasoning in Legal Expert Systems....Pages 431-435
The effect of change on legal applications....Pages 436-441
An Expert Thesaurus for Ancient Law....Pages 442-448
Designing a Hypermedia Information System....Pages 449-454
Querying in a Large Hyperbase....Pages 455-458
 InterSect : A General Purpose Hypertext System Based on an Object Oriented Database....Pages 459-464
Knowledge Base Support for Hypermedia Co-Authoring....Pages 465-470
Computer Supported Multimedia Environment for Collaboration....Pages 471-475
Expert Systems Development and Management, A Case Study....Pages 476-480
Protein Function Database as a Deductive and Object-Oriented Database....Pages 481-486
System Architecture and Specification of a Fast BOM Object Processor Using a Standard Relational Database Management System and a Main Memory Cache....Pages 487-490
Data Modelling for International Organizations....Pages 491-496
ISACS An Integrated Surveillance and Control System....Pages 497-500
Constraint-Guided Scheduling for Satellite Data Processing and Archiving....Pages 501-507
Building Adaptive Applications using Active Mediators....Pages 508-513
Hypertext for Hypertext: a Figured Thesaurus....Pages 514-519
GNEIS: a Portable Natural Language Explanation Component for Expert Systems....Pages 520-524
Spreadviews....Pages 525-530
End-user Interface to Improve Microcomputer DBMS Efficiency....Pages 531-536
Integration of Database and Hypertextual Technologies in Designing a Clinical Information System....Pages 537-542
RADES — Medical Assistance System for the Management of Irradiated Persons....Pages 543-548
A Temporal Model for Clinical and Resource Management in Vascular Surgery....Pages 549-552
Preparing Medical Knowledge for Diagnostic Expert Systems....Pages 553-558
Symbolic computation in RL/1 ....Pages 559-564
INEKS — an Information System for Medical Application....Pages 565-570
Back Matter....Pages 571-572