M. Williams

This paper presents an approach to the development of a practical deductive objectoriented database (DOOD) system baaed upon the integration of a logic query language with an imperative programming language in the context of an object-oriented data model. Expand

This paper presents an approach to the development of a deductive object-oriented database system, describing the key design decisions and their consequences for implementation. Expand

This paper presents a benchmark for vector spatial databases that covers a range of typical GIS functions, and shows how the benchmark has been implemented in two systems: the object-relational database PostgreSQL, and the deductive object-oriented database ROCK & ROLL extended to support the ROSE algebra. Expand

This paper introduces a number of dimensions of active rule system behaviour which can be used both to highlight differences between proposals for active rule systems, and to identify the requirements of different applications. Expand

A pervasive environment needs to take account of a user’s context and preferences in determining which services to provide to the user. Expand

The Internet and associated technology is transforming the dissemination of healthcare information. Expand

Dans cet article, on decrit un ensemble de graphes planaires 6000 qui a ete genere en utilisant des techniques differentes. Expand

A logic-based approach to the specification of active database functionality is presented which not only endows active databases with a well-defined and well-understood formal semantics, but also tightly integrates them with deductive databases. Expand

Syntactic Definitions In view of the proliferation of notations for defining the syntax of programming languages, it has been suggested that a simple notation should be adopted as a standard. Expand

A method is presented for checking integrity constraints in a deductive database in which verification of the integrity of the updated database is reduced to the process of constructing paths from update literals to the heads of integrity constraints. Expand