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

  • 2004. Integration and Optimization of Rule-Based Constraint Solvers in LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2005-06-10. Operational semantics and confluence of constraint propagation rules in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING-CP97
  • 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 N2dadde1a9e164ce79187893c736c63d3
    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 N860ce6b0580c4cacb6eb85b883e67d16
    12 schema:genre chapter
    13 schema:inLanguage en
    14 schema:isAccessibleForFree false
    15 schema:isPartOf Nce09d6f0823b4f1196fbfe1f2f0131fd
    16 schema:name Exhaustive Execution of CHR Through Source-to-Source Transformation
    17 schema:pagination 59-73
    18 schema:productId N1a1fe339c9094e6885322f30417efd57
    19 N35d8d214cd1e4c6486fdd12b4428916b
    20 N796dbc392fe64385823ea03c1f0e21ae
    21 schema:publisher Ne52aabe97f344756aa0445e99d2d45aa
    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 N498a1622a0ea4b2881bee0f76fd0c020
    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 N1a1fe339c9094e6885322f30417efd57 schema:name readcube_id
    32 schema:value 2ab082345e114ee00e651d28815993b301d0d0beb25dbea2dad39c403f99b5a5
    33 rdf:type schema:PropertyValue
    34 N25362f0cedac42c1af81a6022d83af7b rdf:first sg:person.010445445574.13
    35 rdf:rest rdf:nil
    36 N290cd0726a36476784fb1051f3770c67 schema:affiliation https://www.grid.ac/institutes/grid.187323.c
    37 schema:familyName Elsawy
    38 schema:givenName Ahmed
    39 rdf:type schema:Person
    40 N2dadde1a9e164ce79187893c736c63d3 rdf:first N290cd0726a36476784fb1051f3770c67
    41 rdf:rest Nb84828dc1ad64c91a446cf86c32215b1
    42 N35d8d214cd1e4c6486fdd12b4428916b schema:name doi
    43 schema:value 10.1007/978-3-319-17822-6_4
    44 rdf:type schema:PropertyValue
    45 N498a1622a0ea4b2881bee0f76fd0c020 schema:name Springer Nature - SN SciGraph project
    46 rdf:type schema:Organization
    47 N6b5e7b3ae7a8431aa8dc880ecf433929 schema:familyName Proietti
    48 schema:givenName Maurizio
    49 rdf:type schema:Person
    50 N796dbc392fe64385823ea03c1f0e21ae schema:name dimensions_id
    51 schema:value pub.1008960765
    52 rdf:type schema:PropertyValue
    53 N860ce6b0580c4cacb6eb85b883e67d16 rdf:first N6b5e7b3ae7a8431aa8dc880ecf433929
    54 rdf:rest N9d3e214c719b48dc8ad549b478242244
    55 N9d3e214c719b48dc8ad549b478242244 rdf:first Nd366cf110ce14027b31312cb1756e5f6
    56 rdf:rest rdf:nil
    57 Nb84828dc1ad64c91a446cf86c32215b1 rdf:first sg:person.011271335177.18
    58 rdf:rest N25362f0cedac42c1af81a6022d83af7b
    59 Nce09d6f0823b4f1196fbfe1f2f0131fd schema:isbn 978-3-319-17821-9
    60 978-3-319-17822-6
    61 schema:name Logic-Based Program Synthesis and Transformation
    62 rdf:type schema:Book
    63 Nd366cf110ce14027b31312cb1756e5f6 schema:familyName Seki
    64 schema:givenName Hirohisa
    65 rdf:type schema:Person
    66 Ne52aabe97f344756aa0445e99d2d45aa schema:location Cham
    67 schema:name Springer International Publishing
    68 rdf:type schema:Organisation
    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)


    ...