CHR∀: A flexible query language View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

1998

AUTHORS

Slim Abdennadher , Heribert Schütz

ABSTRACT

We show how the language Constraint Handling Rules (CHR), a high-level logic language for the implementation of constraint solvers, can be slightly extended to become a general-purpose logic programming language with an expressive power subsuming the expressive ower of Horn clause programs with SLD resolution. The extended language, called “CHR∀”, retains however the extra features of CHR, e.g., committed choice and matching, which axe important for other purposes, especially for efficiently solving constraints. CHR∀ turns out to be a very flexible query language in the sense that it supports several (constraint) logic programming paradigms and allows to mix them in a single program. In particular, it supports top-down query evaluation and also bottom-up evaluation as it is frequently used in (disjunctive) deductive databases. More... »

PAGES

1-14

Book

TITLE

Flexible Query Answering Systems

ISBN

978-3-540-65082-9
978-3-540-49655-7

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/bfb0055987

DOI

http://dx.doi.org/10.1007/bfb0055987

DIMENSIONS

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


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": {
          "name": [
            "Institut f\u00fcr Informatik, Universit\u00e4t M\u00fcnchen, Oettingenstr. 67, D-80538\u00a0M\u00fcnchen"
          ], 
          "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"
      }, 
      {
        "affiliation": {
          "name": [
            "Institut f\u00fcr Informatik, Universit\u00e4t M\u00fcnchen, Oettingenstr. 67, D-80538\u00a0M\u00fcnchen"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Sch\u00fctz", 
        "givenName": "Heribert", 
        "id": "sg:person.07726356155.42", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07726356155.42"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1145/35043.35045", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1040145251"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "1998", 
    "datePublishedReg": "1998-01-01", 
    "description": "We show how the language Constraint Handling Rules (CHR), a high-level logic language for the implementation of constraint solvers, can be slightly extended to become a general-purpose logic programming language with an expressive power subsuming the expressive ower of Horn clause programs with SLD resolution. The extended language, called \u201cCHR\u2200\u201d, retains however the extra features of CHR, e.g., committed choice and matching, which axe important for other purposes, especially for efficiently solving constraints. CHR\u2200 turns out to be a very flexible query language in the sense that it supports several (constraint) logic programming paradigms and allows to mix them in a single program. In particular, it supports top-down query evaluation and also bottom-up evaluation as it is frequently used in (disjunctive) deductive databases.", 
    "editor": [
      {
        "familyName": "Andreasen", 
        "givenName": "Troels", 
        "type": "Person"
      }, 
      {
        "familyName": "Christiansen", 
        "givenName": "Henning", 
        "type": "Person"
      }, 
      {
        "familyName": "Larsen", 
        "givenName": "Henrik Legind", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/bfb0055987", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-65082-9", 
        "978-3-540-49655-7"
      ], 
      "name": "Flexible Query Answering Systems", 
      "type": "Book"
    }, 
    "name": "CHR\u2200: A flexible query language", 
    "pagination": "1-14", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bfb0055987"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "f63b3d59def970eb0e3e78f357435ec88c3dffadd4907a57a9cb77f86cbbdb91"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1051691356"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/bfb0055987", 
      "https://app.dimensions.ai/details/publication/pub.1051691356"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T23:55", 
    "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_8697_00000275.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/BFb0055987"
  }
]
 

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/bfb0055987'

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/bfb0055987'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bfb0055987'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bfb0055987'


 

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

86 TRIPLES      23 PREDICATES      28 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bfb0055987 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author Nf900675e2d8a4aef8504f18e0166550c
4 schema:citation https://doi.org/10.1145/35043.35045
5 schema:datePublished 1998
6 schema:datePublishedReg 1998-01-01
7 schema:description We show how the language Constraint Handling Rules (CHR), a high-level logic language for the implementation of constraint solvers, can be slightly extended to become a general-purpose logic programming language with an expressive power subsuming the expressive ower of Horn clause programs with SLD resolution. The extended language, called “CHR∀”, retains however the extra features of CHR, e.g., committed choice and matching, which axe important for other purposes, especially for efficiently solving constraints. CHR∀ turns out to be a very flexible query language in the sense that it supports several (constraint) logic programming paradigms and allows to mix them in a single program. In particular, it supports top-down query evaluation and also bottom-up evaluation as it is frequently used in (disjunctive) deductive databases.
8 schema:editor N194e9be84829469593b847c84a578a48
9 schema:genre chapter
10 schema:inLanguage en
11 schema:isAccessibleForFree true
12 schema:isPartOf N3f5e7adb6fac475a918164f7ee0f3774
13 schema:name CHR∀: A flexible query language
14 schema:pagination 1-14
15 schema:productId N1e7806c7649d4bd19b13b36c365a5e23
16 Nb980ac5cc77f4643a0e5627789147a7f
17 Nd1d2b7fa2ffc4cb7a0ad53bb50b291d0
18 schema:publisher Ncca2469275b4427c96106d317219556d
19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051691356
20 https://doi.org/10.1007/bfb0055987
21 schema:sdDatePublished 2019-04-15T23:55
22 schema:sdLicense https://scigraph.springernature.com/explorer/license/
23 schema:sdPublisher Nbffe7e802ceb4455a264abced9a44b66
24 schema:url http://link.springer.com/10.1007/BFb0055987
25 sgo:license sg:explorer/license/
26 sgo:sdDataset chapters
27 rdf:type schema:Chapter
28 N194e9be84829469593b847c84a578a48 rdf:first N2780b10f7b3e44f3893f49f0f9343723
29 rdf:rest N1aab65e620364a6d97000882e14d236d
30 N1aab65e620364a6d97000882e14d236d rdf:first Nac07683bb0ae4aa7b46aa0a27803428a
31 rdf:rest Ne42cfb4e4c164241a87e5aa966609f78
32 N1e7806c7649d4bd19b13b36c365a5e23 schema:name dimensions_id
33 schema:value pub.1051691356
34 rdf:type schema:PropertyValue
35 N2780b10f7b3e44f3893f49f0f9343723 schema:familyName Andreasen
36 schema:givenName Troels
37 rdf:type schema:Person
38 N3f5e7adb6fac475a918164f7ee0f3774 schema:isbn 978-3-540-49655-7
39 978-3-540-65082-9
40 schema:name Flexible Query Answering Systems
41 rdf:type schema:Book
42 N83dff4313cb2498a83ce1d201a88c590 schema:name Institut für Informatik, Universität München, Oettingenstr. 67, D-80538 München
43 rdf:type schema:Organization
44 N961fdd82affc4bf397f22e909c428153 rdf:first sg:person.07726356155.42
45 rdf:rest rdf:nil
46 Nac07683bb0ae4aa7b46aa0a27803428a schema:familyName Christiansen
47 schema:givenName Henning
48 rdf:type schema:Person
49 Nb069ad7fd2434791bbebd0a72667c99d schema:name Institut für Informatik, Universität München, Oettingenstr. 67, D-80538 München
50 rdf:type schema:Organization
51 Nb980ac5cc77f4643a0e5627789147a7f schema:name doi
52 schema:value 10.1007/bfb0055987
53 rdf:type schema:PropertyValue
54 Nbffe7e802ceb4455a264abced9a44b66 schema:name Springer Nature - SN SciGraph project
55 rdf:type schema:Organization
56 Ncca2469275b4427c96106d317219556d schema:location Berlin, Heidelberg
57 schema:name Springer Berlin Heidelberg
58 rdf:type schema:Organisation
59 Nd1d2b7fa2ffc4cb7a0ad53bb50b291d0 schema:name readcube_id
60 schema:value f63b3d59def970eb0e3e78f357435ec88c3dffadd4907a57a9cb77f86cbbdb91
61 rdf:type schema:PropertyValue
62 Nd3d46e14236f48eeab3a58db711b42e1 schema:familyName Larsen
63 schema:givenName Henrik Legind
64 rdf:type schema:Person
65 Ne42cfb4e4c164241a87e5aa966609f78 rdf:first Nd3d46e14236f48eeab3a58db711b42e1
66 rdf:rest rdf:nil
67 Nf900675e2d8a4aef8504f18e0166550c rdf:first sg:person.010445445574.13
68 rdf:rest N961fdd82affc4bf397f22e909c428153
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 Nb069ad7fd2434791bbebd0a72667c99d
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.07726356155.42 schema:affiliation N83dff4313cb2498a83ce1d201a88c590
81 schema:familyName Schütz
82 schema:givenName Heribert
83 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07726356155.42
84 rdf:type schema:Person
85 https://doi.org/10.1145/35043.35045 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040145251
86 rdf:type schema:CreativeWork
 




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


...