Incorporating hierarchy in a relational model of data

We extend the relational model of data to allow classes as attribute values, thereby permitting the representation of hierarchies of objects. Inheritance, including multiple inheritance with exceptions, is clearly supported. Facts regarding classes of objects can be stored and manipulated in the same way as facts regarding object instances. Our model is upwards compatible with the standard relational model.

[1]  Ulrich Schiel,et al.  An Abstract Introduction to the Temporal-Hierarchic Data Model (THM) , 1983, VLDB.

[2]  P. Patel-Schneider.  Small can be beautiful in knowledge representation , 1984 .

[3]  Christoph Walther,et al.  Many-Sorted Resolution and Paramodulation , 1987 .

[4]  David S. Touretzky,et al.  The Mathematics of Inheritance Systems , 1984 .

[5]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[6]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[7]  David S. Touretzky,et al.  A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems , 1987, IJCAI.

[8]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

[9]  R. Fisher.  Mathematics of Inheritance , 1933, Nature.

[10]  Alexander Borgida,et al.  Modeling class hierarchies with contradictions , 1988, SIGMOD '88.

[11]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[12]  John Mylopoulos,et al.  Some Features of the TAXIS Data Model , 1980, VLDB.

[13]  Hassan Aït-Kaci,et al.  LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

[14]  Scott E. Fahlman,et al.  NETL: A System for Representing and Using Real-World Knowledge , 1979, CL.

[15]  E. Sandewall,et al.  Nonmonotonic inference rules for multiple inheritance with exceptions , 1986, Proceedings of the IEEE.

[16]  Christoph Walther,et al.  A Many-Sorted Calculus Based on Resolution and Paramodulation , 1982, IJCAI.

[17]  Serge Abiteboul,et al.  IFO: a formal semantic database model , 1987, TODS.

[18]  Raymond Reiter,et al.  On Inheritance Hierarchies With Exceptions , 1983, AAAI.

[19]  David Maier,et al.  The Theory of Relational Databases , 1983 .

[20]  Diane C. P. Smith,et al.  Database abstractions: aggregation and generalization , 1977, TODS.

[21]  Paolo Atzeni,et al.  Formal properties of net-based knowledge representation schemes , 1986, 1986 IEEE Second International Conference on Data Engineering.

[22]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[23]  Alan M. Frisch.  A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning , 1989, International Conference on Principles of Knowledge Representation and Reasoning.

[24]  David W. Etherington.  Formalizing Nonmonotonic Reasoning Systems , 1987, Artif. Intell..

[25]  Michael Stonebraker,et al.  The POSTGRES Data Model , 1987, Research Foundations in Object-Oriented and Semantic Database Systems.

[26]  David W. Etherington.  Formalizing Non-Monotonic Reasoning Systems , 1983 .

[27]  Alexander Borgida,et al.  Language features for flexible handling of exceptions in information systems , 1985, TODS.

[28]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.