Abstract
In an earlier paper one of the authors initiated an investigation into the composition of datalog program mappings in order to analyze serially executed datalog queries. In this paper, the reverse process of composition, namely decomposition, and related topics are examined. A number of results are presented and shown to be useful for the optimization of datalog queries. In particular, a canonical decomposition into (usually) smaller programs is given, as well as the decomposition of strongly linear programs and bounded programs into single-rule programs. The class of prime or nondecomposable programs is then introduced and scrutinized. Major results include the primality of a class of single-rule programs called symmetric, and the existence of arbitrarily large primes. Finally established are the decomposition of bounded programs into single-rule primes, and a condition for the uniqueness of decomposition into primes.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
