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 N2791dee616be4f7db23d64a469f88863
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 N60cf948ba8524450b3db7419cbdaa54f
9 schema:genre chapter
10 schema:inLanguage en
11 schema:isAccessibleForFree true
12 schema:isPartOf N02e68d5027eb477fb38b8a90677e9a5c
13 schema:name CHR∀: A flexible query language
14 schema:pagination 1-14
15 schema:productId N3b2535d7232d44118c9a2855ba2db410
16 N4d19fb296566469c88a0d164e9f20d5c
17 Nd2dcea98e5c74497a04afed77b6d9edd
18 schema:publisher Naafa9e9ef92e4c6db9844c0ae7c909ee
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 N7feaae5a16b34c53a25c06329e91fb74
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 N02e68d5027eb477fb38b8a90677e9a5c schema:isbn 978-3-540-49655-7
29 978-3-540-65082-9
30 schema:name Flexible Query Answering Systems
31 rdf:type schema:Book
32 N19bd505785674b28a0d094747fb6371d rdf:first sg:person.07726356155.42
33 rdf:rest rdf:nil
34 N2791dee616be4f7db23d64a469f88863 rdf:first sg:person.010445445574.13
35 rdf:rest N19bd505785674b28a0d094747fb6371d
36 N347f29f35be74c7db3ed4907769b42a7 rdf:first N4b6ce16afc564eb8bf43231adfc33e3b
37 rdf:rest N4f8882a095bb4741bdf4fd356efc2b90
38 N3b2535d7232d44118c9a2855ba2db410 schema:name doi
39 schema:value 10.1007/bfb0055987
40 rdf:type schema:PropertyValue
41 N4b6ce16afc564eb8bf43231adfc33e3b schema:familyName Christiansen
42 schema:givenName Henning
43 rdf:type schema:Person
44 N4d19fb296566469c88a0d164e9f20d5c schema:name readcube_id
45 schema:value f63b3d59def970eb0e3e78f357435ec88c3dffadd4907a57a9cb77f86cbbdb91
46 rdf:type schema:PropertyValue
47 N4f8882a095bb4741bdf4fd356efc2b90 rdf:first Nce3d3e36d4b04a89bc3130d1f77fe074
48 rdf:rest rdf:nil
49 N60cf948ba8524450b3db7419cbdaa54f rdf:first Nf25eb2cdc40b47dbbadbf26c491e67dd
50 rdf:rest N347f29f35be74c7db3ed4907769b42a7
51 N6877c0e3b2e44e28b7ee001fb50914f3 schema:name Institut für Informatik, Universität München, Oettingenstr. 67, D-80538 München
52 rdf:type schema:Organization
53 N7feaae5a16b34c53a25c06329e91fb74 schema:name Springer Nature - SN SciGraph project
54 rdf:type schema:Organization
55 Naafa9e9ef92e4c6db9844c0ae7c909ee schema:location Berlin, Heidelberg
56 schema:name Springer Berlin Heidelberg
57 rdf:type schema:Organisation
58 Nce3d3e36d4b04a89bc3130d1f77fe074 schema:familyName Larsen
59 schema:givenName Henrik Legind
60 rdf:type schema:Person
61 Nd2dcea98e5c74497a04afed77b6d9edd schema:name dimensions_id
62 schema:value pub.1051691356
63 rdf:type schema:PropertyValue
64 Nf25eb2cdc40b47dbbadbf26c491e67dd schema:familyName Andreasen
65 schema:givenName Troels
66 rdf:type schema:Person
67 Nf2da8b41a90c4f6eba636ab4d0f762dd schema:name Institut für Informatik, Universität München, Oettingenstr. 67, D-80538 München
68 rdf:type schema:Organization
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 N6877c0e3b2e44e28b7ee001fb50914f3
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 Nf2da8b41a90c4f6eba636ab4d0f762dd
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)


...