Optimizing Compilation of Constraint Handling Rules View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2001-11-13

AUTHORS

Christian Holzbaur , María García de la Banda , David Jeffery , Peter J. Stuckey

ABSTRACT

CHRs are a multi-headed committed choice constraint language, commonly applied for writing incremental constraint solvers. CHRs are usually implemented as a language extension that compiles to the underlying language. In this paper we discuss the optimizing compilation of Constraint Handling Rules (CHRs). In particualr, we show how we can use different kinds of information in the compilation of CHRs in order to obtain access efficiency, and a better translation of the CHR rules into the underlying language. The kinds of information used include the types, modes, determinism, functional dependencies and symmetries of the CHR constraints. We also show how to analyze CHR programs to determine information about functional dependencies, symmetries and other kinds of information supporting optimizations. More... »

PAGES

74-89

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-45635-x_13

DOI

http://dx.doi.org/10.1007/3-540-45635-x_13

DIMENSIONS

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


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/20", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Language, Communication and Culture", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2004", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Linguistics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Dept. of Medical Cybernetics and Art. Intelligence, University of Vienna, Austria", 
          "id": "http://www.grid.ac/institutes/grid.10420.37", 
          "name": [
            "Dept. of Medical Cybernetics and Art. Intelligence, University of Vienna, Austria"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Holzbaur", 
        "givenName": "Christian", 
        "id": "sg:person.015052747435.75", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015052747435.75"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "School of Comp. Sci. & Soft. Eng., Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "School of Comp. Sci. & Soft. Eng., Monash University, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "de la Banda", 
        "givenName": "Mar\u00eda Garc\u00eda", 
        "id": "sg:person.016350443307.93", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "School of Comp. Sci. & Soft. Eng., Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "School of Comp. Sci. & Soft. Eng., Monash University, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Jeffery", 
        "givenName": "David", 
        "id": "sg:person.013435622047.94", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013435622047.94"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Dept. of Comp. Sci. & Soft. Eng., University of Melbourne, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1008.9", 
          "name": [
            "Dept. of Comp. Sci. & Soft. Eng., University of Melbourne, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Stuckey", 
        "givenName": "Peter J.", 
        "id": "sg:person.012243374043.93", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012243374043.93"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2001-11-13", 
    "datePublishedReg": "2001-11-13", 
    "description": "CHRs are a multi-headed committed choice constraint language, commonly applied for writing incremental constraint solvers. CHRs are usually implemented as a language extension that compiles to the underlying language. In this paper we discuss the optimizing compilation of Constraint Handling Rules (CHRs). In particualr, we show how we can use different kinds of information in the compilation of CHRs in order to obtain access efficiency, and a better translation of the CHR rules into the underlying language. The kinds of information used include the types, modes, determinism, functional dependencies and symmetries of the CHR constraints. We also show how to analyze CHR programs to determine information about functional dependencies, symmetries and other kinds of information supporting optimizations.", 
    "editor": [
      {
        "familyName": "Codognet", 
        "givenName": "Philippe", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-45635-x_13", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-42935-7", 
        "978-3-540-45635-3"
      ], 
      "name": "Logic Programming", 
      "type": "Book"
    }, 
    "keywords": [
      "Constraint Handling Rules", 
      "kind of information", 
      "Handling Rules", 
      "underlying language", 
      "functional dependencies", 
      "incremental constraint solver", 
      "Constraint Language", 
      "language extensions", 
      "constraint solver", 
      "access efficiency", 
      "optimizing compilation", 
      "CHR rules", 
      "CHR constraints", 
      "CHR programs", 
      "language", 
      "information", 
      "rules", 
      "different kinds", 
      "compilation", 
      "better translation", 
      "dependency", 
      "kind", 
      "solver", 
      "constraints", 
      "optimization", 
      "extension", 
      "efficiency", 
      "order", 
      "determinism", 
      "translation", 
      "program", 
      "symmetry", 
      "types", 
      "mode", 
      "particualr", 
      "paper"
    ], 
    "name": "Optimizing Compilation of Constraint Handling Rules", 
    "pagination": "74-89", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1008167755"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-45635-x_13"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-45635-x_13", 
      "https://app.dimensions.ai/details/publication/pub.1008167755"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:43", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_204.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-45635-x_13"
  }
]
 

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/3-540-45635-x_13'

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/3-540-45635-x_13'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-45635-x_13'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-45635-x_13'


 

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

123 TRIPLES      23 PREDICATES      61 URIs      54 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-45635-x_13 schema:about anzsrc-for:20
2 anzsrc-for:2004
3 schema:author N1968fb02f08d4696a995a2117b61ad53
4 schema:datePublished 2001-11-13
5 schema:datePublishedReg 2001-11-13
6 schema:description CHRs are a multi-headed committed choice constraint language, commonly applied for writing incremental constraint solvers. CHRs are usually implemented as a language extension that compiles to the underlying language. In this paper we discuss the optimizing compilation of Constraint Handling Rules (CHRs). In particualr, we show how we can use different kinds of information in the compilation of CHRs in order to obtain access efficiency, and a better translation of the CHR rules into the underlying language. The kinds of information used include the types, modes, determinism, functional dependencies and symmetries of the CHR constraints. We also show how to analyze CHR programs to determine information about functional dependencies, symmetries and other kinds of information supporting optimizations.
7 schema:editor N8f57a7fb270049e09386b36f48d972ae
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf Ne98415d7031d43ba8b858e7fe985dcbf
12 schema:keywords CHR constraints
13 CHR programs
14 CHR rules
15 Constraint Handling Rules
16 Constraint Language
17 Handling Rules
18 access efficiency
19 better translation
20 compilation
21 constraint solver
22 constraints
23 dependency
24 determinism
25 different kinds
26 efficiency
27 extension
28 functional dependencies
29 incremental constraint solver
30 information
31 kind
32 kind of information
33 language
34 language extensions
35 mode
36 optimization
37 optimizing compilation
38 order
39 paper
40 particualr
41 program
42 rules
43 solver
44 symmetry
45 translation
46 types
47 underlying language
48 schema:name Optimizing Compilation of Constraint Handling Rules
49 schema:pagination 74-89
50 schema:productId N43fd0466bb3745b7b2924bd7029ef638
51 Na469063b3053430abfc90e267089bc25
52 schema:publisher N11b335ff65fc410bbc8f32ffc8178eb7
53 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008167755
54 https://doi.org/10.1007/3-540-45635-x_13
55 schema:sdDatePublished 2022-05-20T07:43
56 schema:sdLicense https://scigraph.springernature.com/explorer/license/
57 schema:sdPublisher Ne569c881a8d740a2b7206760154d1e8f
58 schema:url https://doi.org/10.1007/3-540-45635-x_13
59 sgo:license sg:explorer/license/
60 sgo:sdDataset chapters
61 rdf:type schema:Chapter
62 N11b335ff65fc410bbc8f32ffc8178eb7 schema:name Springer Nature
63 rdf:type schema:Organisation
64 N12d1c6f8e9a0436a9b201a08314aa7c6 rdf:first sg:person.013435622047.94
65 rdf:rest Nc7df268c6bb84830906f58eb34285c8a
66 N1968fb02f08d4696a995a2117b61ad53 rdf:first sg:person.015052747435.75
67 rdf:rest Nfc1ecfa7109b422cbaecdb3e98069536
68 N43fd0466bb3745b7b2924bd7029ef638 schema:name doi
69 schema:value 10.1007/3-540-45635-x_13
70 rdf:type schema:PropertyValue
71 N8f57a7fb270049e09386b36f48d972ae rdf:first Nc33202a461a3429b89dfa87071c55cf1
72 rdf:rest rdf:nil
73 Na469063b3053430abfc90e267089bc25 schema:name dimensions_id
74 schema:value pub.1008167755
75 rdf:type schema:PropertyValue
76 Nc33202a461a3429b89dfa87071c55cf1 schema:familyName Codognet
77 schema:givenName Philippe
78 rdf:type schema:Person
79 Nc7df268c6bb84830906f58eb34285c8a rdf:first sg:person.012243374043.93
80 rdf:rest rdf:nil
81 Ne569c881a8d740a2b7206760154d1e8f schema:name Springer Nature - SN SciGraph project
82 rdf:type schema:Organization
83 Ne98415d7031d43ba8b858e7fe985dcbf schema:isbn 978-3-540-42935-7
84 978-3-540-45635-3
85 schema:name Logic Programming
86 rdf:type schema:Book
87 Nfc1ecfa7109b422cbaecdb3e98069536 rdf:first sg:person.016350443307.93
88 rdf:rest N12d1c6f8e9a0436a9b201a08314aa7c6
89 anzsrc-for:20 schema:inDefinedTermSet anzsrc-for:
90 schema:name Language, Communication and Culture
91 rdf:type schema:DefinedTerm
92 anzsrc-for:2004 schema:inDefinedTermSet anzsrc-for:
93 schema:name Linguistics
94 rdf:type schema:DefinedTerm
95 sg:person.012243374043.93 schema:affiliation grid-institutes:grid.1008.9
96 schema:familyName Stuckey
97 schema:givenName Peter J.
98 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012243374043.93
99 rdf:type schema:Person
100 sg:person.013435622047.94 schema:affiliation grid-institutes:grid.1002.3
101 schema:familyName Jeffery
102 schema:givenName David
103 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013435622047.94
104 rdf:type schema:Person
105 sg:person.015052747435.75 schema:affiliation grid-institutes:grid.10420.37
106 schema:familyName Holzbaur
107 schema:givenName Christian
108 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015052747435.75
109 rdf:type schema:Person
110 sg:person.016350443307.93 schema:affiliation grid-institutes:grid.1002.3
111 schema:familyName de la Banda
112 schema:givenName María García
113 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93
114 rdf:type schema:Person
115 grid-institutes:grid.1002.3 schema:alternateName School of Comp. Sci. & Soft. Eng., Monash University, Australia
116 schema:name School of Comp. Sci. & Soft. Eng., Monash University, Australia
117 rdf:type schema:Organization
118 grid-institutes:grid.1008.9 schema:alternateName Dept. of Comp. Sci. & Soft. Eng., University of Melbourne, Australia
119 schema:name Dept. of Comp. Sci. & Soft. Eng., University of Melbourne, Australia
120 rdf:type schema:Organization
121 grid-institutes:grid.10420.37 schema:alternateName Dept. of Medical Cybernetics and Art. Intelligence, University of Vienna, Austria
122 schema:name Dept. of Medical Cybernetics and Art. Intelligence, University of Vienna, Austria
123 rdf:type schema:Organization
 




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


...