Skip to main content

Extensible KBMS for Large Knowledge-Base Application

Objective

The objective of STRETCH is to design, implement and experiment with a system supporting the representation and manipulation of large knowledge-bases. Storage of persistent objects will be provided by a database supporting non-traditional data structures and operations for knowledge representation and management. The system will exploit the large central memories of recently developed workstations.
The objective of the project is to design, implement and experiment with a system supporting the representation and manipulation of large knowledge bases. Storage of persistent objects will be provided by a database supporting non-traditional data structures and operations for knowledge representation and management. The system exploits the large central memories of recently developed workstations. A major effort will be made to provide a physical and conceptual object manager for the storage and manipulation of knowledge and data in an integrated manner. This system allows extensibility of typing, operations, access methods, and concurrency control. The object manager supports 2 linguistic paradigms:
a rule based language, defined by extending current logic languages to include complex objects, negation, null values, and update facilities;
an object oriented language, based on hierarchies of abstract data types, integrating declarative and procedural knowledge.

These languages constitute a multiparadigm programming environment able to accommodate a number of applications. Experimentation on the proposed rule based and object oriented linguistic styles has been obtained by rapid prototyping. The conceptual object manager provides an internal notation, suitable as a pivot for all language processors.
Specification has been completed, an prototypes exist. The main memory physical object manager, in particular, has shown a very promising performance.
A major effort will be made to provide a physical and conceptual object manager for the storage and manipulation of knowledge and data in an integrated manner. This system will allow extensibility of typing, operations, access methods, and concurrency control. The object manager will support two linguistic paradigms:

- a rule-based language, defined by extending current logic languages to include complex objects, negation, null values, and update facilities
- an object-oriented language, based on hierarchies of abstract data types, integrating declarative and procedural knowledge

These languages will constitute a multi-paradigm programming environment able to accommodate a number of applications. Early experimentation on the proposed rule-based and object-oriented linguistic styles has been obtained by rapid prototyping. The conceptual object manager provides an internal notation, suitable as a pivot for all language processors.

Coordinator

Alcatel Alsthom Recherche
Address
Route De Nozay
91460 Marcoussis
France

Participants (9)

Fernuniversität Gesamthochschule Hagen
Germany
Address
Feithstraße 140
58097 Hagen
Gestioni Industriali Srl
Italy
Address
Via Caldera 21
20153 Milano
INFOSYS
France
Address
15 Rue Anatole France
92800 Puteaux
Institut National de Recherche en Informatique et en Automatique - INRIA
France
Address
Domaine De Voluceau-rocquencourt
78153 Le Chesnay
MBP SOFTWARE & SYSTEMS
Germany
Address
Semerteichstraße 47-49
44141 Dortmund
Politecnico di Milano
Italy
Address
Piazza Leonardo Da Vinci 32
20133 Milano
STZ-GESELLSCHAFT FÜR SOFTWARE-TECHNOLOGIE MBH
Germany
Address
Helenenbergweg 19
44225 Dortmund
Société d'Applications Générales d'Électricité et de Mécanique
France
Address
6 Avenue D'iena
75783 Paris
TXT Ingegneria Informatica SpA
Italy
Address
Via Socrate 41
20128 Milano