LP with Flexible Grouping and Aggregates Using Modes

M.R. Czenko, Sandro Etalle

    Research output: Book/ReportReportProfessional

    81 Downloads (Pure)


    We propose a new grouping operator for logic programs based on the group_by operator of SQL. The novelty of our proposal lies in the use of modes, which allows us to relax some rather unpractical constraints on variable occurrences while retaining a straightforward semantics. Moreover, modes allow us to prove properties regarding groundness of computed answer substitutions and termination. The resulting class of programs enjoys a simple and intuitive semantics.
    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages15
    Publication statusPublished - 16 Jun 2008

    Publication series

    NameCTIT Technical Report Series
    PublisherCentre for Telematics and Information Technology, University of Twente
    ISSN (Print)1381-3625


    • CR-F.3
    • IR-64814
    • EWI-12887
    • METIS-251012
    • SCS-Cybersecurity
    • CR-D.1.6

    Cite this