Computer 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 …

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 …

Computer Use In The Scientific Office, Douglas L. Miller

Psychology Theses & Dissertations

Over the past two decades computers in research and development organizations have become a complex and integral part of the work process. Yet to date only a handful of systematic investigations have addressed issues involving scientists' or other professionals' use of computers, and very little is known about factors influencing use (Bikson and Gutek, 1983; Blacker and Brown, 1986; Collopy, 1988; Gasser, 1986; Helander, 1985; Nickolson, 1985; Pope, 1985). As a result, this research was designed to address four objectives. The first was to develop and evaluate a descriptive model of variables influencing scientists' computer use. The second objective was …

Ua66/3/2 Computer Science Alumni Newsletter, Vol. 6, Wku Computer Science

WKU Archives Records

Newsletter created by WKU Computer Science for alumni of the program.

Gender Roles And Home Computer Use By Children, Trelles Whitfield D'Alemberte

Dissertations, Theses, and Masters Projects

No abstract provided.

Graduate Bulletin, 1991-1993, Moorhead State University

Graduate Bulletins (Catalogs)

No abstract provided.

A Software World, David Morgan Lochhead

Dr. David Morgan Lochhead

What are the consequences when software defines reality? This essay was prepared for presentation at a church related computer event in 1991, but was never presented after the event was cancelled

Characterization Of Sh Groups In Porin Of Bovine Heart Mitochondria. Porin Cysteines Are Localized In The Channel Walls., Philadelphia University

Philadelphia University, Jordan

No abstract provided.