Axiomization of nw-MVD
نویسندگان
چکیده
Nesting of relations is very much essential for many database representations in reality. Nesting of relations tends to reduce the data redundancy in the relations. It helps in dropping certain constraints in normalization which tend to omit certain sensitive data when tried to be normalized. Query processing or conversion of data repositories, as required, can be easily being tackled by the aid of this maintenance. Addressing of certain conditions about the commuting properties between different relations is dealt. It has been proved that the maintenance of databases with respect to multivalued dependency is enough for nesting that relation, as required. Multivalued dependency, though omits the rule of being in accordance to normalization, is very much useful to preserve sensitive data relations. More prominently weak multivalued dependencies are being maintained among the relations, where each relation is aimed to be nested with other relations without loss of generality. Certain inference system is being developed with different notations and implications posed on it, for studying multivalued dependent data, that is being nested. Complementation rule, which on being implied to the database, makes the relation to be easily decomposed into smaller relations. Axiomization is being tested on weak multivalued dependent relations, which have been nested. Keywords— Axiomization, Normalization, Multivalued dependency, MVD, w-MVD, nw-MVD.
منابع مشابه
THE PIVOTAL ROLE OF CRANIAL NERVER DECOMPRESSION
Reported are a total of 81 microsurgical operations for cranial nerve root decompression comprising of 66 trigeminal, 10 facial, one vestibular, one vagus and three accessory nerve dysfunction syndromes from 1983 to 1990. Almost all cases of trigeminal neuralgia (TNG) secondary to vascular (59 cases) and minute mass (10 cases) compression, and those with hemifacial spasm (HFS) (nine out o...
متن کاملEquational Axiomization of Bicoercibility for Polymorphic Types
Two polymorphic types and are said to be bicoercible if there is a coercion from to and conversely. We give a complete equational axiomatization of bicoercible types and prove that the relation of bicoercibility is decidable.
متن کاملAxiomization of the center function on trees
We give a new, short proof that four certain axiomatic properties uniquely define the center of a tree.
متن کاملمطالعه میزان آنژیوژنز مدلهای زنوگرافت بومی گلیوبلاستوما مالتیفورم در بیماران ایرانی بهروش MVD-CD34
Background: Despite advances in cancer diagnosis and treatment, survival rate of patients suffering from glioblastoma multiform (GBM) has not been significantly improved. Therefore, novel therapeutic adjuncts to routine therapies have been suggested over time. Inhibition of angiogenesis by antiangiogenic drugs is one of the new approaches to inhibit the growth of malignant cells. Microvessel d...
متن کاملبررسی دانسیته عروق ریز و فاکتور رشد اندوتلیال رگی در کارسینومهای مهاجم پستان با روش مارکر ایمونوهیستوشیمی و مقایسه آن با پارامترهای کلینیکوپاتولوژیک
Background & Aim: Angiogenesis has an important role in the progression and metastasis of breast cancer and is a predictor of patient's survival. This process is regulated by vascular endothelial growth factors (VEGF). The purpose of the present study is to determine the angiogenesis process through the evaluation of the relationship between MVD and VEGF based on immunohistochemistry in p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014