Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
The C++ programming language
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
Formalizing nonmonotonic reasoning systems
Artificial Intelligence
The mathematics of inheritance systems
The mathematics of inheritance systems
A more expressive formulation of many sorted logic
Journal of Automated Reasoning
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
A many-sorted calculus based on resolution and paramodulation
A many-sorted calculus based on resolution and paramodulation
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Modeling class hierarchies with contradictions
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
A general framework for sorted deduction: fundamental results on hybrid reasoning
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
Formal Properties of Net-Based Knowledge Representation Schemes
Proceedings of the Second International Conference on Data Engineering
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
An Abstract Introduction to the Temporal-Hierarchic Data Model (THM)
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Theory of Relational Databases
Theory of Relational Databases
Efficient management of transitive relationships in large data and knowledge bases
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Direct transitive closure algorithms: design and performance evaluation
ACM Transactions on Database Systems (TODS)
A compression technique to materialize transitive closure
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
A Conceptual Clustering Algorithm for Database Schema Design
IEEE Transactions on Knowledge and Data Engineering
Extending SPARQL with regular expression patterns (for querying RDF)
Web Semantics: Science, Services and Agents on the World Wide Web
A Database Handler (DBH) for broadband network administration
Computer Communications
Hi-index | 0.00 |
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.