3. DEXA 1992: Valencia, Spain

A. Min Tjoa, Isidro Ramos (Eds.): Database and Expert Systems Applications, Proceedings of the International Conference in Valencia, Spain, 1992. Springer-Verlag, Wien, 1992, ISBN 3-211-82400-6

Invited Paper

Peter C. Lockemann: Object-Oriented Databases and Deductive Databases: Systems Without Market? Market Without Systems? 1-7

Applications (I)

S. Misbah Deen, Satoshi Hamada, Makoto Takizawa: Broad Path Decision in Vehicle Systems. 8-13
Francisco J. Garijo, Donn Hoffman: MAITE: An Operator Assistance Expert System for Troubleshooting Telecommunications Networks. 14-19
Guttorm Sindre, Even-André Karlsson, Patricia Paul: Heuristics for Maintaining Term Structures for Relaxes Search. 20-25

Deductive Databases and Database Programming Languages

María Alpuente, María José Ramírez: An Equational Constraint Logic Approach to Database Design. 26-31
Christoph Lell: Financial Equational Constraint Logic Approach to Database Design. 32-37
Jonghoon Chun, Lawrence J. Henschen: Processing Knowledge-Based Systems Containing Rules With Complex Bodies. 38-43
Abdelkader Hameurlain, Franck Morvan, E. Ceccato: An Analytical Method to Allocate Processors in High Performance Parallel Execution of Recursive Queries. 44-47

Implementation Aspects (I)

Mariá-Blanca Ibáñez-Espiga, M. Howard Williams: Data Placement Strategy for a Parallel Database System. 48-54
Pedro Blesa Pons, R. J. Vidal: A Performance Comparison for Priority-Based Protocols in Real-Time Databases. 55-58
Mahdi Abdelguerfi: Duplicates Detection, Counting, and Removal. 59-64
Akhil Kumar: Techniques for Indexing Large Numbers of Constraints and Rules in a Database System. 65-71

Information Retrieval (I)

David A. Grossman, James R. Driscoll: Structuring Text within a Relational System. 72-77
James P. Callan, W. Bruce Croft, Stephen M. Harding: The INQUERY Retrieval System. 78-83
Steven O. Kimbrough: A Simple Speech-Act-Theoretic Indexing Scheme for Documents. 84-89

Integrity Maintenance

Matilde Celma, Laura Mota-Herranz: Foundations of Simplified Integrity Checking Reviewed. 90-95
Paul W. P. J. Grefen, Jan Flokstra, Peter M. G. Apers: Performance Evaluation of Integrity Control in a Parallel Main-Memory Database System. 96-101
Yunmook Nah, Sukho Lee: Two-level Modeling Schemes for Temporal-Spatial Multimedia Data Representation. 102-107

Object-Oriented Modelling (I)

Zahir Tari: Designing Object-Oriented Databases with a Semantic Data Model and a Rule Model. 108-114
Erik Odberg: A Framework for Managing Schema Versioning in Object-Oriented Databases. 115-120
Oscar Pastor, Arturo González del Río: OO-Method: An Object-Oriented Methodology for Software Production. 121-126

Legal Systems

C. van Noortwijk, P. A. W. Piepers, J. G. L. van der Wees: The Juricas System in a Social Security Environment. 127-132
Cal Deedman, Daphne Gelbart, Morris Coleman: Slate: Specialized Legal Automated Term Extraction. 133-137
George Vossos, John Zeleznikow: Improving Automated Litigation Support by Supplementing Rule-Based Reasoning with Case-Based Reasoning. 138-142
Antonio Cammelli, Fiorenza Socci: Envilex: An Integrated Environmental Law Expert System. 143-148

User Interfaces

Oreste Signore, A. M. Garibaldi, M. Greco: Proteus: A Concept Browsing Interface Towards Conventional Information Retrieval Systems. 149-154
Lidia Moreno, Manuel Palomar: Semantic Constraints in a Syntactic Parser: Queries-Answering to Databases. 155-160
Roque Marín, Maria Taboada, Ramón P. Otero, Alvaro Barreiro, José Mira, Ana E. Delgado García: Rapid Prototyping of Medical Graphic Interfaces. 161-166
Jun Sekine, Masaru Nakagawa, Haruo Kimoto, Kiyoshi Kurokawa: A Standard Naming Method of Data Elements Using a Semantic Dictionary. 167-172

Multimedia Database and Hypertext (I)

Trevor J. M. Bench-Capon, Paul E. S. Dunne, Geof Staniford: Linearising Hypertext through Target Graph Specifications. 173-178
Martin Hofmann, S. Schmezko: Graphical Structure-Oriented Search in a Hypertext System. 179-184
Severin Isenmann: HyperIBIS - a Tool for Argumentative Problem Solving. 185-190
Dushan Z. Badal: Neural Networks and Image Data Management. 191-196

Applications (II)

Yves Caseau, Peter Koppstein: A Cooperative-Architecture Expert System for Solving Large Time/Travel Assignment Problems. 197-202
Dimitris Karagiannis, Rainer Staudte, Hans Grünberger: Fuzzy - Phone: A Fuzzy Logic based Tool. 203-208
Jung-Kook Hong, Junichi Takahashi, Masahiro Kusaba: A Motion Picture Archiving Technique and Its Application in an Ethnology Museum. 209-214
Thierry Beltran: Hypertext, Databases and Computer Aided Instruction: where is the match? 215-220

Advenced Databases

Kamel Barkaoui, Noureddine Boudriga, Amel Touzi: A Transition Net Formalism for Deductive Databases Efficiently Handling Quering and Integrity Constraints Aspects. 221-225
Zhu Yi-fen, Li Mei, Chen Fu-an: PI-DDBS: A Deductive Data Base System Based on C-PROLOG and INGRES. 226-230
Hideo Tashiro, Naoto Ohki, Ryu Kamekura, N. Nomura, Teruo Yokoyama, Yutaka Matsushita: A Fuzzy Database System Considering Each User's Subjectivity. 231-236

Implementation Aspects (II)

Aris M. Ouksel, A. Ghazal, Otto Mayer: Concurrency Control in the Interpolation-Based Grid File. 237-243
Kien A. Hua, Wen K. Lee, Sheau-Dong Lang: Parallel Simulated Annealing for Efficient Data Clustering. 244-249
Keh-Chang Guh, Pintsang Chang: Efficient Management of K-Level Transitive Closure. 250-253

Information Retrieval (II)

Dieter Merkl, A. Min Tjoa, Stefan Vieweg: BRANT - An Approach for Knowledge Based Document Classification in the Information Retrieval Domain. 254-259
Mohand Boughanem, C. Soulé-Dupuy: A Connexionist Model for Information Retrieval. 260-265
Renate Mayer: Workbench for Technical Documentation. 266-269

Temporal Aspects

Yan-Zhen Qu, Fereidoon Sadri, Pankaj Goyal: Temporal Object-Oriented Database: (II) Implementation. 270-275
Mehmet A. Orgun, William W. Wadge: A Relational Algebra as a Query Language for Temporal DATALOG. 276-281
Eckhard D. Falkenberg, J. L. Han Oei, Henderik Alex Proper: Evolving Information Systems: Beyond Temporal Information Systems. 282-287

Object Oriented Modelling (II)

Marie-Jo Bellosta, Patrick Valduriez, Fabienne Viallet: Schema Extensions in OODB. 288-293
Roy George, Adnan Yazici, Frederick E. Petry, Bill P. Buckles: Uncertainty Modeling in Object-Oriented Geographical Information Systems. 294-299
Reinhard Schauer, Siegfried Schönberger: Visual Object Modelling. 300-307

Graphical Interfaces

Hugo B. Ramos: IQL: A Graphical Interface for Full SQL Queries. 308-313
Tiziana Catarci, Laura Tarantino: Structure Modeling Hypergraphs: a Complete Representation for Databases. 314-319
Masatoshi Arikawa: A Framework for Using Ad Hoc Queries to Geographic Databases as Visual Components of Interactive Maps. 320-325
Eve Wilson: A Comparison of Interfaces: Computer, Designer, and User. 326-331

Active Aspects

Oscar Díaz: Deriving Active Rules for Constraint Maintenance in an Object-Oriented Database. 332-337
Arno Siebes, M. H. van der Voort, Martin L. Kersten: Towards a design theory for Database triggers. 338-344
José Miguel Blanco, Arantza Illarramendi, J. M. Perez, Alfredo Goñi: Making a Federated System Active. 345-350
Anne Tchounikine, Claude Chrisment: A behaviour rule based approach for active object oriented DBMS design. 351-355

Multimedia Database and Hypertext (II)

Forouzan Golshani, Nevenka Dimitrova: Design and Specification of Eva: a language for multimedia database systems. 356-362
Paul Soper, Trevor J. M. Bench-Capon: Using Hypertext to Interface to Legal Knowledge Based Systems. 363-368
Hans C. Arents, Walter F. L. Bogaerts: Information structuring For Intelligent Hypermedia: A Knowledge Engineering Approach. 369-372
Louis Marinos, K. van Goor: ASMMA: A Simple Multi-Media Application - A Modeling Approach. 373-378

Applications (III)

Günter Steinegger, Rupert Hohl, Roland Wagner, Josef Küng: ProdIS: A Database Application for the Support of Computer Integrated Manufacturing. 379-383
Magdi N. Kamel, Ronald A. Boxall: A Prototype Expert Database System for Programming Classical Music. 384-389
Carla Basili, Leonardo Meo-Evoli: A deductive query processor for statistical databases. 390-395
Claude Boksenbaum, Patrice Déhais, Slimane Hammoudi, F. Acosta: Hyper-Agenda: A system for task management. 396-401

Knowledge-Based Systems

T. Patrick Martin, Hing-Kai Hung, Chris Walmsley: Supporting Browsing of Large Knowledge Bases. 402-408
Gabriel Otman: Knowledge Engineers, do not Neglect Terminology. 409-414
Frans Coenen, Trevor J. M. Bench-Capon: Building Knowledge Based Systems for Maintainability. 415-420
Zbigniew Duszak, Waldemar W. Koczkodaj: Principal Components and the Accuracy of Machine Learning. 421-426

Object Oriented Representation

Ranabir Gupta, Gary Hall: A Grammar-Based Framework for Object Dynamics. 427-438
Michel E. Adiba, Christine Collet, Pascal Dechamboux, Bruno Defude: Integrated Tools for Object Oriented Persistent Application Development. 439-445
K. Erni: Integrating Object-Oriented Databases into Applications - A Comparison. 446-449

Applications in Software Engineering

Sahar Jarwa, Marie-France Bruandet: Elen Prototype: An Active Hypertext System for Document Management in Software Engineering. 450-456
Florence Sedes: A Hypertext Information System for Reusable Software Component Retrieval. 456-462
Frank Sarre, Andreas Myka, Ulrich Güntzer: Hypertext for Software Engineering: Automatic Conversion of Source Code and its Documentation into an Integrated Hypertext. 463-468

Distributed Aspects

Kien A. Hua, Chiang Lee, Honesty C. Young: An Efficient Load Balancing Strategy for Shared-Nothing Database Systems. 469-474
Berthold Reinwald, Hartmut Wedekind: Automation of Control and Data flow in Distributed Application Systems. 475-481
Ammar Attoui, Ph. Homond: MO2 An object Oriented Model For DataBase and Parallel Systems. 482-487

Modelling

John K. Debenham: Modelling Knowledge Systems. 488-493
F. T. A. M. Pieper: A Data Model Capturing the History of Texts. 494-499
Otto Rauh: Some Rules for Handling Derivable Data in Conceptual Data Modeling. 500-505

Office Information Systems

Pavel Vogel, R. Erfle: Backtracking Office Procedures. 506-511
P. I. Elsas, Reind P. van de Riet, J. J. van Leeuwen: Knowledge-based Audit Support. 512-518

Integration of Expert and Database Systems

Antonio Boccalatte, Massimo Paolucci: Building Intelligent Interfaces to Relational Data Bases. 519-524
Vladimír Marík, Jirí Lazanský, Tomás Vlcek, Werner Retschitzegger: Experiments on Coupling Expert and Database Systems. 525-530

Multimedia Database and Hypertext (III)

Jens-Stefan Breuker, Dieter Lödel, Peter Mertens, Michael Ponader, Stephan Thesmann, Irmgard Büttel-Dietsch: Electronic Product Catalogues - a Hypermedia Application with a Dedicated Development Tool. 531-536
Giovanni V. Guardalben: Hypertext Browsing and Probabilistic Network Searching. 537-542

Appendix: Poster Sessions

Frans Coenen, Steve Fawcett, Peter Smeaton, Trevor J. M. Bench-Capon: Electronic Chart Representation and Interaction. 543
Brigitte Kerhervé, Vincent Oria: Image Applications and Database Systems: an Approach Using Object-Oriented Systems. 544
Vilena Morales, Ruiz Martín, Cecilia Delgado Negrete, Buenaventura Clares Rodríguez: Efficient Implementation of Deductive Database Based on the Method of Potential Effects. 545-546
Mike A. Redford: Techniques in Electronic Diagnostic. 547
Mehdi Sagheb-Tehrani: Knowledge Elicitation: Towards its Transparency. 548
Harald Schaschinger: A Unifying Object-Oriented Analysis and Modeling Approach and Its Tool Support. 549
A. Touir, Jean-Pierre Cheiney: In Integrating Content-Oriented Knowledge Model. 550
Andrea Wolf: Supporting Plastic Selection by the knowledge-based Database Front-End BAKUS. 551