dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

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)
@article{DBLP:journals/vldb/ShyyASL96,
  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, http://dblp.uni-trier.de}
}

Abstract

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 ...

References

[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Andrews and Harris 1987]
Tim Andrews, Craig Harris: Combining Language and Database Advances in an Object-Oriented Development Environment. OOPSLA 1987: 430-440 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Annevelink 1991]
Jurgen Annevelink: Database Programming Languages: A Functional Approach. SIGMOD Conference 1991: 318-327 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Atkinson and Buneman 1987]
Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Butterworth et al. 1991]
Paul Butterworth, Allen Otis, Jacob Stein: The Gemstone Object Database Management System. Commun. ACM 34(10): 64-77(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Chakravarthy 1989]
Sharma Chakravarthy: Rule Management and Evaluation: An Active DBMS Perspective. SIGMOD Record 18(3): 20-28(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Chen 1976]
Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Copeland and Maier 1984]
George P. Copeland, David Maier: Making Smalltalk a Database System. SIGMOD Conference 1984: 316-325 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Deux 1991]
O. Deux: The O2 System. Commun. ACM 34(10): 34-48(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Gehani and Jagadish 1991]
Narain H. Gehani, H. V. Jagadish: Ode as an Active Database: Constraints and Triggers. VLDB 1991: 327-336 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Guo et al. 1991]
Mingsen Guo, Stanley Y. W. Su, Herman Lam: An Association Algebra For Processing Object-Oriented Databases. ICDE 1991: 23-32 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Hammer and Berkowitz 1980]
Michael Hammer, B. Berkowitz: DIAL: A Programming Language for Data Intensive Applications. SIGMOD Conference 1980: 75-92 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Khoshafian and Copeland 1986]
Setrag Khoshafian, George P. Copeland: Object Identity. OOPSLA 1986: 406-416 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Lingat and Rolland 1988]
Jean-Yves Lingat, Pierre Colignon, Colette Rolland: Rapid Application Prototyping the PROQUEL Language. VLDB 1988: 206-217 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Maier 1989]
...
[Maier et al. 1986]
David Maier, Jacob Stein, Allen Otis, Alan Purdy: Development of an Object-Oriented DBMS. OOPSLA 1986: 472-482 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Richardson and Carey 1987]
Joel E. Richardson, Michael J. Carey: Programming Constructs for Database System Implementation in EXODUS. SIGMOD Conference 1987: 208-219 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Richardson and Schwartz 1991]
Joel E. Richardson, Peter M. Schwarz: Aspects: Extending Objects to Support Multiple, Independent Roles. SIGMOD Conference 1991: 298-307 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Rowe and Shoens 1979]
Lawrence A. Rowe, Kurt A. Shoens: Data Abstractions, Views and Updates in RIGEL. SIGMOD Conference 1979: 71-81 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Schaffert et al. 1986]
Craig Schaffert, Topher Cooper, Bruce Bullis, Mike Killian, Carrie Wilpolt: An Introduction to Trellis/Owl. OOPSLA 1986: 9-16 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Schmidt 1977]
Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Shipman 1981]
David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Stroustroup 1986]
Bjarne Stroustrup: The C++ Programming Language, First Edition. Addison-Wesley 1986, ISBN 0-201-12078-X
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Wu 1993]
...
[Yassen et al. 1991]
Rahim Yaseen, Stanley Y. W. Su, Herman Lam: An Extensible Kernel Object Management System. OOPSLA 1991: 247-263 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Fri Sep 14 18:29:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page