ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

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
@inproceedings{DBLP:conf/sigmod/ShyyS91,
  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        = {http://doi.acm.org/10.1145/115790.115851, db/conf/sigmod/ShyyS91.html},
  crossref  = {DBLP:conf/sigmod/91},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

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
Contents

Online Edition: ACM Digital Library

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

References

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

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)
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:40:07 2009