PROBABILISTIC COST ANALYSIS OF LOGIC PROGRAMS ANÁLISIS DE COSTO PROBABILÍSTICO DE PROGRAMAS LÓGICOS

• Main Author: Héctor Juan Soza Pollman
• Format: Article
• Language: English
• Published: Universidad de Tarapacá 2009-08-01
• Series: Ingeniare : Revista Chilena de Ingeniería
• Subjects: Programación lógica; análisis de costo; análisis de complejidad; análisis de programas; estimación del consumo de recursos; Logic programming; cost analysis; complexity analysis; program analysis; resource consumption estimation
• Online Access: http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-33052009000200008
• ISSN: 0718-3291; 0718-3305

Cost analyses of logic programs have been developed which make it possible to obtain automatically lower and upper bounds of runtime cost of computations. This information is very useful for a variety of purposes, including granularity control, query optimization in databases, and program transformation and synthesis. However, current techniques suffer a loss of accuracy in some cases which are quite representative (i.e., some divide-and-conquer programs as QuickSort). This paper describes an alternative probabilistic approach which makes it possible to figure out an estimate of the execution cost. One of its advantages is that it needs only a few changes over previously proposed schemes.<br>Se han desarrollado análisis de costos de programas lógicos para obtener automáticamente cotas superiores e inferiores del costo del tiempo de ejecución de dicho tipo de programas. Esta información es muy útil para una variedad de propósitos, incluyendo control de granularidad, optimización de consultas en bases de datos, y transformación de programas y síntesis. Sin embargo, las técnicas actuales carecen de exactitud en algunos casos que son bastante representativos (por ejemplo, algunos programas de dividir para reinar como Quicksort). Este artículo describe un enfoque probabilístico alternativo que hace posible obtener una estimación más precisa del costo de ejecución. Una de sus ventajas es que plantea sólo unos pocos cambios sobre los esquemas propuestos previamente.