Relational Models for Tabling Logic Programs in a Database

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2009

Autores

Pedro Costa (Autor) FEUP; Ricardo Rocha (Autor) FCUP; Michel Ferreira (Autor) FCUP

Ata de Conferência Internacional

Título: APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT

Páginas: 99-116

17th International Conference on Applications of Declarative Programming and Knowledge Management/21st Workshop on Logic Programming

Wurzburg, GERMANY, OCT 04-06, 2007

Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 1 Citação

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

Outras Informações

ID Authenticus: P-003-P44

DOI: 10.1007/978-3-642-00675-3_7

Abstract (EN): Resolution strategies based on tabling are considered to be particularly effective in Logic Programming. Unfortunately, when faced with applications that compute large and/or many answers, memory exhaustion is a potential problem. In such cases, table deletion is the most common approach to recover space. In this work, we propose a different approach, storing tables into a relational database. Subsequent calls to stored tables import answers from the database, rather than performing a complete re-computation. To validate this approach, we have extended the YapTab tabling system, providing engine support for exporting and importing tables to and from the MySQL RDBMS. Three different relational models for data storage and two recordset retrieval strategies are compared.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 18