article

Free access

K: a high-level knowledge base programming language for advanced database applications

Authors:

Yuh-Ming Shyy,

Stanley Y. W. SuAuthors Info & Claims

ACM SIGMOD Record, Volume 20, Issue 2

Pages 338 - 347

https://doi.org/10.1145/119995.115851

Published: 01 April 1991 Publication History

PDF eReader

References

[1]

Aho, A.V. and Ullman, J.D., "University of Data Retrieval Languages", Proc. ACM Syrup. Principles of Programming Languages, Jan. 1979, pp. 110-120.]]

Digital Library

Google Scholar

[2]

Agrawal, R. and Gehani, N., "ODE (Object Database and Environment): The Language and the Data Model", Proc. 1989 A CM SIGMOD lnt'l. Conf. on Management of Data, 1989, pp. 36-45.]]

Digital Library

Google Scholar

[3]

Alashqur, A., Su, S. and Lam, H., "OQL--A Query Language for Manipulating Object-oriented Databases", Proc. of 15th Int. Conf. Very Large Data Bases, Amsterdam, Netherlands, August, 1989.]]

Digital Library

Google Scholar

[4]

Albano, A., Cardelli, L. and Orsini, R., "Galileo: A Strongly-typed, Interactive Conceptual Language", ACM Transaction on Database Systems, 10(2), June 1985, pp. Z~0-260.]]

Digital Library

Google Scholar

[5]

Andrews, T. and Harris, C., "Combining Language and Database Advances in an Object-Oriented Development Environment", Proc. 2rid Int'l Conf. on OOPSLA, October 1987, pp. 430-440.]]

Digital Library

Google Scholar

[6]

Atkinson, M.P. and Buneman, P.O., "Types and Persistance in Database Programming Languages",ACM Computing Surveys, July 1987, pp. 105-190.]]

Digital Library

Google Scholar

[7]

Balzer, R., et al, (Common Prototyping Working Group), Draft Report on Requirements for a Common Prototyping System, 1988.]]

Google Scholar

[8]

Batory, D.S., Leung, T.Y. and Wise, T.E., "Implementation Concepts for an Extensible Data Model and Data Language", ACM Transaction on Database Systems, 13(3), September 1988, pp. 231-262.]]

Digital Library

Google Scholar

[9]

Bloom, T. and Zdonik, S.B., "Issues in the Design of Object-oriented database Programming Languages", Proc. 2rid Int'l Conf. on OOPSLA, October 1987, pp. 441-451.]]

Digital Library

Google Scholar

[10]

Booeh, G., Object-Oriented Design with Applications, Benjamin/Cummings, Menlo Park, CA 1990.]]

Digital Library

Google Scholar

[11]

Carey, M., et al., "The EXODUS EXtensible DBMS Project: An Overview", Readings in Object-OHented Database Systems, Zdonik, S., and Maier, D., (eds.), San Mateo, CA: Morgan Kaufmann Publishers, Inc., 990, pp. 474-499.]]

Digital Library

Google Scholar

[12]

Caseau, Y., "The Laure System: Documentation", Technical Report, Bellcore, 1990.]]

Google Scholar

[13]

Claakravartlay, U.S., "Rule Management and Evaluation: An Active DBMS Perspective", SIGMOD RECORD, Vol. 18(3), September 1989, pp. 20-28.]]

Digital Library

Google Scholar

[14]

Copeland, G. and Maier, D., "Making Smalltalk a Database System", Proc. 1988 A CM SIGMOD International Conference on Management of Data, June 1984, pp. 316-325.]]

Digital Library

Google Scholar

[15]

Dayal, U., and Smith, J., "PROBE: A Knowledge- Oriented Database Management System", in On Knowledge Base Management Systems--Integrating Database and AI Systems, Brodie, M. and Mylopoulos, J., (eds.), New York: Springer-Verlag, 1986.]]

Digital Library

Google Scholar

[16]

Dayal, U., et al., "The HiPAC Project: Combining Active Databases and Timing Constraints", SIGMOD RECORD, Vol. 17(1), March 1988, pp. 51-70.]]

Digital Library

Google Scholar

[17]

Deux, O., etc., "The Story of O2", IEEE Transactions on Knowledge and Data Engineering, Vol. 2(1), March 1990, pp. 91-108.]]

Digital Library

Google Scholar

[18]

US Department of Defense, Reference Manual for the Ada ProgrammingLanguage, Springer-Verlag, ANSI/MIL- STD-1815A-1983.]]

Digital Library

Google Scholar

[19]

Guo, M.S., Su, S.Y.W., and Lain, H., "An Association Algebra for Processing Object-Oriented Databases", to appear in Proc. 7th IEEE International Conference on Data Engineering, Kobe, Japan, April 1991.]]

Digital Library

Google Scholar

[20]

Hammer, M., and Berkowitz, B., "DIAL: A Programming Language for Data Intensive Applications", in Proc. A CM SIGMOD Conf. on Management of Data, 1980.]]

Digital Library

Google Scholar

[21]

Hsu, M., Ladin, R., and McCarthy, D.R., "An Execution Model for Active Data base Management Systems", Proc. 3rd Int'l Conf. on Data and Knowledge Bases, 1988.]]

Google Scholar

[22]

Hudson, S.E. and King, R., "Cactis: A Self-Adaptive, Concurrent Implementation of an Object-Oriented Database Management System", ACM Trans. on Database Systems, Vol. 14(3), September 1989, pp. 291- 321.]]

Digital Library

Google Scholar

[23]

Hull, R. and King, R., "Semantic Database Modeling: Survey, Application, and Research Issues", ACM Computing Surveys, 19(3), September 1987, pp. 201-258.]]

Digital Library

Google Scholar

[24]

Kim, W., et al., "Integrating an Object-Oriented Programming System with a Database System", Proc. 3rd Int'l Conf. on OOPSLA, September 1988, pp. 142- 152.]]

Digital Library

Google Scholar

[25]

Kowalski, R., "Algorithm = Logic + Control", Com~ of ACM, July 1979, pp.424-475.]]

Digital Library

Google Scholar

[26]

Lam, h., Su, S. and Alashqur, A., "Integrating the Concepts and Techniques of Semantic Modeling and the Object-Oriented Paradigm", Proc. 13th Int'l Computer Software & Applications Conference (COMPSAC), October, 1989, pp. 209-217.]]

Crossref

Google Scholar

[27]

Law, S.F., "Object-Oriented Design and Implementation of a Kernel Object Manager", Master Thesis, Electrical Engineering Department, University of Florida, 1991.]]

Google Scholar

[28]

Lindsay, B., et al., "A Data Management Extension Architecture", Proc. 1987 SIGMOD Conf., San Francisco, CA. 1987, pp. 220-226.]]

Digital Library

Google Scholar

[29]

Liskov, B., Snyder, A., Atkinson, R. and Schaffert, C., "Abstraction Mechanisms in CLU", CACM, 20(8), August 1977, pp. 564-576.]]

Digital Library

Google Scholar

[30]

Moss, J., "Nested Transactions: An Approach to Reliable Distributed Computing", MIT Laboratory for Computer Science, MIT/LCS/TR-260, 1981.]]

Digital Library

Google Scholar

[31]

Mylopoulos,J., Bernstein, P.A. and Wong, H.K.T., "A Language Facility for Designing Database-Intensive Applications", ACM Transaction on Database Systems, Vol.5, No.2, June 1980, pp. 185-207.]]

Digital Library

Google Scholar

[32]

Ontologic Inc., "ONTOS Product Description", Manual, MA, 1990]]

Google Scholar

[33]

Peckham, J. and Maryanski, F., "Semantic Data Models", ACM Computing Surveys, 20(3), September 1988.]]

Digital Library

Google Scholar

[34]

Richardson, J. and Carey, M., "Programming Constructs for Database System Implementation in EXODUS", Proc. 1987 ACM SIGMOD Int'l Conf. on Management of Data, 1987, pp. 208-219.]]

Digital Library

Google Scholar

[35]

Schmidt, J.W., "Some High Level Language Constructs for Data Type Relation", ACM Trans. on Database Systems, September 1977, Vol. 2(3), pp. 247-281.]]

Digital Library

Google Scholar

[36]

Schaffert, C., et al., "An Introduction to Trellis/Owl", Proc. 3rd Int'l Conf. on OOPSLA, September 1988, pp. 9-16.]]

Digital Library

Google Scholar

[37]

Shipman, D.W., The Functional data Model and the Data Language DAPLEX", ACM Transaction on Database Systems, 6(3), September 1981.]]

Digital Library

Google Scholar

[38]

Shyy, Y.M. and Su, S.Y.W., "MPL/0: A Multi-paradigm Language Facility for Data/Knowledge Base Programming", in Data and Knowledge Base Integration, Deen, S.M. and Thomas, G.P., (eds.), London, England: Pitman Publishers, 1990, pp. 63-83.]]

Google Scholar

[39]

Shyy, Y.M.,"A Unified Execution Model for Supporting Parallel and Rule-Based Computations in Third Generation Database Programming Languages", working paper.]]

Google Scholar

[40]

Committee for Advanced DBMS Function, "Third- Generation Database System Manifesto", SIGMOD Record, Vol. 19(3), September 1990, pp. 31-44.]]

Digital Library

Google Scholar

[41]

Smith, J.M., Fox, S., and Landers, T., ADAPLEX" Rational and Reference Manual, 2nd edition, Computer Corporation of America, Cambridge, MA., 1983.]]

Google Scholar

[42]

Stefik, M. and Bobrow, D., "Object-Oriented Programming: Themes and Variations", AI Magazine, 6(4), 1986, pp. 40-64.]]

Digital Library

Google Scholar

[43]

Stonebraker, etc., "The Implementation of POSTGRES", IEEE Transactions on Knowledge and Data Engineering, Vol. 2(1), March 1990, pp. 125-142.]]

Digital Library

Google Scholar

[44]

Stroustrup, B., The C++ Programming Language, Addison-Wesley, Reading, Mass., 1986.]]

Digital Library

Google Scholar

[45]

Su, S.Y.W., "SAM*: A Semantic Association Model for Corporate and Scientific-Statistical Databases", Journal of Information Sciences, 29, 1983, pp. 151-199.]]

Crossref

Google Scholar

[46]

Su, S., Krishnamurthy, V. and Lam, H., "An Object-Oriented Semantic Association Model OSAM*", in Artificial Intelligence Manufacturing Theory and Practice, S. Kumara et al. (eds.), American Inst. of Indus. Engr., 1989, Chap. 17, pp. 463-494.]]

Google Scholar

[47]

Su, S.Y.W., "Extensions to the Object-Oriented Paradigm", Proc. 13th Int'l Computer Software & Applications Conference (COMPSAC), October, 1989, pp. 197-199.]]

Google Scholar

[48]

Su, S.Y.W. and Alashqur, A.M., "A Pattern-Based Constraint Specification Language for Object-Oriented Databases", Proc. IEEE's COMPCON 91, San Francisco, Feb. 25-March 1, 1991.]]

Crossref

Google Scholar

[49]

Su, S.Y.W. and H.H. Chen, "A Temporal Object- Oriented Data Model and its Query Language", Technical Report, Database Systems R&D Center, University of Florida, 1991.]]

Google Scholar

[50]

Wilkinson, K., Lyngbaek, P., and Hassan, W., "The Iris Architecture and Implementation", IEEE Transactions on Knowledge and Data Engineering, Vol. 2(1), March 1990, pp. 63-75.]]

Digital Library

Google Scholar

[51]

Wirth, N., Programs = Algorithms + Data Structures, Prentice-Hall, 1976.]]

Digital Library

Google Scholar

[52]

Zdonik, S. and Wegner, P., "Language and Methodology for Object-Oriented Database Environments", Proc. 19th Annual Hawaiian Conference on Systems Science, 1986.]]

Google Scholar

Cited By

View all

Akaishi MSpyratos NHori KTanaka Y(2005)Connecting keywords through pointer paths over the webProceedings of the 2005 international conference on Federation over the Web10.1007/11605126_7(115-129)Online publication date: 1-May-2005
https://dl.acm.org/doi/10.1007/11605126_7
Motschnig-Pitrik R(1995)An integrating view on the viewing abstraction: Contexts and perspectives in software development, AI, and databasesJournal of Systems Integration10.1007/BF019742305:1(23-60)Online publication date: Apr-1995
https://doi.org/10.1007/BF01974230
Su SChen H(1994)Temporal Rule Specification and Management in Object-oriented Knowledge BasesRules in Database Systems10.1007/978-1-4471-3225-7_5(73-91)Online publication date: 1994
https://doi.org/10.1007/978-1-4471-3225-7_5
Show More Cited By

Index Terms

K: a high-level knowledge base programming language for advanced database applications
1. Information systems
  1. Data management systems
    1. Database management system engines
      1. Database query processing
    2. Query languages
  2. Information systems applications
2. Theory of computation
  1. Theory and algorithms for application domains
    1. Database theory
      1. Database query languages (principles)
      2. Database query processing and optimization (theory)

Recommendations

Sql: Learn Basics of Queries and Implement Easily (sql programming, SQL 2016, sql database programming, sql for beginners, sql beginners guide, sql ... sql workbook, sql guide, MSSQL) (Volume 1)
A feature-guided grammatical system
Numerical Analysis of Tractor Accidents using Driving Simulator for Autonomous Driving Tractor
ICMRE'19: Proceedings of the 5th International Conference on Mechatronics and Robotics Engineering

Autonomous driving of automobiles is a hot research topic in recent years. The autonomous driving tractor also has been studied in the agricultural field as well as an autonomous driving automobile. On the other hand, tractor accidents frequently occur ...

Comments

Information & Contributors

Information

Published In

ACM SIGMOD Record Volume 20, Issue 2

June 1991

447 pages

ISSN:0163-5808

DOI:10.1145/119995

Issue’s Table of Contents

SIGMOD '91: Proceedings of the 1991 ACM SIGMOD international conference on Management of data
April 1991
452 pages
ISBN:0897914252
DOI:10.1145/115790
Editors:
James Clifford,
Roger King

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1991

Published in SIGMOD Volume 20, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
385
Total Downloads

Downloads (Last 12 months)36
Downloads (Last 6 weeks)13

Reflects downloads up to 21 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Akaishi MSpyratos NHori KTanaka Y(2005)Connecting keywords through pointer paths over the webProceedings of the 2005 international conference on Federation over the Web10.1007/11605126_7(115-129)Online publication date: 1-May-2005
https://dl.acm.org/doi/10.1007/11605126_7
Motschnig-Pitrik R(1995)An integrating view on the viewing abstraction: Contexts and perspectives in software development, AI, and databasesJournal of Systems Integration10.1007/BF019742305:1(23-60)Online publication date: Apr-1995
https://doi.org/10.1007/BF01974230
Su SChen H(1994)Temporal Rule Specification and Management in Object-oriented Knowledge BasesRules in Database Systems10.1007/978-1-4471-3225-7_5(73-91)Online publication date: 1994
https://doi.org/10.1007/978-1-4471-3225-7_5
Theodorakis MAnalyti AConstantopoulos PSpyratos N(2002)A theory of contexts in information basesInformation Systems10.1016/S0306-4379(01)00036-927:3(151-191)Online publication date: May-2002
https://doi.org/10.1016/S0306-4379(01)00036-9
Josifovski VSu SGolshani FMakki KNicholas CPissinou N(1997)Incorporating association pattern and operation specification in ODMG's OQLProceedings of the sixth international conference on Information and knowledge management10.1145/266714.266921(332-340)Online publication date: 1-Jan-1997
https://dl.acm.org/doi/10.1145/266714.266921
Babin GHsu C(1996)Decomposition of Knowledge for Concurrent ProcessingIEEE Transactions on Knowledge and Data Engineering10.1109/69.5420288:5(758-772)Online publication date: 1-Oct-1996
https://dl.acm.org/doi/10.1109/69.542028
Su SLam HYu TArroyo-Figueroa JYang ZLee S(1996)NCL: a common language for achieving rule-based interoperability among heterogeneous systemsJournal of Intelligent Information Systems10.1007/BF001221276:2-3(171-198)Online publication date: 1-Aug-1996
https://dl.acm.org/doi/10.1007/BF00122127
Su SLam HArroyo-Figueroa JYu TYang ZNicholas C(1995)An extensible knowledge base management system for supporting rule-based interoperability among heterogeneous systemsProceedings of the fourth international conference on Information and knowledge management10.1145/221270.221280(1-10)Online publication date: 2-Dec-1995
https://dl.acm.org/doi/10.1145/221270.221280
Chakravarthy S(1995)Early Active Database EffortsIEEE Transactions on Knowledge and Data Engineering10.1109/69.4765057:6(1008-1010)Online publication date: 1-Dec-1995
https://dl.acm.org/doi/10.1109/69.476505
Yuh-Ming Shyy Su S(1994)Refinement preservation for rule selection in active object-oriented database systemsProceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems10.1109/RIDE.1994.282846(115-123)Online publication date: 1994
https://doi.org/10.1109/RIDE.1994.282846
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Sql: Learn Basics of Queries and Implement Easily (sql programming, SQL 2016, sql database programming, sql for beginners, sql beginners guide, sql ... sql workbook, sql guide, MSSQL) (Volume 1)

A feature-guided grammatical system

Numerical Analysis of Tractor Accidents using Driving Simulator for Autonomous Driving Tractor

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations