Constraint management in expert database systems
Proceedings from the first international workshop on Expert database systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
Development and implementation of an object-oriented DBMS
Research directions in object-oriented programming
Semantics and implementation of schema evolution in object-oriented databases
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Constraint analysis: A tool for explaining the semantics of complex objects
Lecture notes in computer science on Advances in object-oriented database systems
ACM Computing Surveys (CSUR)
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Set operations in a data model supporting complex objects
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Four views of complex objects: a sophisticate's introduction
Nested relations and complex objects in databases
CACTIS: a database system for specifying functionally-defined data
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
Limitations of record-based information models
ACM Transactions on Database Systems (TODS)
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
Communications of the ACM
A Semantic Integrity Framework: Set Restrictions for Semantic Groupings
Proceedings of the Seventh International Conference on Data Engineering
Covering and Disjointness Constraints in Type Networks
Proceedings of the Third International Conference on Data Engineering
Restricting Is-A Related Groupings Using Object Equivalence
Proceedings of the Second International Symposium on Database Systems for Advanced Applications
Data abstraction, data bases and conceptual modelling (Position Paper)
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
A framework for data base semantic integrity
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Research Frontiers in Object Technology
Information Systems Frontiers
Set Operations in Object-Based Data Models
IEEE Transactions on Knowledge and Data Engineering
A Transparent Schema-Evolution System Based on Object-Oriented View Technology
IEEE Transactions on Knowledge and Data Engineering
Part-Whole Relationship Categories and Their Application in Object-Oriented Analysis
IEEE Transactions on Knowledge and Data Engineering
Multiview: A Methodology for Supporting Multiple Views in Object-Oriented Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Hi-index | 0.00 |
Most research on semantic integrity has taken place in the traditional database fields, specifically the relational data model. Advanced models, such as semantic and object-oriented data models, have developed higher level abstractions to increase their expressive power in order to meet the needs of newly emerging application domains. This allows them to incorporate some semantic constraints directly into their schemas. There are, however, many types of restrictions that cannot be expressed solely by these high-level constructs. Therefore we extend the potential of advanced models by augmenting their abstractions with useful set restrictions. In particular, we identify and formulate four of their most common semantic groupings: set groupings, is-a related set groupings, power set groupings, and Cartesian product groupings. For each, we define a number of restrictions that control its structure and composition. We exploit the notion of object identity for the definition of these semantic restrictions. This permits each grouping to capture more subtle distinctions of the concepts in the application environment, as demonstrated by numerous examples throughout this paper. The resulting set of restrictions forms a general framework for integrity constraint management in advanced data models.