Exhaustive Execution of CHR Through Source-to-Source Transformation View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2015

AUTHORS

Ahmed Elsawy , Amira Zaki , Slim Abdennadher

ABSTRACT

Constraint Handling Rules (CHR) is a committed-choice rule-based programming language. Rules rewrite a global multi-set of constraints to another. Overlapping sets of constraints within the rules and the order of constraints within rules and queries entail different derivation paths. In this work, a novel operational strategy is proposed which enables a high-level form of execution control that empowers a comprehensive and customizable execution strategy. It allows full space exploration for any CHR program, thus finding all possible results to a query which is interesting for many non-confluent programs. The proposed transformation is performed as a source-to-source transformation from any CHR program to one utilizing disjunction to force an exhaustive explorative execution strategy. The work is complemented by formal arguments to prove the correctness and completeness of the transformation. More... »

PAGES

59-73

References to SciGraph publications

Book

TITLE

Logic-Based Program Synthesis and Transformation

ISBN

978-3-319-17821-9
978-3-319-17822-6

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-17822-6_4

DOI

http://dx.doi.org/10.1007/978-3-319-17822-6_4

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1008960765


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "German University in Cairo", 
          "id": "https://www.grid.ac/institutes/grid.187323.c", 
          "name": [
            "German University in Cairo, Cairo, Egypt"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Elsawy", 
        "givenName": "Ahmed", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "German University in Cairo", 
          "id": "https://www.grid.ac/institutes/grid.187323.c", 
          "name": [
            "German University in Cairo, Cairo, Egypt"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Zaki", 
        "givenName": "Amira", 
        "id": "sg:person.011271335177.18", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011271335177.18"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "German University in Cairo", 
          "id": "https://www.grid.ac/institutes/grid.187323.c", 
          "name": [
            "German University in Cairo, Cairo, Egypt"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Abdennadher", 
        "givenName": "Slim", 
        "id": "sg:person.010445445574.13", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010445445574.13"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/bfb0017444", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1010989701", 
          "https://doi.org/10.1007/bfb0017444"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bfb0017444", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1010989701", 
          "https://doi.org/10.1007/bfb0017444"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-25938-1_17", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030083923", 
          "https://doi.org/10.1007/978-3-540-25938-1_17"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-25938-1_17", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030083923", 
          "https://doi.org/10.1007/978-3-540-25938-1_17"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/s147106841000030x", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1053814519"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/s1471068409990123", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1053825025"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2015", 
    "datePublishedReg": "2015-01-01", 
    "description": "Constraint Handling Rules (CHR) is a committed-choice rule-based programming language. Rules rewrite a global multi-set of constraints to another. Overlapping sets of constraints within the rules and the order of constraints within rules and queries entail different derivation paths. In this work, a novel operational strategy is proposed which enables a high-level form of execution control that empowers a comprehensive and customizable execution strategy. It allows full space exploration for any CHR program, thus finding all possible results to a query which is interesting for many non-confluent programs. The proposed transformation is performed as a source-to-source transformation from any CHR program to one utilizing disjunction to force an exhaustive explorative execution strategy. The work is complemented by formal arguments to prove the correctness and completeness of the transformation.", 
    "editor": [
      {
        "familyName": "Proietti", 
        "givenName": "Maurizio", 
        "type": "Person"
      }, 
      {
        "familyName": "Seki", 
        "givenName": "Hirohisa", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-17822-6_4", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-17821-9", 
        "978-3-319-17822-6"
      ], 
      "name": "Logic-Based Program Synthesis and Transformation", 
      "type": "Book"
    }, 
    "name": "Exhaustive Execution of CHR Through Source-to-Source Transformation", 
    "pagination": "59-73", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-17822-6_4"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "2ab082345e114ee00e651d28815993b301d0d0beb25dbea2dad39c403f99b5a5"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1008960765"
        ]
      }
    ], 
    "publisher": {
      "location": "Cham", 
      "name": "Springer International Publishing", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-17822-6_4", 
      "https://app.dimensions.ai/details/publication/pub.1008960765"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T10:17", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8659_00000015.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-3-319-17822-6_4"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-17822-6_4'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-17822-6_4'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-17822-6_4'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-17822-6_4'


 

This table displays all metadata directly associated to this object as RDF triples.

97 TRIPLES      23 PREDICATES      31 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-17822-6_4 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author N29e1a5dd05cd43b484827e7a38975ccc
4 schema:citation sg:pub.10.1007/978-3-540-25938-1_17
5 sg:pub.10.1007/bfb0017444
6 https://doi.org/10.1017/s1471068409990123
7 https://doi.org/10.1017/s147106841000030x
8 schema:datePublished 2015
9 schema:datePublishedReg 2015-01-01
10 schema:description Constraint Handling Rules (CHR) is a committed-choice rule-based programming language. Rules rewrite a global multi-set of constraints to another. Overlapping sets of constraints within the rules and the order of constraints within rules and queries entail different derivation paths. In this work, a novel operational strategy is proposed which enables a high-level form of execution control that empowers a comprehensive and customizable execution strategy. It allows full space exploration for any CHR program, thus finding all possible results to a query which is interesting for many non-confluent programs. The proposed transformation is performed as a source-to-source transformation from any CHR program to one utilizing disjunction to force an exhaustive explorative execution strategy. The work is complemented by formal arguments to prove the correctness and completeness of the transformation.
11 schema:editor N77810fe5f71c4f509110fff2abad9992
12 schema:genre chapter
13 schema:inLanguage en
14 schema:isAccessibleForFree false
15 schema:isPartOf N588e61e4772c4fccb57cacc01273fa9d
16 schema:name Exhaustive Execution of CHR Through Source-to-Source Transformation
17 schema:pagination 59-73
18 schema:productId N0ce899acfbd340c288166ac80db3ee02
19 N81b021d4604246f189ff2b75646f1506
20 Ndda302c99e534fdab44b1a035f5d51ae
21 schema:publisher N3e0c2ff32182402a9bd2870d1a1b68de
22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008960765
23 https://doi.org/10.1007/978-3-319-17822-6_4
24 schema:sdDatePublished 2019-04-15T10:17
25 schema:sdLicense https://scigraph.springernature.com/explorer/license/
26 schema:sdPublisher N2ba4be6ed7d941a08233ff4cbb22c9b0
27 schema:url http://link.springer.com/10.1007/978-3-319-17822-6_4
28 sgo:license sg:explorer/license/
29 sgo:sdDataset chapters
30 rdf:type schema:Chapter
31 N0ce899acfbd340c288166ac80db3ee02 schema:name readcube_id
32 schema:value 2ab082345e114ee00e651d28815993b301d0d0beb25dbea2dad39c403f99b5a5
33 rdf:type schema:PropertyValue
34 N29e1a5dd05cd43b484827e7a38975ccc rdf:first Na8a722a7a9ca43dba11df0e6f0a3c7f3
35 rdf:rest N8b0b2ab506c94cd198c571b73cb8a71b
36 N2ba4be6ed7d941a08233ff4cbb22c9b0 schema:name Springer Nature - SN SciGraph project
37 rdf:type schema:Organization
38 N3e0c2ff32182402a9bd2870d1a1b68de schema:location Cham
39 schema:name Springer International Publishing
40 rdf:type schema:Organisation
41 N588e61e4772c4fccb57cacc01273fa9d schema:isbn 978-3-319-17821-9
42 978-3-319-17822-6
43 schema:name Logic-Based Program Synthesis and Transformation
44 rdf:type schema:Book
45 N65110f7a34df47f190f778567e4c6490 rdf:first N81548ecda4c340059b578a1d40920f46
46 rdf:rest rdf:nil
47 N77810fe5f71c4f509110fff2abad9992 rdf:first Nce12112a7b7745bbb5910132dba1b740
48 rdf:rest N65110f7a34df47f190f778567e4c6490
49 N81548ecda4c340059b578a1d40920f46 schema:familyName Seki
50 schema:givenName Hirohisa
51 rdf:type schema:Person
52 N81b021d4604246f189ff2b75646f1506 schema:name doi
53 schema:value 10.1007/978-3-319-17822-6_4
54 rdf:type schema:PropertyValue
55 N8b0b2ab506c94cd198c571b73cb8a71b rdf:first sg:person.011271335177.18
56 rdf:rest N9a1f56d97b1849329d70a2b8f0d24382
57 N9a1f56d97b1849329d70a2b8f0d24382 rdf:first sg:person.010445445574.13
58 rdf:rest rdf:nil
59 Na8a722a7a9ca43dba11df0e6f0a3c7f3 schema:affiliation https://www.grid.ac/institutes/grid.187323.c
60 schema:familyName Elsawy
61 schema:givenName Ahmed
62 rdf:type schema:Person
63 Nce12112a7b7745bbb5910132dba1b740 schema:familyName Proietti
64 schema:givenName Maurizio
65 rdf:type schema:Person
66 Ndda302c99e534fdab44b1a035f5d51ae schema:name dimensions_id
67 schema:value pub.1008960765
68 rdf:type schema:PropertyValue
69 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
70 schema:name Information and Computing Sciences
71 rdf:type schema:DefinedTerm
72 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
73 schema:name Computer Software
74 rdf:type schema:DefinedTerm
75 sg:person.010445445574.13 schema:affiliation https://www.grid.ac/institutes/grid.187323.c
76 schema:familyName Abdennadher
77 schema:givenName Slim
78 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010445445574.13
79 rdf:type schema:Person
80 sg:person.011271335177.18 schema:affiliation https://www.grid.ac/institutes/grid.187323.c
81 schema:familyName Zaki
82 schema:givenName Amira
83 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011271335177.18
84 rdf:type schema:Person
85 sg:pub.10.1007/978-3-540-25938-1_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030083923
86 https://doi.org/10.1007/978-3-540-25938-1_17
87 rdf:type schema:CreativeWork
88 sg:pub.10.1007/bfb0017444 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010989701
89 https://doi.org/10.1007/bfb0017444
90 rdf:type schema:CreativeWork
91 https://doi.org/10.1017/s1471068409990123 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053825025
92 rdf:type schema:CreativeWork
93 https://doi.org/10.1017/s147106841000030x schema:sameAs https://app.dimensions.ai/details/publication/pub.1053814519
94 rdf:type schema:CreativeWork
95 https://www.grid.ac/institutes/grid.187323.c schema:alternateName German University in Cairo
96 schema:name German University in Cairo, Cairo, Egypt
97 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...