{"id":131640,"date":"1996-01-01T00:00:00","date_gmt":"1996-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/las-dependencias-multivaluadas-en-el-proceso-deductivo-bajo-una-semantica-conjuntista\/"},"modified":"1996-01-01T00:00:00","modified_gmt":"1996-01-01T00:00:00","slug":"las-dependencias-multivaluadas-en-el-proceso-deductivo-bajo-una-semantica-conjuntista","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/las-dependencias-multivaluadas-en-el-proceso-deductivo-bajo-una-semantica-conjuntista\/","title":{"rendered":"Las dependencias multivaluadas en el proceso deductivo bajo una semantica conjuntista."},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Millan Gonzalez Marta Elena Socorro <\/strong><\/h2>\n<p>En este estudio se explora la posibilidad de extender un conjunto de axiomas utilizado en la derivacion de hechos a partir de aquellos registrados en la base de datos y de un conjunto de restricciones de integridad (dependencias funcionales) para considerar dependencias multivaluadas como reglas de inferencia desde un enfoque conjuntista del modelo relacional propuesto por spyratos y lecluse (1986). De esta manera la informacion externa se extiende para considerar tambien reglas de inferencia (dmv).  a partir de un conjunto consistente de reglas de inferencia, restricciones de integridad se reformulan los conceptos basicos del enfoque conjuntista del modelo relacional, extendiendolos para considerar dependencias multivaluadas como reglas de inferencia. Se propone, por otra parte, un modelo de interrogacion extendido basado en el propuesto por spyratos y lecluse que incorpora las dmv como reglas de inferencia cuando estas se aplican a tuplas positivas.  finalmente, este estudio propone a partir del conjunto de axiomas propuesto por laurent y spyratos (1987) un conjunto de axiomas de deduccion consistente y completo considerando dmv.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Las dependencias multivaluadas en el proceso deductivo bajo una semantica conjuntista.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Las dependencias multivaluadas en el proceso deductivo bajo una semantica conjuntista. <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Millan Gonzalez Marta Elena Socorro <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1996<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Mar\u00eda Covadonga Fern\u00e1ndez  Baiz\u00e1n<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Libia Perez Jimenez <\/li>\n<li>Concepcion Perez Llera (vocal)<\/li>\n<li>Rafael Portaencasa Baeza (vocal)<\/li>\n<li>Benjamin Dugnol Alvarez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Millan Gonzalez Marta Elena Socorro En este estudio se explora la posibilidad de extender un conjunto de [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[6314,1890,126,16008],"tags":[17381,16553,114504,16552,245445,16290],"class_list":["post-131640","post","type-post","status-publish","format-standard","hentry","category-bases-de-datos","category-ciencia-de-los-ordenadores","category-matematicas","category-politecnica-de-madrid","tag-benjamin-dugnol-alvarez","tag-concepcion-perez-llera","tag-libia-perez-jimenez","tag-maria-covadonga-fernandez-baizan","tag-millan-gonzalez-marta-elena-socorro","tag-rafael-portaencasa-baeza"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/131640","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=131640"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/131640\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=131640"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=131640"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=131640"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}