The Implication Problem for Functional and Multivalued Dependencies

Computation of the dependency basis is the fundamental step in solving the implication problem for MVDs in relational database theory. We examine this problem from an algebraic perspective. We introduce the notion of the inference basis of a set M of MVDs and show that it contains the maximum information about the logical consequences of M. We propose the notion of an MVD-lattice and develop an algebraic characterization of the inference basis using simple notions from lattice theory. We also establish several properties of MVD-lattices related to the implication problem. Founded on our characterization, we synthesize efficient algorithms for (a) computing the inference basis of a given set M of MVDs; (b) computing the dependency basis of a given attribute set w.r.t. M; and (c) solving the implication problem for MVDs. Finally, we show that our results naturally extend to incorporate FDs also in a way that enables the solution of the implication problem for both FDs and MVDs put together.

Representation of functional dependencies in relational databases using linear graphs

Functional dependencies in relational databases are investigated. Eight binary relations, viz., (1) dependency relation, (2) equipotence relation, (3) dissidence relation, (4) completion relation, and dual relations of each of them are described. Any one of these eight relations can be used to represent the functional dependencies in a database. Results from linear graph theory are found helpful in obtaining these representations. The dependency relation directly gives the functional dependencies. The equipotence relation specifies the dependencies in terms of attribute sets which functionally determine each other. The dissidence relation specifies the dependencies in terms of saturated sets in a very indirect way. Completion relation represents the functional dependencies as a function, the range of which turns out to be a lattice. Depletion relation which is the dual of the completion relation can also represent functional dependencies and similarly can the duals of dependency, equipotence, and dissidence relations. The class of depleted sets, which is the dual of saturated sets, is defined and used in the study of depletion relations.

Renormalisation of the Fayet-Illiopoulos term in supersymmetric spontaneously broken U( 1) gauge theories

It is shown that the Fayet-Illiopoulos D term in N= 1 supersymmetric spontaneously broken U( 1) gauge theories may get one-loop corrections, even when trace U( 1) charges are zero. However, these corrections are only logarithmically divergent and hence do not affect the naturalness of the theory.

Regional differentiationnext term in previous termbull sperm plasma membranesnext term

previous termBull spermnext term heads and tails have been separated by proteolytic digestion (trypsin) and previous termplasma membranesnext term have been isolated, using discontinuous sucrose density gradient centrifugation. previous termPlasma membranenext term bound Ca2+-ATPase is shown to be associated mostly with the tail previous termmembranes.next term Pyrene excimer fluorescence and diphenylhexatriene fluorescence polarization experiments indicate a more fluid lipid phase in the tail region. Differences in surface charge distribution have been found, using 1-anilinonaphthalene-8-sulfonate and Tb3+ as fluorescent probes.

Mesoscale description of an asymmetric lamellar phase

The relationship between the parameters in a description based on a mesoscale free energy functional for the concentration field and the macroscopic properties, such as the bending and compression moduli and the permeation constant, are examined for an asymmetric lamellar phase where the mass fractions of the hydrophobic and hydrophilic parts are not equal. The difference in the mass fractions is incorporated using a cubic term in the free energy functional, in addition to the usual quadratic and quartic terms in the Landau–Ginsburg formulation. The relationship between the coefficient of the cubic term and the difference in the mass fractions of the hydrophilic and hydrophobic parts is obtained. For a lamellar phase, it is important to ensure that the surface tension is zero due to symmetry considerations. The relationship between the parameters in the free energy functional for zero surface tension is derived. When the interface between the hydrophilic and hydrophobic parts is diffuse, it is found that the bending and compression moduli, scaled by the parameters in the free energy functional, do increase as the asymmetry in the bilayer increases. When the interface between the hydrophilic and hydrophobic parts is sharp, the scaled bending and compression moduli show no dependence on the asymmetry in the bilayer. The ratio of the permeation constant in between the water and bilayer in a molecular description and the Onsager coefficient in the mesoscale description is O(1) for both sharp and diffuse interfaces and it increases as the difference in the mass fractions is increased.

Representation of functional dependencies in relational databases using linear graphs

Functional dependencies in relational databases are investigated. Eight binary relations, viz., (1) dependency relation, (2) equipotence relation, (3) dissidence relation, (4) completion relation, and dual relations of each of them are described. Any one of these eight relations can be used to represent the functional dependencies in a database. Results from linear graph theory are found helpful in obtaining these representations. The dependency relation directly gives the functional dependencies. The equipotence relation specifies the dependencies in terms of attribute sets which functionally determine each other. The dissidence relation specifies the dependencies in terms of saturated sets in a very indirect way. Completion relation represents the functional dependencies as a function, the range of which turns out to be a lattice. Depletion relation which is the dual of the completion relation can also represent functional dependencies and similarly can the duals of dependency, equipotence, and dissidence relations. The class of depleted sets, which is the dual of saturated sets, is defined and used in the study of depletion relations.

Renormalisation of the Fayet-Illiopoulos term in supersymmetric spontaneously broken U( 1) gauge theories

It is shown that the Fayet-Illiopoulos D term in N= 1 supersymmetric spontaneously broken U( 1) gauge theories may get one-loop corrections, even when trace U( 1) charges are zero. However, these corrections are only logarithmically divergent and hence do not affect the naturalness of the theory.

Modulation of arginine decarboxylase activity in cucumber (Cucumis sativus) cotyledons in short-term organ culture

Among the various amines administered to excisedCucumis sativus cotyledons in short-term organ culture, agmatine (AGM) inhibited arginine decarboxylase (ADC) activity to around 50%, and putrescine was the most potent entity in this regard. Homoarginine (HARG) dramatically stimulated (3- to 4-fold) the enzyme activity. Both AGM inhibition and HARG stimulation of ADC were transient, the maximum response being elicited at 12 h of culture. Mixing experiments ruled out involvement of a macromolecular effector in the observed modulation of ADC. HARG-stimulated ADC activity was completely abolished by cycloheximide, whereas AGM-mediated inhibition was unaffected. Half-life of the enzyme did not alter on treatment with either HARG or AGM. The observed alterations in ADC activity are accompanied by change in Km of the enzyme. HARG-stimulated ADC activity is additive to that induced by benzyladenine (BA) whereas in presence of KCl, HARG failed to enhance ADC activity, thus demonstrating the overriding influence of K+ on amine metabolism.

Soft Functional Materials Induced by Fibrillar Networks of Small Molecular Photochromic Gelators

Low-molecular-mass organogelators (LMOGs) based on photochromic molecules aggregate in selected solvents to form gels through various spatio-temporal interactions. The factors that control the mode of aggregation of the chromophoric core in the LMOGs during gelation, gelation-induced changes in fluorescence, the formation of stacked superstructures of extended pi-conjugated systems, and so forth are discussed with selected examples. Possible ways of generating various light-harvesting assemblies are proposed, and some unresolved questions, future challenges, and their possible solutions on this topic are presented.

Choice of the End Functional Groups in Tri(p-phenylenevinylene) Derivatives Controls Its Physical Gelation Abilities

New supramolecular organogels based on all-trans-tri(p-phenylenevinylene) (TPV) systems possessing different terminal groups, e.g., oxime, hydrazone, phenylhydrazone, and semicarbazone have been synthesized. The self-assembly properties of the compounds that gelate in specific organic solvents and the aggregation motifs of these molecules in the organogels were investigated using UV−vis, fluorescence, FT-IR, and 1H NMR spectroscopy, electron microscopy, differential scanning calorimetry (DSC), and rheology. The temperature variable UV−vis and fluorescence spectroscopy in different solvents clearly show the aggregation pattern of the self-assemblies promoted by hydrogen bonding, aromatic π-stacking, and van der Waals interactions among the individual TPV units. Gelation could be controlled by variation in the number of hydrogen-bonding donors and acceptors in the terminal functional groups of this class of gelators. Also wherever gelation is observed, the individual fibers in gels change to other types of networks in their aggregates depending on the number of hydrogen-bonding sites in the terminal functions. Comparison of the thermal stability of the gels obtained from DSC data of different gelators demonstrates higher phase transition temperature and enthalpy for the hydrazone-based gelator. Rheological studies indicate that the presence of more hydrogen-bonding donors in the periphery of the gelator molecules makes the gel more viscoelastic solidlike. However, in the presence of more numbers of hydrogen-bonding donor/acceptors at the periphery of TPVs such as with semicarbazone a precipitation as opposed to gelation was observed. Clearly, the choice of the end functional groups and the number of hydrogen-bonding groups in the TPV backbone holds the key and modulates the effective length of the chromophore, resulting in interesting optical properties.

Lone-pair interactionsnext term in previous termmolecules

Theoretically calculated previous termlone-pairnext term splittings in H2O2, H2S2, N2H4, P2H4, glyoxal and dithioglyoxal have been compared with experimental values. Potential functions for rotation and the effect of geometry relaxation on rotomer energies have also been examined.

Functional programming systems revisited

Functional Programming (FP) systems are modified and extended to form Nondeterministic Functional Programming (NFP) systems in which nondeterministic programs can be specified and both deterministic and nondeterministic programs can be verified essentially within the system. It is shown that the algebra of NFP programs has simpler laws in comparison with the algebra of FP programs. "Regular" forms are introduced to put forward a disciplined way of reasoning about programs. Finally, an alternative definition of "linear" forms is proposed for reasoning about recursively defined programs. This definition, when used to test the linearity of forms, results in simpler verification conditions than those generated by the original definition of linear forms.

Functional changes in rat liver mitochondria on administration of 2-methyl-4-dimethylaminoazobenzene

Administration of 2-methyl-4-dimethylaminobenzene in the diet (0.1%, w/w) for 85-90 days doubled the content of mitochondria in the livers of rats. The azodye was covalently bound to liver proteins, and about 15% of the amount found in liver was associated with the mitochondrial fraction. Mitochondria isolated from the livers of azodye-fed animals showed drastically lowered ability to oxidize NAD+-linked substrates. The inhibited electron-transfer step was the reduction of ubiquinone. The organelles showed a large increase in succinate oxidase activity. The activity of cytochrome oxidase and the content of cytochrome aa3 were substantially higher in these organelles. Azodye-fed animals showed depressed serum cholesterol concentrations. The content of ubiquinone in liver also registered a small increase.