Solving satisfiability, *implication, and equivalence problems in database systems

Satisfiability, implication and equivalence problems are important and widely-encountered database problems that need to be efficiently and effectively solved. We provide a comprehensive and systematic study of these problems. We consider three popular types of arithmetic inequalities, (X op C), (X op Y), and (X op Y + C), where X and Y are attributes, C is a constant of the domain of X, and op $\in\ \{{<},\ {\le},\ {=},\ {\not=},\ {>},\ {\ge}\}.$ These inequalities are most frequently used in a database system, since the first type of inequalities represents $\theta$-join, the second type represents selection, and the third type is popular in deductive databases. We study the problems under the integer domain and the real domain, as well as under two different operator sets.^ Our results show that solutions under different domains and/or different operator sets are quite different. In this dissertation, we either report the first necessary and sufficient conditions as well as their efficient algorithms with complexity analysis, or provide improved algorithms. ^

Synthesis and electron emission properties of aligned carbon nanotube arrays

Carbon nanotubes (CNTs) have become one of the most interesting allotropes of carbon due to their intriguing mechanical, electrical, thermal and optical properties. The synthesis and electron emission properties of CNT arrays have been investigated in this work. Vertically aligned CNTs of different densities were synthesized on copper substrate with catalyst dots patterned by nanosphere lithography. The CNTs synthesized with catalyst dots patterned by spheres of 500 nm diameter exhibited the best electron emission properties with the lowest turn-on/threshold electric fields and the highest field enhancement factor. Furthermore, CNTs were treated with NH3 plasma for various durations and the optimum enhancement was obtained for a plasma treatment of 1.0 min. CNT point emitters were also synthesized on a flat-tip or a sharp-tip to understand the effect of emitter geometry on the electron emission. The experimental results show that electron emission can be enhanced by decreasing the screening effect of the electric field by neighboring CNTs. In another part of the dissertation, vertically aligned CNTs were synthesized on stainless steel (SS) substrates with and without chemical etching or catalyst deposition. The density and length of CNTs were determined by synthesis time. For a prolonged growth time, the catalyst activity terminated and the plasma started etching CNTs destructively. CNTs with uniform diameter and length were synthesized on SS substrates subjected to chemical etching for a period of 40 minutes before the growth. The direct contact of CNTs with stainless steel allowed for the better field emission performance of CNTs synthesized on pristine SS as compared to the CNTs synthesized on Ni/Cr coated SS. Finally, fabrication of large arrays of free-standing vertically aligned CNT/SnO2 core-shell structures was explored by using a simple wet-chemical route. The structure of the SnO2 nanoparticles was studied by X-ray diffraction and electron microscopy. Transmission electron microscopy reveals that a uniform layer of SnO2 is conformally coated on every tapered CNT. The strong adhesion of CNTs with SS guaranteed the formation of the core-shell structures of CNTs with SnO2 or other metal oxides, which are expected to have applications in chemical sensors and lithium ion batteries.

Transcription-Coupled DNA Supercoiling in Escherichia Coli: Mechanisms and Biological Functions

Transcription by RNA polymerase can induce the formation of hypernegatively supercoiled DNA both in vivo and in vitro. This phenomenon has been explained by a “twin-supercoiled-domain” model of transcription where a positively supercoiled domain is generated ahead of the RNA polymerase and a negatively supercoiled domain behind it. In E. coli cells, transcription-induced topological change of chromosomal DNA is expected to actively remodel chromosomal structure and greatly influence DNA transactions such as transcription, DNA replication, and recombination. In this study, an IPTG-inducible, two-plasmid system was established to study transcription-coupled DNA supercoiling (TCDS) in E. coli topA strains. By performing topology assays, biological studies, and RT-PCR experiments, TCDS in E. coli topA strains was found to be dependent on promoter strength. Expression of a membrane-insertion protein was not needed for strong promoters, although co-transcriptional synthesis of a polypeptide may be required. More importantly, it was demonstrated that the expression of a membrane-insertion tet gene was not sufficient for the production of hypernegatively supercoiled DNA. These phenomenon can be explained by the “twin-supercoiled-domain” model of transcription where the friction force applied to E. coli RNA polymerase plays a critical role in the generation of hypernegatively supercoiled DNA. Additionally, in order to explore whether TCDS is able to greatly influence a coupled DNA transaction, such as activating a divergently-coupled promoter, an in vivo system was set up to study TCDS and its effects on the supercoiling-sensitive leu-500 promoter. The leu-500 mutation is a single A-to-G point mutation in the -10 region of the promoter controlling the leu operon, and the AT to GC mutation is expected to increase the energy barrier for the formation of a functional transcription open complex. Using luciferase assays and RT-PCR experiments, it was demonstrated that transient TCDS, “confined” within promoter regions, is responsible for activation of the coupled transcription initiation of the leu-500 promoter. Taken together, these results demonstrate that transcription is a major chromosomal remodeling force in E. coli cells.

Understanding the cycle of violence: An examination of bully and victim social roles in early childhood

The purpose of this study was to assess the prevalence of bullying and victimization in a metropolitan area. A cross-sectional study with kindergarten (n = 127) and first grade (n = 126) children was conducted in two Miami-Dade County Public Schools and three private schools in the same area. Bullying and victimization behavior and social acceptance were assessed through peer nomination and the mental health outcomes of depression and anxiety were assessed through children's self-report. Teachers and parents also completed a social behavior scale for each child. Three areas of analyses were conducted pertaining to membership classification of social roles and the social acceptance and mental health outcomes associated with those roles, reporter agreement within the social roles, and the psychometric properties of the Childhood Social Behavior Scale. Results showed an overall negative pattern of adjustment for children identified as a member of any of the negative social roles. Also, the results support a new analytic approach to the investigation of social roles. The implication of these findings for early identification, social policy, and effective prevention strategies are discussed. ^

Metacognitive Functions, Interest, and Student Engagement in the Writing Process: A Review of the Literature

The purpose of this paper is to draw on research that discusses the relationship between interest and metacognitive functions and its effect on engaging students in the writing process. Results indicate students who are interested in their writing activities engage in metacognitive strategies, remain focused, and complete their tasks.

Understanding the cycle of violence: an examination of bully and victim social roles in early childhood

The purpose of this study was to assess the prevalence of bullying and victimization in a metropolitan area. A cross-sectional study with kindergarten (n = 127) and first grade (n = 126) children was conducted in two Miami-Dade County Public Schools and three private schools in the same area. Bullying and victimization behavior and social acceptance were assessed through peer nomination and the mental health outcomes of depression and anxiety were assessed through children's self-report. Teachers and parents also completed a social behavior scale for each child. Three areas of analyses were conducted pertaining to membership classification of social roles and the social acceptance and mental health outcomes associated with those roles, reporter agreement within the social roles, and the psychometric properties of the Childhood Social Behavior Scale. Results showed an overall negative pattern of adjustment for children identified as a member of any of the negative social roles. Also, the results support a new analytic approach to the investigation of social roles. The implication of these findings for early identification, social policy, and effective prevention strategies are discussed.