MiniZinc+:finite type extensions for constraint programming language MiniZinc

Muchos problemas se modelan de forma natural extendiendo un tipo existente con valores adicionales. Por ejemplo, los tipos de las bases de datos se extienden con valores nulos para representar la falta de datos. De forma parecida, los enteros pueden extenderse para tratar -∞ y +∞. Estas extensiones...

Descripción completa

Detalles Bibliográficos
Autor: Tenorio Fornés, Ámbar
Tipo de recurso: tesis de maestría
Fecha de publicación:2013
País:España
Institución:Universidad Complutense de Madrid (UCM)
Repositorio:Docta Complutense
Idioma:inglés
OAI Identifier:oai:docta.ucm.es:20.500.14352/46662
Acceso en línea:https://hdl.handle.net/20.500.14352/46662
Access Level:acceso abierto
Palabra clave:004.438MiniZinc(043.3)
004.42.048(043.3)
004.432.4(043.3)
Extensión de tipos
Programación con restricciones
Transformación de programas
Lenguajes declarativos
MiniZinc
Satisfacción de restricciones
Optimización. Type extension
Constraint programming
Program transformation
Declarative languages
Constraint satisfaction
Optimization.
Lenguajes de programación
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
id ES_ee8940e6829f236be5fa6c088acd6891
oai_identifier_str oai:docta.ucm.es:20.500.14352/46662
network_acronym_str ES
network_name_str España
repository_id_str
spelling MiniZinc+:finite type extensions for constraint programming language MiniZincTenorio Fornés, Ámbar004.438MiniZinc(043.3)004.42.048(043.3)004.432.4(043.3)Extensión de tiposProgramación con restriccionesTransformación de programasLenguajes declarativosMiniZincSatisfacción de restriccionesOptimización. Type extensionConstraint programmingProgram transformationDeclarative languagesConstraint satisfactionOptimization.Lenguajes de programaciónProgramación de ordenadores (Informática)1203.23 Lenguajes de Programación1203.23 Lenguajes de ProgramaciónMuchos problemas se modelan de forma natural extendiendo un tipo existente con valores adicionales. Por ejemplo, los tipos de las bases de datos se extienden con valores nulos para representar la falta de datos. De forma parecida, los enteros pueden extenderse para tratar -∞ y +∞. Estas extensiones no solo afectan a la representación de tipos sino también a las funciones y operaciones entre los elementos del nuevo tipo extendido. Por ejemplo, para extender el tipo entero con los valores -∞ y +∞, las operaciones aritméticas como la suma y la resta se deben redefinir para los nuevos valores. Nuestra propuesta extiende el lenguaje de programación con restricciones MiniZinc para permitir modelos con tipos extendidos. El sistema permite la definición de tipos extendidos y del comportamiento de las operaciones respecto a los nuevos tipos. Los modelos extendidos son transformados a modelos MiniZinc equivalentes. Definimos la semántica tanto de MiniZinc como de la extensión propuesta y probamos la corrección de la transformación. El uso y las aplicaciones del nuevo lenguaje se ilustran a través de ejemplos incluyendo problemas SQL, circuitos Booleanos con posibles entradas indefinidas y problemas de planificación con valores especiales para el tiempo. [ABSTRACT] Many problems are naturally modeled by extending an existing type with additional values. For example, database types are extended with null values to represent missing data Similarly, integers may be extended to handle -∞ and +∞. These extensions does not only aects the type representation but also the functions and operations involving elements of the new extended type. For instance, in order to extend integer type with -∞ and +∞ values, the arithmetical operations such as addition and subtraction must be defined for the new values. Our proposal extends the constraint modeling language MiniZinc to allow models with extended types. The framework allows the definition of the extended types and the behavior of the operations with relation to the new types. The extended models are transformed into equivalent MiniZinc models. We define the semantics of both MiniZinc and the proposed extension and prove the correctness of the transformation. The usage and applications of the new language are illustrated through examples including SQL like problems, Boolean circuits allowing undefined inputs and scheduling problems considering special time values.Caballero Roldán, RafaelStuckey, Peter J.Universidad Complutense de Madrid20132013-01-0120132013-01-01master thesishttp://purl.org/coar/resource_type/c_bdccinfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/20.500.14352/46662reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2Atribución-NoComercial 3.0 Españahttps://creativecommons.org/licenses/by-nc/3.0/es/info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/466622026-06-02T12:44:21Z
dc.title.none.fl_str_mv MiniZinc+:finite type extensions for constraint programming language MiniZinc
title MiniZinc+:finite type extensions for constraint programming language MiniZinc
spellingShingle MiniZinc+:finite type extensions for constraint programming language MiniZinc
Tenorio Fornés, Ámbar
004.438MiniZinc(043.3)
004.42.048(043.3)
004.432.4(043.3)
Extensión de tipos
Programación con restricciones
Transformación de programas
Lenguajes declarativos
MiniZinc
Satisfacción de restricciones
Optimización. Type extension
Constraint programming
Program transformation
Declarative languages
Constraint satisfaction
Optimization.
Lenguajes de programación
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
1203.23 Lenguajes de Programación
title_short MiniZinc+:finite type extensions for constraint programming language MiniZinc
title_full MiniZinc+:finite type extensions for constraint programming language MiniZinc
title_fullStr MiniZinc+:finite type extensions for constraint programming language MiniZinc
title_full_unstemmed MiniZinc+:finite type extensions for constraint programming language MiniZinc
title_sort MiniZinc+:finite type extensions for constraint programming language MiniZinc
dc.creator.none.fl_str_mv Tenorio Fornés, Ámbar
author Tenorio Fornés, Ámbar
author_facet Tenorio Fornés, Ámbar
author_role author
dc.contributor.none.fl_str_mv Caballero Roldán, Rafael
Stuckey, Peter J.
Universidad Complutense de Madrid
dc.subject.none.fl_str_mv 004.438MiniZinc(043.3)
004.42.048(043.3)
004.432.4(043.3)
Extensión de tipos
Programación con restricciones
Transformación de programas
Lenguajes declarativos
MiniZinc
Satisfacción de restricciones
Optimización. Type extension
Constraint programming
Program transformation
Declarative languages
Constraint satisfaction
Optimization.
Lenguajes de programación
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
1203.23 Lenguajes de Programación
topic 004.438MiniZinc(043.3)
004.42.048(043.3)
004.432.4(043.3)
Extensión de tipos
Programación con restricciones
Transformación de programas
Lenguajes declarativos
MiniZinc
Satisfacción de restricciones
Optimización. Type extension
Constraint programming
Program transformation
Declarative languages
Constraint satisfaction
Optimization.
Lenguajes de programación
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
1203.23 Lenguajes de Programación
description Muchos problemas se modelan de forma natural extendiendo un tipo existente con valores adicionales. Por ejemplo, los tipos de las bases de datos se extienden con valores nulos para representar la falta de datos. De forma parecida, los enteros pueden extenderse para tratar -∞ y +∞. Estas extensiones no solo afectan a la representación de tipos sino también a las funciones y operaciones entre los elementos del nuevo tipo extendido. Por ejemplo, para extender el tipo entero con los valores -∞ y +∞, las operaciones aritméticas como la suma y la resta se deben redefinir para los nuevos valores. Nuestra propuesta extiende el lenguaje de programación con restricciones MiniZinc para permitir modelos con tipos extendidos. El sistema permite la definición de tipos extendidos y del comportamiento de las operaciones respecto a los nuevos tipos. Los modelos extendidos son transformados a modelos MiniZinc equivalentes. Definimos la semántica tanto de MiniZinc como de la extensión propuesta y probamos la corrección de la transformación. El uso y las aplicaciones del nuevo lenguaje se ilustran a través de ejemplos incluyendo problemas SQL, circuitos Booleanos con posibles entradas indefinidas y problemas de planificación con valores especiales para el tiempo. [ABSTRACT] Many problems are naturally modeled by extending an existing type with additional values. For example, database types are extended with null values to represent missing data Similarly, integers may be extended to handle -∞ and +∞. These extensions does not only aects the type representation but also the functions and operations involving elements of the new extended type. For instance, in order to extend integer type with -∞ and +∞ values, the arithmetical operations such as addition and subtraction must be defined for the new values. Our proposal extends the constraint modeling language MiniZinc to allow models with extended types. The framework allows the definition of the extended types and the behavior of the operations with relation to the new types. The extended models are transformed into equivalent MiniZinc models. We define the semantics of both MiniZinc and the proposed extension and prove the correctness of the transformation. The usage and applications of the new language are illustrated through examples including SQL like problems, Boolean circuits allowing undefined inputs and scheduling problems considering special time values.
publishDate 2013
dc.date.none.fl_str_mv 2013
2013-01-01
2013
2013-01-01
dc.type.none.fl_str_mv master thesis
http://purl.org/coar/resource_type/c_bdcc
dc.type.openaire.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/46662
url https://hdl.handle.net/20.500.14352/46662
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Atribución-NoComercial 3.0 España
https://creativecommons.org/licenses/by-nc/3.0/es/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Atribución-NoComercial 3.0 España
https://creativecommons.org/licenses/by-nc/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:Universidad Complutense de Madrid (UCM)
instname_str Universidad Complutense de Madrid (UCM)
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869423704675450881
score 15.301629

Similares en LA Referencia