US5226111A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Organization of theory based systems
Assignee: HP Inc
•
Filing: 1991-04-08
•
Granted: 1993-07-06
•
Expires: 2011-04-08
Abstract
Abstract A method of controlling the operation of a computer database system. The method of the invention is particularly adapted for use in processing a query in a computer system which has an inference engine, query processing means, and a set of object theories and metatheories. The method includes providing a system theory to define coupling relationships between the object theories and metatheories, 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. The coupling relationship may be an interpreter, an assimilator or an attribute metatheory.
Inventors
- 👤 Damian S. Black
- 👤 John C. Manley
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-04 15:34
CPC Classifications
G; G06; G06N; G06N5/00; G06N5/02; Y; Y10; Y10S; Y10S707/00; Y10S707/99941; Y10S707/99944; Y10S707/99945; Y10S707/99948
Claims Analysis
Total Claims: 5
Claim 1
Independent Claim
106 words
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.
Claim 2
Independent Claim
106 words
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.
Claim 3
Dependent Claim
32 words
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.
Claim 4
Dependent Claim
32 words
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.
Claim 5
Dependent Claim
39 words
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.
References Cited (Backward Citations)
US4888690A
Cited
US5065338A
Cited
US4930071A
Cited
US4884218A
Cited
US5063522A
Cited
US5025392A
Cited
US5016204A
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 1996-07-05 | 1997-01-04 | 1997-07-06 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2000-07-05 | 2001-01-04 | 2001-07-06 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2004-07-05 | 2005-01-04 | 2005-07-06 | $7700.00 | Window Closed / Lapsed |