Life Sciences Commons^™

Specifying Interdatabase Dependencies In A Multidatabase Environment, Marek Rusinkiewicz, Amit P. Sheth, George Karabatis

Kno.e.sis Publications

The problem of interdatabase dependencies and the effect they have on applications updating interdependent data are addressed. A model that allows specifications of constraints among multiple databases in a declarative fashion is proposed. The separation of the constraints from the application programs facilitates the maintenance of data constraints and allows flexibility in their implementation. It allows investigation of various mechanisms for enforcing the constraints, independently of the application programs. By grouping the constraints together, it is possible to check their completeness and discover possible contradictions among them. The concepts of polytransactions, which use interdatabase dependencies to generate a series of …

On The Relationship Between Parsimonious Covering And Boolean Minimization, Venu Dasigi, Krishnaprasad Thirunarayan

Kno.e.sis Publications

Minimization of Boolean switching functions is a basic problem in the design of logic circuits. The designer first comes up with a switching function expressed in terms of several binary input variables that satisfies the desired functionality, and then attempts to minimize the function as a sum of products or product of sums. It turns out that a sum of products form of a switching function that has no redundancy is a union of prime implicants of the function.

In this paper we would like to explicate some of the relationships of the boolean minimization problem to a formalization of …

On Serializability Of Multidatabase Transactions Through Forced Local Conflict, Dimitrios Georgakopoulos, Marek Rusinkiewicz, Amit P. Sheth

Kno.e.sis Publications

The main difficulty in enforcing global serializability in a multidatabase environment lies in resolving indirect transitive conflicts between multidatabase transactions. Indirect conflicts introduced by local transactions are difficult to resolve because the behavior or even the existence of local transactions is not known to the multidatabase system. To overcome these problems, we propose to incorporate additional data manipulation operations in the subtransactions of each multidatabase transaction. We show that if these operations create direct conflicts between subtransactions at each participating local database system, indirect conflicts can be resolved even if the multidatabase system is not aware of their existence. Based …

Strain-Specific Neutralizing Determinant In The Transmembrane Protein Of Simian Immunodeficiency Virus, Toshiaki Kodama, Dawn P. Wooley, Daniel P. Silva, Fulvia Dimarzo Veronese, Ronald C. Desrosiers

Neuroscience, Cell Biology & Physiology Faculty Publications

Monoclonal antibody SF8/5E11, which recognizes the transmembrane protein (TMP) of simian immunodeficiency virus of macaque monkeys (SIVmac), displayed strict strain specificity. It reacted with cloned and uncloned SIVmac251 but not with cloned SIVmac142 and SIVmac239 on immunoblots. This monoclonal antibody neutralized infection by cloned, cell-free SIVmac251 and inhibited formation of syncytia by cloned SIVmac251-infected cells; these activities were specific to cloned SIVmac251 and did not occur with the other viruses. Site-specific mutagenesis was used to show that TMP amino acids 106 to 110 (Asp-Trp-Asn-Asn-Asp) determined the strain specificity of the monoclonal antibody. This strain-specific neutralizing determinant is located within a …

The Architecture Of Braid: A System For Bridging Al/Db Systems, Amit P. Sheth, Anthony B. O'Hare

Kno.e.sis Publications

We describe the design of BrAID (a Bridge between Artificial Intelligence and Database Management Systems), an experimental system for the efficient integration of logic based Artificial Intelligence (Al) and database (DB) technologies. Features provided by BrAID include (a) access to conventional DBMSs, (b) support for multiple inferencing strategies, (c) a powerful caching subsystem that manages views and employs subsumption to facilitate the reuse of previously cached data, (d) lazy or eager evaluation of queries submitted by the AI system, and (e) the generation of advice by the AI system to aid in cache management and query execution planning. To discuss …

Selection Of Genetic Variants Of Simian Immunodeficiency Virus In Persistently Infected Rhesus Monkeys, Dawn P. Wooley, Ronald C. Desrosiers

Neuroscience, Cell Biology & Physiology Faculty Publications

Genetic and antigenic variation may be one means by which lentiviruses that cause AIDS avoid elimination by host immune responses. Genetic variation in the envelope gene (env) was studied by comparing the nucleotide sequences of 27 clones obtained from two rhesus monkeys infected with molecularly cloned simian immunodeficiency virus. All 27 clones differed from each other and differed from the input clone in the gp120 (SU) portion of the envelope gene. Nucleotide substitutions were shown to accumulate with time at an average rate of 8.5 per 1,000 per year in SU. Surprisingly, the majority of nucleotide substitutions (81%) resulted in …