{"id":1413,"date":"2019-03-07T00:00:00","date_gmt":"2019-03-07T03:00:00","guid":{"rendered":"http:\/\/ijandev-test.fi.uncoma.edu.ar\/Wordpress\/index.php\/2019\/03\/07\/uriz-celia-analisis-de-la-expresividad-de-la-programacion-en-logica-rebatible-como-lenguaje-de-consulta-marzo-2019\/"},"modified":"2022-02-06T23:51:05","modified_gmt":"2022-02-07T02:51:05","slug":"1161-uriz-celia-analisis-de-la-expresividad-de-la-programacion-en-logica-rebatible-como-lenguaje-de-consulta-marzo-2019","status":"publish","type":"post","link":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/nuevos-lic-lcc\/1161-uriz-celia-analisis-de-la-expresividad-de-la-programacion-en-logica-rebatible-como-lenguaje-de-consulta-marzo-2019\/","title":{"rendered":"Uriz, Celia: An\u00e1lisis de la expresividad de la Programaci\u00f3n en L\u00f3gica Rebatible como lenguaje de consulta. Marzo 2019"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-post\" data-elementor-id=\"1413\" class=\"elementor elementor-1413\">\n\t\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-55ae504b elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"55ae504b\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-4b56072c\" data-id=\"4b56072c\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-57f6356d elementor-widget elementor-widget-text-editor\" data-id=\"57f6356d\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.6.7 - 03-07-2022 *\/\n.elementor-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#818a91;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#818a91;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<p><strong>T\u00edtulo<\/strong>:\u00a0 \u00abAn\u00e1lisis de la expresividad de la Programaci\u00f3n en L\u00f3gica Rebatible como lenguaje de consulta\u00bb<\/p><p><strong>Tesista<\/strong>: Celia In\u00e9s Uriz<\/p><p><strong>Directores<\/strong>: Dra. Laura Cecchi &#8211; Mg. Claudio Vaucheret<\/p><p><strong>Carrera<\/strong>: Licenciatura en Ciencias de la Computaci\u00f3n<\/p><p style=\"text-align: justify;\"><strong>D\u00eda y lugar<\/strong>: 7 de marzo de 2019<br \/>\u00a0<\/p><p style=\"text-align: justify;\"><strong>Resumen<\/strong><\/p><p style=\"text-align: justify;\">El problema de la manipulaci\u00f3n y procesamiento de grandes cantidades de datos es de mucha importancia en la investigaci\u00f3n relacionada con el desarrollo de Sistemas de Gesti\u00f3n de Bases de Datos eficientes y ha creado una fuerte demanda de lenguajes de representaci\u00f3n y consulta m\u00e1s potentes.<\/p><p style=\"text-align: justify;\">La Programaci\u00f3n en L\u00f3gica Rebatible (P.L.R.) captura aspectos del razonamiento del sentido com\u00fan que son dif\u00edciles de expresar en la Programaci\u00f3n en L\u00f3gica tradicional. Asimismo, permite representar informaci\u00f3n incompleta y potencialmente inconsistente, y utiliza los conceptos de la argumentaci\u00f3n rebatible a fin de poder decidir entre metas contradictorias.<\/p><p style=\"text-align: justify;\">En la actualidad, existen desarrollos de P.L.R. relacionados a bases de datos y la web. Motivados por estas aplicaciones y las caracter\u00edsticas antes mencionadas, en esta tesis se formaliza a la P.L.R. como un lenguaje de consulta.<\/p><p style=\"text-align: justify;\">Asimismo, se presenta un an\u00e1lisis del sistema en cuanto a su poder expresivo, cuya valoraci\u00f3n ayuda a precisar los conceptos que son posibles definir como consultas y sus limitantes. En este sentido, el estudio se realiz\u00f3 con dos enfoques.<\/p><p style=\"text-align: justify;\">Por un lado, en esta tesis se introdujo un concepto novedoso en el \u00e1rea que tiene en cuenta la jerarqu\u00eda DIKW (Data-Information-Knowledge-Wisdom): Sistema de Manejo de Datos, de Informaci\u00f3n y de Conocimiento. La diferencia entre estos sistemas radica en la capacidad del lenguaje de consulta. A partir de esta definici\u00f3n se analiz\u00f3 la correspondencia entre los elementos de estos sistemas, lo que permite la comparaci\u00f3n en cuanto a su poder expresivo, a trav\u00e9s de homomorfismos. Una caracter\u00edstica importante de este nuevo concepto de poder expresivo es que lenguajes de consulta de diferentes clases pueden ser comparados. Se instanci\u00f3 al lenguaje de consulta P.L.R. como un Sistema de Manejo de Informaci\u00f3n y se demostr\u00f3 que este sistema es tan expresivo como aquellos basados en \u00e1lgebra relacional y en Datalog.<\/p><p style=\"text-align: justify;\">Por otro lado, se analiz\u00f3 la expresividad del lenguaje de consulta basado en la P.L.R., a trav\u00e9s de consultas caracter\u00edsticas. As\u00ed, se identificaron consultas est\u00e1ndares que representan propiedades deseables en los lenguajes de consulta, se introdujeron nuevas consultas y se determinaron las consultas que pueden ser expresadas en la P.L.R., llevando su expresividad m\\&#8217;as cerca de la idea de base de datos. Finalmente se compar\u00f3 a la P.L.R. con otros lenguajes de consulta relevantes en la actualidad, entre ellos sistemas de bases de datos de grafos.<\/p><p style=\"text-align: justify;\">La P.L.R. como lenguaje de consulta, al manejar informaci\u00f3n inconsistente es m\u00e1s expresiva que los lenguajes SQL, Datalog entre otros. Sin embargo, este resultado contrarresta con su complejidad espacial: PSPACE.<\/p><p style=\"text-align: justify;\">Los resultados obtenidos en este trabajo, a partir del an\u00e1lisis de la P.L.R. como lenguaje de consulta, son de gran inter\u00e9s en la comunidad cient\u00edfica, como paso inicial a la caracterizaci\u00f3n te\u00f3rica de su poder expresivo.<\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-5486690 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"5486690\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-d297f42\" data-id=\"d297f42\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-8072340 elementor-widget elementor-widget-image\" data-id=\"8072340\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.6.7 - 03-07-2022 *\/\n.elementor-widget-image{text-align:center}.elementor-widget-image a{display:inline-block}.elementor-widget-image a img[src$=\".svg\"]{width:48px}.elementor-widget-image img{vertical-align:middle;display:inline-block}<\/style>\t\t\t\t\t\t\t\t\t<figure class=\"wp-caption\">\n\t\t\t\t\t\t\t\t\t\t<img width=\"900\" height=\"464\" src=\"https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2019\/03\/tesis-uriz.jpeg\" class=\"attachment-large size-large\" alt=\"\" loading=\"lazy\" srcset=\"https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2019\/03\/tesis-uriz.jpeg 900w, https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2019\/03\/tesis-uriz-300x155.jpeg 300w, https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2019\/03\/tesis-uriz-768x396.jpeg 768w\" sizes=\"(max-width: 900px) 100vw, 900px\" \/>\t\t\t\t\t\t\t\t\t\t\t<figcaption class=\"widget-image-caption wp-caption-text\">Foto del d\u00eda de la defensa con su tutora y el tribunal integrado por los profesores Mg. Adair Martins y Mg. Gerardo Parra<\/figcaption>\n\t\t\t\t\t\t\t\t\t\t<\/figure>\n\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-43f0597 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"43f0597\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-86e53b6\" data-id=\"86e53b6\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-673f794 elementor-align-center elementor-widget elementor-widget-button\" data-id=\"673f794\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t<a href=\"https:\/\/www.fi.uncoma.edu.ar\/index.php\/nuevos-lic-lcc\/\" class=\"elementor-button-link elementor-button elementor-size-sm\" role=\"button\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-text\">Ver otras tesis LCC FaI<\/span>\n\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>T\u00edtulo:\u00a0 \u00abAn\u00e1lisis de la expresividad de la Programaci\u00f3n en L\u00f3gica Rebatible como lenguaje de consulta\u00bb Tesista: Celia In\u00e9s Uriz Directores: Dra. Laura Cecchi &#8211; Mg. Claudio Vaucheret Carrera: Licenciatura en Ciencias de la Computaci\u00f3n D\u00eda y lugar: 7 de marzo de 2019\u00a0 Resumen El problema de la manipulaci\u00f3n y procesamiento de grandes cantidades de datos &hellip;<\/p>\n<p class=\"read-more\"> <a class=\"\" href=\"https:\/\/www.fi.uncoma.edu.ar\/index.php\/nuevos-lic-lcc\/1161-uriz-celia-analisis-de-la-expresividad-de-la-programacion-en-logica-rebatible-como-lenguaje-de-consulta-marzo-2019\/\"> <span class=\"screen-reader-text\">Uriz, Celia: An\u00e1lisis de la expresividad de la Programaci\u00f3n en L\u00f3gica Rebatible como lenguaje de consulta. Marzo 2019<\/span> Leer m\u00e1s &raquo;<\/a><\/p>\n","protected":false},"author":1,"featured_media":8772,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"default","ast-global-header-display":"","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":""},"categories":[14],"tags":[],"uagb_featured_image_src":{"full":["https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2019\/03\/tesis-uriz.jpeg",900,464,false],"thumbnail":["https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2019\/03\/tesis-uriz-150x150.jpeg",150,150,true],"medium":["https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2019\/03\/tesis-uriz-300x155.jpeg",300,155,true],"medium_large":["https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2019\/03\/tesis-uriz-768x396.jpeg",768,396,true],"large":["https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2019\/03\/tesis-uriz.jpeg",900,464,false],"1536x1536":["https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2019\/03\/tesis-uriz.jpeg",900,464,false],"2048x2048":["https:\/\/www.fi.uncoma.edu.ar\/wp-content\/uploads\/2019\/03\/tesis-uriz.jpeg",900,464,false]},"uagb_author_info":{"display_name":"ufai","author_link":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/author\/ufai\/"},"uagb_comment_info":0,"uagb_excerpt":"T\u00edtulo:\u00a0 \u00abAn\u00e1lisis de la expresividad de la Programaci\u00f3n en L\u00f3gica Rebatible como lenguaje de consulta\u00bb Tesista: Celia In\u00e9s Uriz Directores: Dra. Laura Cecchi &#8211; Mg. Claudio Vaucheret Carrera: Licenciatura en Ciencias de la Computaci\u00f3n D\u00eda y lugar: 7 de marzo de 2019\u00a0 Resumen El problema de la manipulaci\u00f3n y procesamiento de grandes cantidades de datos&hellip;","_links":{"self":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts\/1413"}],"collection":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/comments?post=1413"}],"version-history":[{"count":5,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts\/1413\/revisions"}],"predecessor-version":[{"id":8776,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts\/1413\/revisions\/8776"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/media\/8772"}],"wp:attachment":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/media?parent=1413"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/categories?post=1413"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/tags?post=1413"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}