Memorias de investigación
Artículos en revistas:
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP
Año:2019
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
Aggregates are used to compute single pieces of information from separate data items, such as records in a database or answers to a query to a logic program. The maximum and minimum are well-known examples of aggregates. The computation of aggregates in Prolog or variant-based tabling can loop even if the aggregate at hand can be finitely determined. When answer subsumption or mode-directed tabling is used, termination improves, but the behavior observed in existing proposals is not consistent. We present a framework to incrementally compute aggregates for elements in a lattice. We use the entailment and join relations of the lattice to define (and compute) aggregates and decide whether some atom is compatible with (entails) the aggregate. The semantics of the aggregates defined in this way is consistent with the LFP semantics of tabling with constraints. Our implementation is based on the TCLP framework available in Ciao Prolog, and improves its termination properties w.r.t. similar approaches. Defining aggregates that do not fit into the lattice structure is possible, but some properties guaranteed by the lattice may not hold. However, the flexibility provided by this possibility justifies its inclusion. We validate our design with several examples and we evaluate their performance
Internacional
Si
JCR del ISI
No
Título de la revista
Lecture Notes in Computer Science
ISSN
0302-9743
Factor de impacto JCR
Información de impacto
Volumen
11372
DOI
10.1007/978-3-030-05998-9_7
Número de revista
Desde la página
98
Hasta la página
114
Mes
ENERO
Ranking
Esta actividad pertenece a memorias de investigación
Participantes
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software