Independence and search space preservation in dynamically scheduled constraint logic languages

García de la Banda, M. and Hermenegildo, Manuel V. and Marriott, K. (1995). Independence and search space preservation in dynamically scheduled constraint logic languages. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Description

Title: Independence and search space preservation in dynamically scheduled constraint logic languages
Author/s:
  • García de la Banda, M.
  • Hermenegildo, Manuel V.
  • Marriott, K.
Item Type: Monograph (Technical Report)
Date: February 1995
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

This paper performs a further generalization of the notion of independence in constraint logic programs to the context of constraint logic programs with dynamic scheduling. The complexity of this new environment made necessary to first formally define the relationship between independence and search space preservation in the context of CLP languages. In particular, we show that search space preservation is, in the context of CLP languages, not only a sufficient but also a necessary condition for ensuring that both the intended solutions and the number of transitions performed do not change. These results are then extended to dynamically scheduled languages and used as the basis for the extension of the concepts of independence. We also propose several a priori sufficient conditions for independence and also give correctness and efficiency results for parallel execution of constraint logic programs based on the proposed notions of independence.

More information

Item ID: 15085
DC Identifier: http://oa.upm.es/15085/
OAI Identifier: oai:oa.upm.es:15085
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 07 May 2013 06:38
Last Modified: 21 Apr 2016 15:11
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM