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.
Fields of science
Topic(s)
Data not availableCall for proposal
Data not availableFunding Scheme
Data not availableCoordinator
91460 Marcoussis
France