On the power of query-independent compilation

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


Recursive query processing techniques can be classified into three categories: interpretation, query-dependent compilation and query-independent compilation. Query-dependent compilation compiles IDB programs based on possible query instantiations into query-specific EDB programs, while query-independent compilation compiles IDB programs into query-independent and easily analyzable EDB expressions. Previous studies show that linear recursions can be query-independently compiled into highly regular forms. This study analyzes the power of query-independent compilation and shows that (i) query-independent compilation captures more binding information than other methods for irregular linear recursions; (ii) the compilation provides succinct information for the selection of efficient query processing methods; and (iii) it facilitates the constraint-based processing of complex queries. Finally, query-independent compilation can be applied to more complex recursions as well.

Original languageEnglish (US)
Title of host publicationAdvances in Computing and Information – ICCI 1991 - International Conference on Computing and Information, Proceedings
EditorsWaldemar W. Koczkodaj, Frank Dehne, Frantisek Fiala
Number of pages12
ISBN (Print)9783540540298
StatePublished - 1991
Externally publishedYes
Event3rd International Conference on Computing and Information, ICCI 1991 - Ottawa, Canada
Duration: May 27 1991May 29 1991

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume497 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other3rd International Conference on Computing and Information, ICCI 1991

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'On the power of query-independent compilation'. Together they form a unique fingerprint.

Cite this