{"id":18124,"date":"2002-05-07T00:00:00","date_gmt":"2002-05-07T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/dependencias-funcionalesideal-operadores-no-deterministas-y-operadores-de-sustitucion\/"},"modified":"2002-05-07T00:00:00","modified_gmt":"2002-05-07T00:00:00","slug":"dependencias-funcionalesideal-operadores-no-deterministas-y-operadores-de-sustitucion","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/dependencias-funcionalesideal-operadores-no-deterministas-y-operadores-de-sustitucion\/","title":{"rendered":"Dependencias funcionales,ideal-operadores no deterministas y operadores de sustituci\u00f3n."},"content":{"rendered":"<h2>Tesis doctoral de <strong> \u00e1ngel Mora Bonilla <\/strong><\/h2>\n<p>El trabajo de la tesis estudia los \u00abfundamentos l\u00f3gicos y algebraicos y aplicaciones a dependencias funcionales (dfs) en bases de datos (bd) relacionales\u00bb y tiene como objetivo: \u00abcontribuir a una fundamentaci\u00f3n rigurosa y al dise\u00f1o de t\u00e9cnicas y herramientas eficientes para bds\u00bb. Destacamos a continuaci\u00f3n las aportaciones que pueden encontrarse en el trabajo:  *  desarrollamos una nueva teoria algebraica que permite enmarcar el estudio de las dfs como un caso particular y sencillo de desarrollos en el marco m\u00e1s general de la teor\u00eda de ret\u00edculos. Este estudio permitir\u00e1 \u00abdisponer de un marco formal adecuado para dirigir la b\u00fasqueda de algoritmos eficientes para los problemas m\u00e1s significativos en el mantenimiento de bases de datos relacionales\u00bb. A destacar, la introducci\u00f3n, en el marco de la teor\u00eda de ret\u00edculos, de un nuevo concepto de operador, al que denominamos ideal-operador no determinista que nos permite:  i) caracterizar el concepto de relaci\u00f3n de armstrong (f-familia), ampliamente utilizado en la bibliograf\u00eda de bds.  ii) obtener como particularizaciones triviales resultados sobre dfs.  iii) formalizar el concepto de redundancia que extiende el usado en el contexto de bds.  iv) formalizar el concepto de cierre minimal como generador m\u00ednimo de un operador no determinista.  v) extender el concepto de esquema y establecer el marco te\u00f3rico adecuado para el estudio de las claves y anticlaves.  vi) dar una definici\u00f3n formal de las formas normales.  vii) disminuir el espacio de b\u00fasqueda de las claves minimales de un esquema.  *  introducimos una nueva l\u00f3gica de dfs reducidas con operadores de sustituci\u00f3n (ldfsn) m\u00e1s adecuada para las aplicaciones que las existentes en la bibliograf\u00eda. Dos son las caracter\u00edsticas de nuestra l\u00f3gica sobre la que basamos su adecuaci\u00f3n.  i) contempla en el lenguaje el atributo vac\u00edo.  ii) incluye reglas de sustituci\u00f3n que definen dos operadores de sustituci\u00f3n, para la<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Dependencias funcionales,ideal-operadores no deterministas y operadores de sustituci\u00f3n.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Dependencias funcionales,ideal-operadores no deterministas y operadores de sustituci\u00f3n. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 \u00e1ngel Mora Bonilla <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 M\u00e1laga<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 05\/07\/2002<\/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> P\u00e9rez Guzm\u00e1n Molina Inmaculada<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  Barja p\u00e9rez Jos\u00e9 Mar\u00eda <\/li>\n<li>Jos\u00e9 Mu\u00f1oz p\u00e9rez (vocal)<\/li>\n<li>Mar\u00eda  amparo Vila miranda (vocal)<\/li>\n<li>felip Ma\u00f1\u00e1 serres (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de \u00e1ngel Mora Bonilla El trabajo de la tesis estudia los \u00abfundamentos l\u00f3gicos y algebraicos y aplicaciones a [&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":[2809,6314,1890,3747,3748,10816,7834,126,32513],"tags":[56386,3754,56388,24726,3600,56387],"class_list":["post-18124","post","type-post","status-publish","format-standard","hentry","category-algebra","category-bases-de-datos","category-ciencia-de-los-ordenadores","category-logica","category-logica-deductiva","category-logica-matematica","category-malaga","category-matematicas","category-reticulos","tag-angel-mora-bonilla","tag-barja-perez-jose-maria","tag-felip-mana-serres","tag-jose-munoz-perez","tag-maria-amparo-vila-miranda","tag-perez-guzman-molina-inmaculada"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/18124","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=18124"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/18124\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=18124"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=18124"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=18124"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}