• Publications
  • Influence
An Effective Deductive Object-Oriented Database Through Language Integration
TLDR
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
  • 56
  • 5
Design and implementation of ROCK & ROLL: a deductive object-oriented database system
TLDR
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
  • 69
  • 4
  • PDF
VESPA: A Benchmark for Vector Spatial Databases
TLDR
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
  • 23
  • 4
Dimensions of Active Behaviour
TLDR
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
  • 70
  • 3
Context-Aware Dynamic Personalised Service Re-composition in a Pervasive Service Environment
TLDR
A pervasive environment needs to take account of a user’s context and preferences in determining which services to provide to the user. Expand
  • 37
  • 2
Developing a regional healthcare information network
TLDR
The Internet and associated technology is transforming the dissemination of healthcare information. Expand
  • 25
  • 2
The Performance of Algorithms for Colouring Planar Graphs
TLDR
Dans cet article, on decrit un ensemble de graphes planaires 6000 qui a ete genere en utilisant des techniques differentes. Expand
  • 10
  • 2
A logic-based integration of active and deductive databases
TLDR
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
  • 13
  • 2
A Flexible Notation for Syntactic Definitions
TLDR
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
  • 6
  • 2
A Path Finding Method for Constraint Checking in Deductive Databases
TLDR
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
  • 46
  • 1