Time sequence ordering extensions to the Entity-Relationship model and their application to the automated manufacturing process

New extensions to the entity-relationship (E-R) model have been developed to represent time sequencing and ordering aspects of information flow, and to represent the integration of control (programming) information into a database. The model constructs specify an implementation ordering of records in a relational database table. Time sequencing refers to an implementation of process information flow as a result of this ordering. The modeling constructs are needed to more completely model process recipe information flow in a typical automated manufacturing facility. The development of these E-R extensions is pursued using a data model for the factory of the future as a motivation and development vehicle. The extensions are defined formally and possible variations of the constructs are given. Further, the incorporation of the constructs into the existing E-R model semantics and the transformation of these extensions to ordering properties and integrity constraints on a corresponding database implementation is discussed.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/29158/1/0000203.pd

A FORMAL MODEL FOR RULE INHERITANCE AND OVERRIDING IN ACTIVE OBJECT-ORIENTED DATABASES

Abstract: The concept of inheritance is among the most important features of object-oriented databases (OODBs). However, no general treatment of rule inheritance and overriding has been undertaken for active OODBs. Such treatment is conspicuously missing for rules that are defined over multiple classes, even though most active OODBs support the definition of such rules. In this paper, we fill this gap by developing a formal model for rule inheritance and overriding in active OODBs. We identify important features required in an active OODB model, such as support for rule inheritance and rule overriding, and provision of the notion of syntactic compatibility. We then define a formal model for active rules by adapting the concept of multi-methods to define inheritance and overriding of active rules. We extend the notion of syntactic compatibility to active rules and show how it can be elegantly enforced in our formal model. The support for rule inheritance in our model is uniformly applicable to all active rules, including those that span multiple classes.

A Design Methodology for Databases with Uncertain Data

this paper, we demonstrate the utility of our methods by applying our methodology to a system which must cope with imprecise information. This system is a run-to-run (R2R) process contro

Computer-Integrated Fabrication System Structure

Contains an introduction, reports on thirteen research projects and a list of publications.Advanced Research Projects AgencyU.S. Navy Contract N00174-93-K-003

Synergistic Antitumor Cytotoxic Actions of Ascorbate and Menadione on Human Prostate (DU145) Cancer Cells In Vitro: Nucleus and Other Injuries Preceding Cell Death by Autoschizis

Scanning (SEM) and transmission electron microscopy (TEM) were used to characterize the cytotoxic effects of ascorbate (VC), menadione (VK3), or a VC:VK3 combination on a human prostate carcinoma cell line (DU145) following a 1-h vitamin treatment and a subsequent 24-h incubation in culture medium. Cell alterations examined by light and electron microscopy were treatment-dependent with VC + VK3 >VK3 > VC > Sham. Oxidative stress-induced damage was found in most organelles. This report describes injuries in the tumor cell nucleus (chromatin and nucleolus), mitochondria, endomembranes, lysosomal bodies (autophagocytoses) and inclusions. Morphologic alterations suggest that cytoskeleton damage is likely responsible for the superficial cytoplasmic changes, including major changes in cell shape and size and the self-excising phenomena. Unlike apoptotic bodies, the excised pieces contain ribonucleoproteins, but not organelles. These deleterious events cause a progressive, significant reduction in the tumor cell size. During nuclear alterations, the nuclei maintain their envelope during chromatolysis and karyolysis until cell death, while nucleoli undergo a characteristic segregation of their components. In addition, changes in fat and glycogen storage are consistent the cytotoxic and metabolic alterations caused by the respective treatments. All cellular ultrastructural changes are consistent with cell death by autoschizis and not apoptosis or other kinds of cell death