LP with Flexible Grouping and Aggregates Using Modes

M.R. Czenko, Sandro Etalle

    Research output: Book/ReportReportProfessional

    58 Downloads (Pure)

    Abstract

    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
    No.274/TR-CTIT-08-41
    ISSN (Print)1381-3625

    Keywords

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

    Cite this

    Czenko, M. R., & Etalle, S. (2008). LP with Flexible Grouping and Aggregates Using Modes. (CTIT Technical Report Series; No. 274/TR-CTIT-08-41). Enschede: Centre for Telematics and Information Technology (CTIT).