Abstract:Abstract.We describe the conceptual model of SORAC, a data modeling system developed at the University of Rhode Island. SORAC supports both semantic objects and relationships, and provides a tool for modeling databases needed for complex design domains. SORAC's set of built-in semantic relationships permits the schema designer to specify enforcement rules that maintain constraints on the object and relationship types. SORAC then automatically generates C+ + code to maintain the specified enforcement rules, pro… Show more
“…It requires only that entities be represented as automata and is indifferent to their geography. In addition, automata may be specified on the basis of entity-relationship schemes , following the entity-relationship model (Peckham et al, 1995).…”
Section: The Methodological Importance Of Geographymentioning
In this paper is described a model of residential mobility, built to simulate individual households, their perception of and reaction to varying conditions across different scales of interaction, and their movements to occupy housing in a physical, social, and economic environment. The methodology underpinning the model is based on an automata core, which leverages the advantages it offers in terms of representing individual entities and their rule-based interactions. This methodology is extended, however, to incorporate geography-specific functionality, with advantages for the modeling of human systems. The applicability of the methodology is demonstrated through the development of a rich model of residential mobility, in which individual households interact with other households and real-estate infrastructure, dynamically in space and time, to form synthetic communities and artificial property submarkets. Use of the model for what-if experimentation is demonstrated with synthetic economic and sociodemographic simulation scenarios.
“…It requires only that entities be represented as automata and is indifferent to their geography. In addition, automata may be specified on the basis of entity-relationship schemes , following the entity-relationship model (Peckham et al, 1995).…”
Section: The Methodological Importance Of Geographymentioning
In this paper is described a model of residential mobility, built to simulate individual households, their perception of and reaction to varying conditions across different scales of interaction, and their movements to occupy housing in a physical, social, and economic environment. The methodology underpinning the model is based on an automata core, which leverages the advantages it offers in terms of representing individual entities and their rule-based interactions. This methodology is extended, however, to incorporate geography-specific functionality, with advantages for the modeling of human systems. The applicability of the methodology is demonstrated through the development of a rich model of residential mobility, in which individual households interact with other households and real-estate infrastructure, dynamically in space and time, to form synthetic communities and artificial property submarkets. Use of the model for what-if experimentation is demonstrated with synthetic economic and sociodemographic simulation scenarios.
“…Object-oriented database (OODB) systems today are popular with communities that require the modeling of complex data types, such as CAD, multimedia applications and e-commerce applications [16]. The very nature of these applications has also brought forth the need for the OODB to provide mechanisms for (1) modeling associations between types and (2) for dynamically changing not…”
Abstract.Relationships have been repeatedly identified as an important object-oriented modeling construct. Today most emerging modeling standards such as the ODMG object model and UML have some support for relationships. However while dealing with schema evolution, OODB systems have largely ignored the existence of relationships. We are the first to propose comprehensive support for relationship evolution. A complete schema evolution facility for any OODB system must provide (1) primitives to manipulate all object model constructs; (2) and also maintenance strategies for the structural and referential integrity of the database under such evolution. We hence propose a set of basic evolution primitives for relationships as well as a compound set of changes that can be applied to the same. However, given the myriad of possible change semantics a user may desire in the future, any pre-defined set is not sufficient. Rather we present a flexible schema evolution framework which allows the user to define new relationship transformations as well as to extend the existing ones. Addressing the second problem, namely of updating the schema evolution primitives to conform to the new set of invariants, can be a very expensive re-engineering effort. In this paper we present an approach that de-couples the constraints from the schema evolution code, thereby enabling their update without any re-coding effort.
“…Such a database would be manipulated by architects during the course of designing a building. The details of this system have been reported in (Peckham et al 1995). In particular, its data model is based on both objects and relationships.…”
Database systems for computer-aided design (CAD) are characterised by structural complexity and nonstandard relationship types. Integrity constraints typically describe the semantics of these relationships. Enforcing such constraints in the face of user-initiated changes to the database is necessary to ensure that the database is consistent and the corresponding design is valid. Typically, update rules are specified to maintain integrity constraints. In this paper, we concentrate on the automatic generation of update rules from integrity constraints. Our methodology generates two types of update rules, which are guaranteed to result in a consistent database state. The database designer is provided with the flexibility of alternative semantics as a result of the two update rule types. Tests for integrity violations and repair actions are both generated during a single analysis. The underlying formalism expresses constraints, updates, and rules within the same language; thus the same proof theory applies to all components. This simplifies the overall analysis and enables concise correctness proofs.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.