Physical Sciences and Mathematics Commons^™

Safe Stratified Datalog With Integer Order Programs, Peter Revesz

CSE Conference and Workshop Papers

Guaranteeing termination of programs on all valid inputs is important for database applications. Termination cannot be guaranteed in Stratified Datalog with integer (gap)-order programs on generalized databases because they express any Turing-computable function. This paper introduces a restriction of those programs that can express only computable queries. The restricted language has a high expressive power and a non-elementary data complexity.

Constraint Objects, Divesh Srivastava, Raghu Ramakrishnan, Peter Revesz

CSE Conference and Workshop Papers

We describe the Constraint Object Data Model (CODM), which enhances an object-based data model with existential constraints to naturally represent partially specified information. We present the Constraint Object Query Language (COQL), a declarative, rule-based query language that can be used to infer relationships about and monotonically refine information represented in the CODM. COQL has a model-theoretic and an equivalent fixed-point semantics, based on the notions of constraint entailment and "proofs in all possible worlds." We also provide a novel polynomial-time algorithm for quantifier elimination for set-order constraints, a restricted class of set constraints that uses membership of subset-equal.

Assessment Of Squirrel-Caused Power Outages, J. Chris Hamilton, Ron J. Johnson, Ronald M. Case, Michael W. Riley

School of Natural Resources: Faculty Publications

Squirrel-caused power outages in Lincoln and Omaha, Nebraska, were evaluated by examining company power outage reports and by consulting with power company representatives. Reports showed that squirrel-caused outages at pole-mounted transformers were most prevalent during May, June, and October (48% of total) and between 1 and 4 h after sunrise (38%), patterns that coincide with squirrel dispersal or morning activity periods. In Lincoln, 1980 and 1981, squirrels caused 177 outages per year, which was 24% of all outages and 90% of animal-caused outages. Estimated minimum annual costs were $23 364 for repairs, public relations, and lost revenue while meters were …

An Exact Analysis For Efficient Computation Of Random-Pattern Testability In Combinational Circuits, Sharad C. Seth, Bhargab B. Bhattacharya, Vishwani Agrawal

CSE Conference and Workshop Papers

Experimental evidence shows that low testability in a typical circuit is much more likely due to poor observability than poor controllability. Thus, from theoretical and practical standpoints, it is important to develop an accurate model for observability computation. One such model, in terms of supergates, is proposed in the first part of this paper thus complimenting our earlier work. It is now possible to obtain exact random-pattern testability for each line in a circuit.

The second part of the paper analyzes the supegate structure of a circuit from a graph theoretic viewpoint. Finding a supergate is related to determining the …

An Experimental Study Of The Cathode Fall In Helium And Argon With Wire Cathodes, L. G. Raub

Papers from the University Studies series (University of Nebraska)

It was recognized rather early in the study of the phenomena of discharge of electricity through gases that the ordinary laws of conduction as found in solid and liquid conductors are not applicable to gases. It was shown by Zeleny and independently by Child that Ohm's law by no means represents the distribution of potential between electrodes in an ionized gas, but that the potential gradient is large in the vicinity of the electrodes, and not uniform throughout the space between them. When the pressure of the gas surrounding the electrodes is reduced to one or two millimeters and a …

Comparative Observations On The Evolution Of Gas From The Cathode In Helium And Argon, Clarence A. Skinner

Papers from the University Studies series (University of Nebraska)

No abstract provided.