The Design and Implementation of K: A High-Level Knowledge-Base Programming Language of OSAM*.KBMS.

Yuh-Ming Shyy, Javier Arroyo, Stanley Y. W. Su, Herman Lam: The Design and Implementation of K: A High-Level Knowledge-Base Programming Language of OSAM*.KBMS. VLDB J. 5(3): 181-195(1996)
  author    = {Yuh-Ming Shyy and
               Javier Arroyo and
               Stanley Y. W. Su and
               Herman Lam},
  title     = {The Design and Implementation of K: A High-Level Knowledge-Base
               Programming Language of OSAM*.KBMS},
  journal   = {VLDB J.},
  volume    = {5},
  number    = {3},
  year      = {1996},
  pages     = {181-195},
  ee        = {db/journals/vldb/ShyyASL96.html},
  bibsource = {DBLP,}


The OSAM*.KBMS is a knowledge-base management system, or the so-called next-generation database management system, for non-traditional data/knowledge-intensive applications. In order to define, query, and manipulate a knowledge base, as well as to write codes to implement any application system, we have developed an object-oriented knowledge-base programming language called K to serve as the high-level interface of OSAM*.KBMS. This paper presents the design of K, its implementation, and its supporting KBMS developed at the Database Systems Research and Development Center of the University of Florida.

Key Words

Knowledge-base programming language, Abstractions, Object-oriented knowledge model, Structural associations, Association Patterns

Copyright © 1996 by Springer, Berlin, Heidelberg. Permission to make digital or hard copies of the abstract is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice along with the full citation.

Online Edition (Springer)

Citation Page

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 4 Issue 1, Books, VLDB-j, TODS, ..." and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX


[Agrawal and Gehani 1989]
Rakesh Agrawal, Narain H. Gehani: ODE (Object Database and Environment): The Language and the Data Model. SIGMOD Conference 1989: 36-45 BibTeX
[Alashqur et al. 1989]
A. M. Alashqur, Stanley Y. W. Su, Herman Lam: OQL: A Query Language for Manipulating Object-oriented Databases. VLDB 1989: 433-442 BibTeX
[Alashqur et al. 1990]
A. M. Alashqur, Stanley Y. W. Su, Herman Lam: A Rule-based Language for Deductive Object-Oriented Databases. ICDE 1990: 58-67 BibTeX
[Albano et al. 1985]
Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX
[Andrews and Harris 1987]
Tim Andrews, Craig Harris: Combining Language and Database Advances in an Object-Oriented Development Environment. OOPSLA 1987: 430-440 BibTeX
[Annevelink 1991]
Jurgen Annevelink: Database Programming Languages: A Functional Approach. SIGMOD Conference 1991: 318-327 BibTeX
[Arroyo 1991]
[Atkinson et al. 1983]
Malcolm P. Atkinson, Peter J. Bailey, Kenneth Chisholm, W. Paul Cockshott, Ronald Morrison: An Approach to Persistent Programming. Comput. J. 26(4): 360-365(1983) BibTeX
[Atkinson and Buneman 1987]
Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987) BibTeX
[Atkinson et al. 1990]
Malcolm P. Atkinson, François Bancilhon, David J. DeWitt, Klaus R. Dittrich, David Maier, Stanley B. Zdonik: The Object-Oriented Database System Manifesto. DOOD 1989: 223-240 BibTeX
[Blakeley et al. 1990]
[Bloom and Zdonik 1987]
Toby Bloom, Stanley B. Zdonik: Issues in the Design of Object-Oriented Database Programming Languages. OOPSLA 1987: 441-451 BibTeX
[Butterworth et al. 1991]
Paul Butterworth, Allen Otis, Jacob Stein: The Gemstone Object Database Management System. Commun. ACM 34(10): 64-77(1991) BibTeX
[Cacace et al. 1990]
Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto Zicari: Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. SIGMOD Conference 1990: 225-236 BibTeX
[Chakravarthy 1989]
Sharma Chakravarthy: Rule Management and Evaluation: An Active DBMS Perspective. SIGMOD Record 18(3): 20-28(1989) BibTeX
[Chen 1976]
Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX
[Chimenti et al. 1990]
Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo: The LDL System Prototype. IEEE Trans. Knowl. Data Eng. 2(1): 76-90(1990) BibTeX
[Committee for Advanced DBMS Function 1990]
Michael Stonebraker, Lawrence A. Rowe, Bruce G. Lindsay, Jim Gray, Michael J. Carey, Michael L. Brodie, Philip A. Bernstein, David Beech: Third-Generation Database System Manifesto - The Committee for Advanced DBMS Function. SIGMOD Record 19(3): 31-44(1990) BibTeX
[Copeland and Maier 1984]
George P. Copeland, David Maier: Making Smalltalk a Database System. SIGMOD Conference 1984: 316-325 BibTeX
[Dayal et al. 1988]
Umeshwar Dayal, Barbara T. Blaustein, Alejandro P. Buchmann, Upen S. Chakravarthy, Meichun Hsu, R. Ledin, Dennis R. McCarthy, Arnon Rosenthal, Sunil K. Sarin, Michael J. Carey, Miron Livny, Rajiv Jauhari: The HiPAC Project: Combining Active Databases and Timing Constraints. SIGMOD Record 17(1): 51-70(1988) BibTeX
[Deux 1991]
O. Deux: The O2 System. Commun. ACM 34(10): 34-48(1991) BibTeX
[Fishman et al. 1987]
Daniel H. Fishman, David Beech, H. P. Cate, E. C. Chow, Tim Connors, J. W. Davis, Nigel Derrett, C. G. Hoch, William Kent, Peter Lyngbæk, Brom Mahbod, Marie-Anne Neimat, T. A. Ryan, Ming-Chien Shan: Iris: An Object-Oriented Database Management System. ACM Trans. Inf. Syst. 5(1): 48-69(1987) BibTeX
[Gehani and Jagadish 1991]
Narain H. Gehani, H. V. Jagadish: Ode as an Active Database: Constraints and Triggers. VLDB 1991: 327-336 BibTeX
[Guo et al. 1991]
Mingsen Guo, Stanley Y. W. Su, Herman Lam: An Association Algebra For Processing Object-Oriented Databases. ICDE 1991: 23-32 BibTeX
[Hammer and Berkowitz 1980]
Michael Hammer, B. Berkowitz: DIAL: A Programming Language for Data Intensive Applications. SIGMOD Conference 1980: 75-92 BibTeX
[Hanson 1989]
Eric N. Hanson: An Initial Report on The Design of Ariel: A DBMS With an Integrated Production Rule System. SIGMOD Record 18(3): 12-19(1989) BibTeX
[Khoshafian and Copeland 1986]
Setrag Khoshafian, George P. Copeland: Object Identity. OOPSLA 1986: 406-416 BibTeX
[Kim et al. 1988]
Won Kim, Nat Ballou, Hong-Tai Chou, Jorge F. Garza, Darrell Woelk, Jay Banerjee: Integrating an Object-Oriented Programming System with a Database System. OOPSLA 1988: 142-152 BibTeX
[Lam et al. 1989]
[Lam and Su 1989]
[Lam et al. 1992]
[Lamb et al. 1992]
Charles Lamb, Gordon Landis, Jack A. Orenstein, Daniel Weinreb: The ObjectStore Database System. Commun. ACM 34(10): 50-63(1991) BibTeX
[Lingat and Rolland 1988]
Jean-Yves Lingat, Pierre Colignon, Colette Rolland: Rapid Application Prototyping the PROQUEL Language. VLDB 1988: 206-217 BibTeX
[Lohman et al. 1991]
Guy M. Lohman, Bruce G. Lindsay, Hamid Pirahesh, K. Bernhard Schiefer: Extensions to Starburst: Objects, Types, Functions, and Rules. Commun. ACM 34(10): 94-109(1991) BibTeX
[Maier 1989]
[Maier et al. 1986]
David Maier, Jacob Stein, Allen Otis, Alan Purdy: Development of an Object-Oriented DBMS. OOPSLA 1986: 472-482 BibTeX
[Moos 1981]
[Mylopoulos 1980]
John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980) BibTeX
[Ontologic Inc 1991]
[Phipps and Derr 1991]
Geoffrey Phipps, Marcia A. Derr, Kenneth A. Ross: Glue-Nail: A Deductive Database System. SIGMOD Conference 1991: 308-317 BibTeX
[Richardson and Carey 1987]
Joel E. Richardson, Michael J. Carey: Programming Constructs for Database System Implementation in EXODUS. SIGMOD Conference 1987: 208-219 BibTeX
[Richardson and Schwartz 1991]
Joel E. Richardson, Peter M. Schwarz: Aspects: Extending Objects to Support Multiple, Independent Roles. SIGMOD Conference 1991: 298-307 BibTeX
[Rowe and Shoens 1979]
Lawrence A. Rowe, Kurt A. Shoens: Data Abstractions, Views and Updates in RIGEL. SIGMOD Conference 1979: 71-81 BibTeX
[Schaffert et al. 1986]
Craig Schaffert, Topher Cooper, Bruce Bullis, Mike Killian, Carrie Wilpolt: An Introduction to Trellis/Owl. OOPSLA 1986: 9-16 BibTeX
[Schmidt 1977]
Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977) BibTeX
[Shipman 1981]
David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) BibTeX
[Shyy 1992]
[Shyy and Su 1991]
Yuh-Ming Shyy, Stanley Y. W. Su: K: A High-Level Knowledge Base Programming Language for Advanced Database Applications. SIGMOD Conference 1991: 338-347 BibTeX
[Smith and Smith 1977]
John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX
[Smith et al. 1983]
[Special issue on next generation database systems 1991]
[Stefik and Bobrow 1986]
Mark Stefik, Daniel G. Bobrow: Object-Oriented Programming: Themes and Variations. AI Magazine 6(4): 40-62(1986) BibTeX
[Stein and Zdonik 1989]
[Stonebraker and Kemnitz 1989]
Michael Stonebraker, Greg Kemnitz: The Postgres Next Generation Database Management System. Commun. ACM 34(10): 78-92(1991) BibTeX
[Stroustroup 1986]
Bjarne Stroustrup: The C++ Programming Language, First Edition. Addison-Wesley 1986, ISBN 0-201-12078-X
[Su 1983]
Stanley Y. W. Su: SAM*: A Semantic Association Model for Corporate and Scientific/Statistical Databases. Inf. Sci. 29(2-3): 151-199(1983) BibTeX
[Su 1989]
[Su and Alashqur 1991]
[Su and Lam 1992]
[Su and Shyy 1993]
Stanley Y. W. Su, Yuh-Ming Shyy: An Object-Oriented Knowledge Model for KBMS-supported Evolutioinary Prototyping of Software Systems. Advanced Database Systems 1993: 105-125 BibTeX
[Su et al. 1989]
[Su et al. 1993]
Stanley Y. W. Su, Herman Lam, Srinivasa Eddula, Javier Arroyo, Neeta Prasad, Ronghao Zhuang: OSAM*KBMS: An Object-Oriented Knowledge Base Management System for Supporting Advanced Applications. SIGMOD Conference 1993: 540-541 BibTeX
[Wasserman et al. 1981]
[Wilkinson et al. 1990]
W. Kevin Wilkinson, Peter Lyngbæk, Waqar Hasan: The Iris Architecture and Implementation. IEEE Trans. Knowl. Data Eng. 2(1): 63-75(1990) BibTeX
[Wu 1993]
[Yassen et al. 1991]
Rahim Yaseen, Stanley Y. W. Su, Herman Lam: An Extensible Kernel Object Management System. OOPSLA 1991: 247-263 BibTeX

Referenced by

  1. Stanley Y. W. Su, Herman Lam, Javier A. Arroyo-Figueroa, Tsae-Feng Yu, Zhidong Yang: An Extensible Knowledge Base Management System for Supporting Rule-based Interoperability among Heterogeneous Systems. CIKM 1995: 1-10
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Journal: 1992-1995 Copyright © by VLDB Endowment / 1996-... Copyright © by Springer Verlag,
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sun May 17 00:31:28 2009