 |
|
Czenko, M.R. and Etalle, S.
(2008)
LP with Flexible Grouping and Aggregates Using Modes.
Technical Report TR-CTIT-08-41,
Centre for Telematics and Information Technology University of Twente, Enschede.
ISSN 1381-3625
Full text available as:  AbstractWe 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. | Item Type: | Internal Report (Technical Report) |
|---|
| Research Group: | EWI-DIES: Distributed and Embedded Security |
|---|
| Research Program: | CTIT-ISTRICE: Integrated Security and Privacy in a Networked World |
|---|
| Research Project: | Freeband/I-share: Sharing resources in virtual communities for storage, communications, and processing of multimedia data, ARTIST-2: Network of Excellence on Embedded Systems Design |
|---|
| ID Code: | 12887 |
|---|
| Deposited On: | 17 June 2008 |
|---|
| More Information: | statisticsmetis |
|---|
Export this item as: To correct this item please ask your editor Repository Staff Only: edit this item
|
|
|
Nederlands
Contact
Sitemap
Search
Organisation