System/K: A Knowledge Base Management System.

Mauro Maier, Claudio Cirilli: System/K: A Knowledge Base Management System. SSDBM 1983: 287-294
  author    = {Mauro Maier and
               Claudio Cirilli},
  editor    = {Roy Hammond and
               John L. McCarthy},
  title     = {System/K: A Knowledge Base Management System},
  booktitle = {Proceedings of the Second International Workshop on Statistical
               Database Management, Los Altos, California, USA, September 27-29,
  publisher = {Lawrence Berkeley Laboratory},
  year      = {1983},
  pages     = {287-294},
  ee        = {db/conf/ssdbm/MaierC83.html},
  crossref  = {DBLP:conf/ssdbm/83},
  bibsource = {DBLP,}


System/K is a Knowledge Base Management System designed to offer a set of facilities for knowledge representation and usage at the conceptual level by means of three descriptive mechanisms ("Aggregate", "derive", and "Collect").
Two specific object-types (Assertions and Sets) are defined to represent the "part-of", "is-a" and "member-of" relationships.
An "object-Oriented" cross-reference logic is defined, that saves users from having to be constantly aware of "keys".
System/K refers to SQL/DS (a relational DBMS) to maintain information concerning both the conceptual relationships (meta-database) and the description of the entities in the real world (database).
A logic is defined to generate the appropriate relation schemes starting from the conceptual definitions.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 5, SSDBM, DBPL, KRDB, ADBIS, COOPIS, SIGBDP" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Roy Hammond, John L. McCarthy (Eds.): Proceedings of the Second International Workshop on Statistical Database Management, Los Altos, California, USA, September 27-29, 1983. Lawrence Berkeley Laboratory 1983
Contents BibTeX


Francesco Antonacci, Laura Bartolo, P. Dell'Orco, V. N. Spadavecchia: AQL - A Relational Data Base Management System and its Geographical Applications. Data Base Techniques for Pictorial Applications 1979: 569-599 BibTeX
Michael L. Brodie: On Modelling Behavioural Semantics of Databases. VLDB 1981: 32-42 BibTeX
Michael L. Brodie, Stephen N. Zilles (Eds.): Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, June 23-26, 1980. SIGMOD Record 11(2) ACM Press 1981, ISBN 0-89791-031-1
Contents BibTeX
E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979) BibTeX
C. J. Date: An Introduction to Database Systems. Addison-Wesley 1975, ISBN 0-201-14452-2
Michael Hammer, Dennis McLeod: The Semantic Data Model: A Modelling Mechanism for Data Base Applications. SIGMOD Conference 1978: 26-36 BibTeX
Kn. I. Kilov, I. A. Popova: Meta-Database Architecture for Relational DBMS. SIGMOD Record 12(1): 18-25(1981) BibTeX
John Mylopoulos, Alexander Borgida, P. Cohen, Nick Roussopoulos, John K. Tsotsos, Harry K. T. Wong: TORUS: a step towards bridging the gap between data bases and the casual user. Inf. Syst. 2(2): 49-64(1976) BibTeX
John Mylopoulos: An Overview of Knowledge Representation. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980: 5-12 BibTeX
Hans Albrecht Schmid, J. Richard Swenson: On the Semantics of the Relational Data Model. SIGMOD Conference 1975: 211-223 BibTeX
John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX
Jeffrey D. Ullman: Principles of Database Systems, 1st Edition. Computer Science Press 1980
Janis A. Bubenko Jr.: Information Modeling in the Context of System Development. IFIP Congress 1980: 395-411 BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
SSDBM 1983 Proceedings: Copyright by Lawrence Berkeley National Laboratory, ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:42:38 2009