Write it recursively: A generic framework for optimal path queries

Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

Optimal path queries are queries to obtain an optimal path specified by a given criterion of optimality. There have been many studies to give efficient algorithms for classes of optimal path problem. In this paper, we propose a generic framework for optimal path queries. We offer a domain-specific language to describe optimal path queries, together with an algorithm to find an optimal path specified in our language. One of the most distinct features of our framework is the use of recursive functions to specify queries. Recursive functions reinforce expressiveness of our language so that we can describe many problems including known ones; thus, we need not learn existing results. Moreover, we can derive an efficient querying algorithm from the description of a query written in recursive functions. Our algorithm is a generalization of existing algorithms, and answers a query in O(n log n) time on a graph of O(n) size. We also explain our implementation of an optimal path querying system, and report some experimental results.

Original languageEnglish
Title of host publicationICFP'08 - Proceedings of the 2008 SIGPLAN International Conference on Functional Programming
Pages169-178
Number of pages10
DOIs
Publication statusPublished - 2008 Dec 1
Event13th ACM SIGPLAN International Conference on Functional Programming, ICFP'08 - Victoria, BC, Canada
Duration: 2008 Sep 222008 Sep 24

Publication series

NameProceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Other

Other13th ACM SIGPLAN International Conference on Functional Programming, ICFP'08
CountryCanada
CityVictoria, BC
Period08/9/2208/9/24

Keywords

  • Finite state automaton
  • Optimal path query
  • Program transformation
  • Recursive function

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Write it recursively: A generic framework for optimal path queries'. Together they form a unique fingerprint.

Cite this