K: A High-Level Knowledge Base Programming Language for Advanced Database Applications.

Yuh-Ming Shyy, Stanley Y. W. Su: K: A High-Level Knowledge Base Programming Language for Advanced Database Applications. SIGMOD Conference 1991: 338-347
  author    = {Yuh-Ming Shyy and
               Stanley Y. W. Su},
  editor    = {James Clifford and
               Roger King},
  title     = {K: A High-Level Knowledge Base Programming Language for Advanced
               Database Applications},
  booktitle = {Proceedings of the 1991 ACM SIGMOD International Conference on
               Management of Data, Denver, Colorado, May 29-31, 1991},
  publisher = {ACM Press},
  year      = {1991},
  pages     = {338-347},
  ee        = {, db/conf/sigmod/ShyyS91.html},
  crossref  = {DBLP:conf/sigmod/91},
  bibsource = {DBLP,}


K is a high-level knowledge base programming language for doing general computation as well as for defining, querying, and manipulating databases in nontraditional application domains. The main features of K are: (i) knowledge abstraction facilities for supporting an extensible object-oriented semantic association knowledge model, (ii) a modularization mechanism for programming in the large, (iii) knowledge retrieval facilities for querying the knowledge base, and (iv) multi-paradigm programming constructs for specifying object-oriented, parallel, non-deterministic, and rule-based computations. This paper presents the linguistic facilities provided in K and the knowledge model it supports.

Copyright © 1991 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

Online Version (ACM WWW Account required): Full Text in PDF Format

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

James Clifford, Roger King (Eds.): Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data, Denver, Colorado, May 29-31, 1991. ACM Press 1991 BibTeX , SIGMOD Record 20(2), June 1991

Online Edition: ACM Digital Library

[Index Terms]
[Full Text in PDF Format, 1145 KB]


Alfred V. Aho, Jeffrey D. Ullman: The Universality of Data Retrieval Languages. POPL 1979: 110-120 BibTeX
Rakesh Agrawal, Narain H. Gehani: ODE (Object Database and Environment): The Language and the Data Model. SIGMOD Conference 1989: 36-45 BibTeX
A. M. Alashqur, Stanley Y. W. Su, Herman Lam: OQL: A Query Language for Manipulating Object-oriented Databases. VLDB 1989: 433-442 BibTeX
Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX
Tim Andrews, Craig Harris: Combining Language and Database Advances in an Object-Oriented Development Environment. OOPSLA 1987: 430-440 BibTeX
Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987) BibTeX
Don S. Batory, T. Y. Leung, T. E. Wise: Implementation Concepts for an Extensible Data Model and Data Language. ACM Trans. Database Syst. 13(3): 231-262(1988) BibTeX
Toby Bloom, Stanley B. Zdonik: Issues in the Design of Object-Oriented Database Programming Languages. OOPSLA 1987: 441-451 BibTeX
Grady Booch: Object-Oriented Design with Applications. Benjamin/Cummings 1990
Sharma Chakravarthy: Rule Management and Evaluation: An Active DBMS Perspective. SIGMOD Record 18(3): 20-28(1989) BibTeX
George P. Copeland, David Maier: Making Smalltalk a Database System. SIGMOD Conference 1984: 316-325 BibTeX
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
O. Deux: The Story of O2. IEEE Trans. Knowl. Data Eng. 2(1): 91-108(1990) BibTeX
Mingsen Guo, Stanley Y. W. Su, Herman Lam: An Association Algebra For Processing Object-Oriented Databases. ICDE 1991: 23-32 BibTeX
Michael Hammer, B. Berkowitz: DIAL: A Programming Language for Data Intensive Applications. SIGMOD Conference 1980: 75-92 BibTeX
Meichun Hsu, Rivka Ladin, Dennis R. McCarthy: An Execution Model for Active Data Base Management Systems. JCDKB 1988: 171-179 BibTeX
Scott E. Hudson, Roger King: Cactis: A Self-Adaptive, Concurrent Implementation of an Object-Oriented Database Management System. ACM Trans. Database Syst. 14(3): 291-321(1989) BibTeX
Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) BibTeX
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
Robert A. Kowalski: Algorithm = Logic + Control. Commun. ACM 22(7): 424-436(1979) BibTeX
Bruce G. Lindsay, John McPherson, Hamid Pirahesh: A Data Management Extension Architecture. SIGMOD Conference 1987: 220-226 BibTeX
Barbara Liskov, Alan Snyder, Russell R. Atkinson, Craig Schaffert: Abstraction Mechanisms in CLU. Commun. ACM 20(8): 564-576(1977) BibTeX
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
Joan Peckham, Fred J. Maryanski: Semantic Data Models. ACM Comput. Surv. 20(3): 153-189(1988) BibTeX
Joel E. Richardson, Michael J. Carey: Programming Constructs for Database System Implementation in EXODUS. SIGMOD Conference 1987: 208-219 BibTeX
Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977) BibTeX
Craig Schaffert, Topher Cooper, Bruce Bullis, Mike Killian, Carrie Wilpolt: An Introduction to Trellis/Owl. OOPSLA 1986: 9-16 BibTeX
David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) BibTeX
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
Michael Stonebraker, Lawrence A. Rowe, Michael Hirohama: The Implementation of Postgres. IEEE Trans. Knowl. Data Eng. 2(1): 125-142(1990) BibTeX
Bjarne Stroustrup: The C++ Programming Language, First Edition. Addison-Wesley 1986, ISBN 0-201-12078-X
W. Kevin Wilkinson, Peter Lyngbæk, Waqar Hasan: The Iris Architecture and Implementation. IEEE Trans. Knowl. Data Eng. 2(1): 63-75(1990) BibTeX

Referenced by

  1. 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)
  2. Gilbert Babin, Cheng Hsu: Decomposition of Knowledge for Concurrent Processing. IEEE Trans. Knowl. Data Eng. 8(5): 758-772(1996)
  3. Sharma Chakravarthy: Early Active Database Efforts: A Capsule Summary. IEEE Trans. Knowl. Data Eng. 7(6): 1008-1010(1995)
  4. 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
  5. Nabil Kamel, Ping Wu, Stanley Y. W. Su: A Pattern-Based Object Calculus. VLDB J. 3(1): 53-76(1994)
  6. 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
  7. Sharma Chakravarthy, Eric N. Hanson, Stanley Y. W. Su: Active Data/Knowledge Bases Research At the University of Florida. IEEE Data Eng. Bull. 15(1-4): 35-39(1992)
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:40:07 2009