{"id":24811,"date":"2018-03-09T09:15:55","date_gmt":"2018-03-09T09:15:55","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/un-lenguaje-de-bases-de-datos-deductivo-basado-en-la-programacion-logico-funcional\/"},"modified":"2018-03-09T09:15:55","modified_gmt":"2018-03-09T09:15:55","slug":"un-lenguaje-de-bases-de-datos-deductivo-basado-en-la-programacion-logico-funcional","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/almeria\/un-lenguaje-de-bases-de-datos-deductivo-basado-en-la-programacion-logico-funcional\/","title":{"rendered":"Un lenguaje de bases de datos deductivo basado en la programaci\u00f3n l\u00f3gico funcional"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Antonio Becerra Teron <\/strong><\/h2>\n<p>El objetivo de la tesis es el dise\u00f1o del lenguaje de bases de datos deductivo indalog, basado en el paradigma de la programaci\u00f3n l\u00f3gico funcional, y utilizando una metodolog\u00eda que integre y extienda las caracter\u00edsticas de sistemas de bases de datos deductivos declarativos basados en programaci\u00f3n l\u00f3gica y programaci\u00f3n funcional. Indalog permite la definici\u00f3n de esquemas e instancias inducidas a partir de reglas condicionales de preescritura, manesando instancias infinitas, atributos multivalorados posiblemente infinitos, informaci\u00f3n parcial, y restricciones de igualdad de desigualdad. Se han definido los fundamentos sem\u00e1nticos de indalog y se ha caracterizado como lenguaje de consulta garantizando la propiedad de independencia del dominio.  tambi\u00e9n, se han desarrollado formalismos de consulta altenativos, basados en extensiones del c\u00e1lculo y algebra relacional, probando la equiValencia entre las consultas en indalog, las formulas del c\u00e1lculo y las expresiones del algebra. Por \u00faltimo se ha desarrollado una sem\u00e1ntica operacional basada en evaluaic\u00f3n bottom-up dirigida por el objetivo para programas con semantica en crwl y crwlf.  se han probado resultados de adecuaci\u00f3n y optimalidad para la sem\u00e1ntica operacional.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Un lenguaje de bases de datos deductivo basado en la programaci\u00f3n l\u00f3gico funcional<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Un lenguaje de bases de datos deductivo basado en la programaci\u00f3n l\u00f3gico funcional <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Antonio Becerra Teron <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Almer\u00eda<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 16\/07\/2003<\/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>Jes\u00fas Almendros Jimenez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: mario Rodriguez artaleso <\/li>\n<li>nieves Rodriguez brisaboa (vocal)<\/li>\n<li>buenaventura Clares rodr\u00edguez (vocal)<\/li>\n<li>salvador Lucas alba (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Antonio Becerra Teron El objetivo de la tesis es el dise\u00f1o del lenguaje de bases de datos [&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":[18909],"tags":[72674,35611,72675,72676,36418,45326],"class_list":["post-24811","post","type-post","status-publish","format-standard","hentry","category-almeria","tag-antonio-becerra-teron","tag-buenaventura-clares-rodriguez","tag-jesus-almendros-jimenez","tag-mario-rodriguez-artaleso","tag-nieves-rodriguez-brisaboa","tag-salvador-lucas-alba"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/24811","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=24811"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/24811\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=24811"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=24811"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=24811"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}