{"id":3819,"date":"1994-01-01T00:00:00","date_gmt":"1994-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/1994\/01\/01\/disseny-de-transaccions-a-partir-de-models-conceptuals-deductius\/"},"modified":"1994-01-01T00:00:00","modified_gmt":"1994-01-01T00:00:00","slug":"disseny-de-transaccions-a-partir-de-models-conceptuals-deductius","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/disseny-de-transaccions-a-partir-de-models-conceptuals-deductius\/","title":{"rendered":"Disseny de transaccions a partir de models conceptuals deductius"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Mar\u00eda Ribera Sancho Samso <\/strong><\/h2>\n<p>La finalidad de las especificaciones conceptuales de un sistema de informacion (si) es la representacion de la realidad organizacional, o del conocimiento abstracto sobre el universo de discurso, considerado desde el punto de vista estatico, de su estructura, y tambien desde el punto de vista dinamico, de su comportamiento. Existen, basicamente, dos enfoques para especificar conceptualmente los aspectos estatico y dinamico de un sistema de informacion, que se denominan operacional y deductivo.  por lo que respecta a la modelizacion conceptual, el enfoque deductivo presenta numerosas ventajas respecto al operacional pero, como contrapartida, los modelos conceptuales deductivos (mcd) son mucho mucho mas dificiles de implementar que los operacionales.  las principales decisiones de dise\u00f1o necesarias para implementar un si a partir de un mcd son el dise\u00f1o de la base de datos y el dise\u00f1o de las transacciones. En esta tesis hemos demostrado que, a partir de una posible estructura de la base de datos, la especificacion de las transacciones a partir del mcd puede ser completamente automatizada: las precondiciones de cada transaccion se determinan a partir de las restricciones de integridad, y las actualizaciones de la base de datos se obtienen a partir de un analisis de las reglas de deduccion. El metodo que proponemos obtiene, automaticamente, a partir del mcd, un conjunto de reglas llamadas reglas de eventos internos, que definen explicitamente los cambios en los predicados derivados inducidos por la ocurrencia de un determinado evento externo. Usamos estas reglas para el dise\u00f1o de las transacciones basandonos, fundamentalmente, en un procedimiento de evaluacion parcial.  para aumentar la potencia del metodo de especificacion de transacciones, proponemos un procedimiento de simplificacion de las reglas de eventos internos. Este procedimiento usa el conjunto completo de las restricciones de integridad y tambien las propias regla<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Disseny de transaccions a partir de models conceptuals deductius<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Disseny de transaccions a partir de models conceptuals deductius <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Mar\u00eda Ribera Sancho Samso <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de catalunya<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1994<\/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>Antoni Oliv\u00e9 Ramon<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Felix Saltor Soler <\/li>\n<li>Colette Roland (vocal)<\/li>\n<li>A. Bubenko Janis (vocal)<\/li>\n<li>Isidre Ramos (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Mar\u00eda Ribera Sancho Samso La finalidad de las especificaciones conceptuales de un sistema de informacion (si) es [&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":[1890,4149,126,15596],"tags":[15926,13034,15925,4014,15927,15924],"class_list":["post-3819","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-diseno-y-componentes-de-sistemas-de-informacion","category-matematicas","category-politecnica-de-catalunya","tag-a-bubenko-janis","tag-antoni-olive-ramon","tag-colette-roland","tag-felix-saltor-soler","tag-isidre-ramos","tag-maria-ribera-sancho-samso"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/3819","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=3819"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/3819\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=3819"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=3819"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=3819"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}