Claims
- 1. A method of controlling the operation of a computer database system in processing a query, the system being of the kind that has an inference engine, query processing means, and a plurality of metatheories, the method comprising:
- providing a knowledge base;
- logically partitioning the knowledge base into a plurality of object theories;
- providing a system theory that defines many-to-many coupling relationships between the object theories and a plurality of the metatheories including an interpreter metatheory;
- selecting an object theory and associated metatheories according to the system theory in dependence on parameters of a query to be processed; and
- processing the query by the theories so chosen.
- 2. A method according to claim 1 wherein the step of providing a system theory comprises providing a system theory that defines a coupling relationship between the object theories and an assimilator metatheory.
- 3. A method according to claim 1 wherein the step of providing a system theory comprises providing a system theory that defines a coupling relationship between the object theories and an attribute metatheory.
- 4. A method according to claim 1 wherein a coupling relationship is expressed as a clause of first-order logic and wherein the system theory includes a declarative model that provides an explicit description of querying and updating within the system.
Priority Claims (2)
Number |
Date |
Country |
Kind |
8700188 |
Jan 1987 |
GBX |
|
PCT/GB88/00005 |
Jan 1988 |
WOX |
|
CROSS REFERENCE TO RELATED APPLICATION
This is a Continuation in Part application of copending application Ser. No. 07/247,451 filed Sep. 6, 1988, abandoned.
US Referenced Citations (7)
Non-Patent Literature Citations (2)
Entry |
Yokota--"A Model and an Architecture for a Relational Data Base"--13th Annual International Symposium on Computer Architecture, Tokyo, Japan; Jun. 1986; pp. 2-9. |
Bocca--"Logic Languages and Relational Databases: The Design and Implementation of Educe"--ICL Technical Journal; May 1987, pp. 425-448, Oxford, Gr. Britain. |
Continuation in Parts (1)
|
Number |
Date |
Country |
Parent |
247451 |
Sep 1988 |
|