LP with Flexible Grouping and Aggregates Using Modes

M.R. Czenko; Sandro Etalle

LP with Flexible Grouping and Aggregates Using Modes

M.R. Czenko
, Sandro Etalle

Research output: Book/Report › Report › Professional

157 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 language	Undefined
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	15
Publication status	Published - 16 Jun 2008

Publication series

Name	CTIT Technical Report Series
Publisher	Centre 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

Access to Document

Cite this

@book{29e00f20cb5a4a1b91cc0ec49925d398,

title = "LP with Flexible Grouping and Aggregates Using Modes",

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.",

keywords = "CR-F.3, IR-64814, EWI-12887, METIS-251012, SCS-Cybersecurity, CR-D.1.6",

author = "M.R. Czenko and Sandro Etalle",

year = "2008",

month = jun,

day = "16",

language = "Undefined",

series = "CTIT Technical Report Series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "274/TR-CTIT-08-41",

address = "Netherlands",

}

TY - BOOK

T1 - LP with Flexible Grouping and Aggregates Using Modes

AU - Czenko, M.R.

AU - Etalle, Sandro

PY - 2008/6/16

Y1 - 2008/6/16

N2 - 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.

AB - 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.

KW - CR-F.3

KW - IR-64814

KW - EWI-12887

KW - METIS-251012

KW - SCS-Cybersecurity

KW - CR-D.1.6

M3 - Report

T3 - CTIT Technical Report Series

BT - LP with Flexible Grouping and Aggregates Using Modes

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -