Implementing Index Data Structures Using Constraint Logic Programming

In this position paper we discuss the use and advantages of Constraint Logic Programming (CLP) for implementing index data structures. We illustrate our discussion with an implementation of the B-Tree in the CLP platform ECLiPSe.

[1]  Stéphane Bressan,et al.  Magic Checking: Constraint Checking for Database Query Optimization , 1995, CDB.

[2]  Alexander Brodsky,et al.  The LyriC language: querying constraint objects , 1995, SIGMOD '95.

[3]  Antonin Guttman,et al.  R-trees: a dynamic index structure for spatial searching , 1984, SIGMOD '84.

[4]  Roman Gross,et al.  Compile Time Constraint Solving in a Constraint Database System , 1994, ILPS Workshop: Constraints and Databases.

[5]  Hassan Aït-Kaci,et al.  LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

[6]  Gabriel M. Kuper,et al.  Constraint query languages (preliminary report) , 1990, PODS '90.

[7]  Mark Wallace,et al.  Domain Independent Propagation , 1992, FGCS.

[8]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[9]  Patrick Valduriez,et al.  Evaluation of Recursive Queries Using Join Indices , 1986, Expert Database Conf..

[10]  Hanan Samet,et al.  The Design and Analysis of Spatial Data Structures , 1989 .

[11]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[12]  Armin B. Cremers,et al.  Using Constraints for the Identification of Buildings in Aerial Images , 1996 .

[13]  Jürg Nievergelt,et al.  The Grid File: An Adaptable, Symmetric Multikey File Structure , 1984, TODS.

[14]  Jon Louis Bentley,et al.  Multidimensional binary search trees used for associative searching , 1975, CACM.

[15]  Oliver Günther,et al.  Multidimensional access methods , 1998, CSUR.

[16]  Joxan Jaffar,et al.  Constraint logic programming , 1987, POPL '87.