J. Manley, A. Cox, K. Harrison, M. Syrett, and D. Wells. KBMS1 A User Manual. Information System Centre Hewlett-Packard Laboratories, March 1990. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Towards Deductive Object Databases - Bertino, Guerrini (1994) (1 citation) (Correct)
.... for some of the distinguishing feotures of the object oriented progromming porodigm [49, 27] A prototypicol system supporting knowledge portitioned in theories ond in which gool refutotion con move from one theory to onother through context switches, which ore messoge colls, is KBMS1 [48]. Since in this opprooch the longuoges considered ore extensions of Horn clouse longuoges, their By static inheritance they denote inheritance k la Simula67, while for dynamic one they denote inheritance k la Smalltalk. operational semantics is defined in terms of extended proof procedures. ....
.... due to the no operation of n(X) the above transaction is semantically equivalent to m(X) X) 26 6 Architecture of the Prototype A prototype of the system has been implemented at the University of Genova, using KBMS1, a knowledge base management system developed in HP laboratories at Bristol [48]. The language of KBMS1, kbProlog, is an extension of Prolog with modularization facilities, declarative update operations and persistence support. The implementation of the language has been realized in two steps: development of a translator from Obj U Datalog to U Datalog development of a ....
J. Manley, A. Cox, K. Harrison, M. Syrett, and D. Wells. KBMS1 A User Manual. Information System Centre Hewlett-Packard Laboratories, March 1990.
A Bottom-Up Interpreter for a Database Language with Updates.. - Bertino Catania (1993) (Correct)
....of a meta interpreter computing in a bottom up style our rule language with update in rule bodies. Such meta interpreter has been realized on top of KBMS1 a Prolog extension developed at Hewlett Packard Laboratories in Bristol, providing modular program construction (through theory composition) [13]. The main feature of the U Datalog interpreter is a modular organization of the architecture, which results from the use of software engineering principles such as modular program development and composition. Such modular organization will be useful for several future extensions of U Datalog. The ....
J. Manley, A. Cox, K. Harrison, M. Syrett, and D. Wells. KBMS1 A User Manual. Information System Centre Hewlett-Packard Laboratories, March 1990.
Deductive Object Databases - Bertino (1994) (9 citations) (Correct)
....considered transaction also aborts. The resulting observable is h; EDB i ; Aborti: Note therefore that the resulting states are the ones before the transaction starts. Pi 5 Architecture of the Prototype A prototype of the system has been implemented at the University of Genova, using KBMS1 [26], a knowledge base management system developed in HP laboratories at Bristol. The language of KBMS1, kbProlog, is an extension of Prolog with modularization facilities, declarative update operations and persistence support. The implementation of the language has been realized in two steps: ffl ....
J. Mantley, A. Cox, K. Harrison, M. Syrett, and D. Wells. KBMS1 A User Manual. Information System Centre Hewlett-Packard Laboratories, 1990.
Inheritance in a Deductive Object Database Language with.. - Bertino, Guerrini, Montesi (Correct)
No context found.
J. Manley, A. Cox, K. Harrison, M. Syrett, and D. Wells. KBMS1 A User Manual. Information System Centre Hewlett-Packard Laboratories, March 1990.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC