Applications of Logic Databases -

. .

Résumé :
The development of a methodology for using logic databases is essential if new users are to be able to use these systems effectively to solve their problems, and this remains a largely unrealized goal. br/ A workshop was organized in conjunction with the ILPS '93 Conference in Vancouver in October 1993 to provide a forum for users and implementors of deductive systems to share their experience. The emphasis was on the use of deductive systems. In addition to paper presentations, a number of systems were demonstrated. The papers of this book were drawn largely from the papers presented at the workshop, which have been extended and revised for inclusion here, and also include some papers describing interesting applications that were not discussed at the workshop. The applications described here should be seen as a starting point: a number of promising application domains are identified, and several interesting application packages are described, which provide the inspiration for further development. Declarative rule-based database systems hold a lot of promise in a wide range of application domains, and we need a continued stream of application development to better understand this potential and how to use it effectively. br/ This book contains the broadest collection to date of papers describing implemented, significant applications of logic databases, and database systems as well as potential database users in such areas as scientific data management and complex decision support. br/

Sommaire:
1 Applications of Deductive Object-Oriented Databases Using Del.- 2 Q-Data: Using Deductive Database Technology to Improve Data Quality.- 3 A Deductive Front-End for Relational Databases.- 4 An Aditi Implementation of a Flights Database.- 5 Using, LDL++ for Spatio-Temporal Reasoning in Atmospheric Science Databases.- 6 Mimsy: A System for Stock Market Analysis.- 7 Efficient Evaluation of Visual Queries Using Deductive Databases.- 8 Demand Interprocedural Program Analysis Using Logic Databases.- 9 Amos: A Natural Language Parser Implemented as a Deductive Database in Lola.- 10 Programming the PTQ Grammar in XSB.- 11 Querying with Generalized Quantifiers.- 12 Requirements for a Deductive Query Language in a Genome-Mapping Database.