Abstract
In this paper we consider selection queries on a generalization of the Datalog program known as the “same generation.” This program has received a great deal of attention in the literature because selection queries on this simple, binary program have no monadic equivalent. As such, the program encapsulates many of the difficulties that arise in more general recursive query processing. In general, counting methods perform well on such queries. However, counting methods fail in the presence of cycles in the database. We present an algorithm in the spirit of counting methods that correctly deals with cyclic data and has the same asymptotic running time as counting methods. The algorithm, which is based on reducing a query on a database to a question about intersections of semilinear sets, works by using efficient methods to construct the appropriate semilinear sets from the database and query constant.
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.
