Modeling concepts for VLSI CAD objects
ACM Transactions on Database Systems (TODS)
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
Relations as semantic constructs in an object-oriented language
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Fundamentals of database systems
Fundamentals of database systems
ACM Computing Surveys (CSUR)
The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Cactis: a self-adaptive, concurrent implementation of an object-oriented database management system
ACM Transactions on Database Systems (TODS)
Constraint based analysis of database update propagation
ICIS '89 Proceedings of the tenth international conference on Information Systems
Making change in a computer-aided design database
Readings in object-oriented database systems
Deriving production rules for constraint maintenance
Proceedings of the sixteenth international conference on Very large databases
Set-oriented production rules in relational database systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Bibliography on object-oriented database management
ACM SIGMOD Record
User-role based security profile for an object-oriented design model
Results of the Sixth Working Conference of IFIP Working Group 11.3 on Database Security on Database security, VI : status and prospects: status and prospects
Distributed and Parallel Databases - Special issue: Research topics in distributed and parallel databases
A formal basis for schema analysis of semantic database update semantics
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
The art of computer programming, volume 1 (3rd ed.): fundamental algorithms
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
Cryptography and data security
Cryptography and data security
Database Design
Data Structures and Algorithms
Data Structures and Algorithms
Constraint Analysis: A Design Process for Specifying Operations on Objects
IEEE Transactions on Knowledge and Data Engineering
Semantic Modeling of Object Oriented Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Towards a Unifying Logic Formalism for Semantic Data Models
ER '93 Proceedings of the 12th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
RTSORAC: A Real-Time Object-Oriented Database Model
DEXA '94 Proceedings of the 5th International Conference on Database and Expert Systems Applications
Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Constraint-based analysis of database update propagation
Constraint-based analysis of database update propagation
Research Frontiers in Object Technology
Information Systems Frontiers
Data model for extensible support of explicit relationships in design databases
The VLDB Journal — The International Journal on Very Large Data Bases
An abbreviated concept-based query language and its exploratory evaluation
Journal of Systems and Software
Design and implementation of an extended relationship semantics in an ODMG-compliant OODBMS
Journal of Systems and Software
Data warehouse enhancement: A semantic cube model approach
Information Sciences: an International Journal
| Hi-index | 0.00 |
This paper discusses a paradigm and prototype system for the design-time expression, checking, and automatic implementation of the semantics of database updates. Here, enforcement rules are viewed as the implementation of constraints and are specified, checked for consistency, and then finally mapped to object-oriented code during database design. A classification of enforcement rule types is provided as a basis for these design activities, and the general strategy for specification, analysis, and implementation of these rules within a semantic modeling paradigm is discussed. SORAC (semantic, objects, relationships, and constraints), a prototype database design system at the University of Rhode Island, is also described.