A procedural semantics for stratified database updates View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1997-12

AUTHORS

Weidong Chen, Julie Yu-Chih Liu

ABSTRACT

This paper investigates efficient evaluation of database updates and presents a procedural semantics for stratified update programs that extend stratified logic programs with bulk updates and hypothetical reasoning. Bulk rules with universal quantification in the body allow an arbitrary update to be applied simultaneously for every answer of an arbitrary query. Hypothetical reasoning is supported by testing the success or failure of an update. The procedural semantics offers efficient goal-oriented tabled evaluation of database updates. It guarantees termination for function-free stratified update programs and avoids repeated computation of identical subgoals. More... »

PAGES

187-220

References to SciGraph publications

  • 1989-06. On the declarative and procedural semantics of logic programs in JOURNAL OF AUTOMATED REASONING
  • 1991-06. Non-determinism in logic-based languages in ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1023/a:1018965418898

    DOI

    http://dx.doi.org/10.1023/a:1018965418898

    DIMENSIONS

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


    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/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0806", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information Systems", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Computer Science and Engineering, Southern Methodist University, 75275-0122, Dallas, Texas, USA", 
              "id": "http://www.grid.ac/institutes/grid.263864.d", 
              "name": [
                "Computer Science and Engineering, Southern Methodist University, 75275-0122, Dallas, Texas, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Chen", 
            "givenName": "Weidong", 
            "id": "sg:person.01207355664.95", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01207355664.95"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Computer Science and Engineering, Southern Methodist University, 75275-0122, Dallas, Texas, USA", 
              "id": "http://www.grid.ac/institutes/grid.263864.d", 
              "name": [
                "Computer Science and Engineering, Southern Methodist University, 75275-0122, Dallas, Texas, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Liu", 
            "givenName": "Julie Yu-Chih", 
            "id": "sg:person.013265215603.05", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013265215603.05"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/bf00243002", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023837652", 
              "https://doi.org/10.1007/bf00243002"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01530924", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043115097", 
              "https://doi.org/10.1007/bf01530924"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1997-12", 
        "datePublishedReg": "1997-12-01", 
        "description": "This paper investigates efficient evaluation of database updates and presents a procedural semantics for stratified update programs that extend stratified logic programs with bulk updates and hypothetical reasoning. Bulk rules with universal quantification in the body allow an arbitrary update to be applied simultaneously for every answer of an arbitrary query. Hypothetical reasoning is supported by testing the success or failure of an update. The procedural semantics offers efficient goal-oriented tabled evaluation of database updates. It guarantees termination for function-free stratified update programs and avoids repeated computation of identical subgoals.", 
        "genre": "article", 
        "id": "sg:pub.10.1023/a:1018965418898", 
        "inLanguage": "en", 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1043955", 
            "issn": [
              "1012-2443", 
              "1573-7470"
            ], 
            "name": "Annals of Mathematics and Artificial Intelligence", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "2-4", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "21"
          }
        ], 
        "keywords": [
          "procedural semantics", 
          "update program", 
          "hypothetical reasoning", 
          "evaluation of databases", 
          "arbitrary updates", 
          "arbitrary queries", 
          "bulk updates", 
          "logic programs", 
          "stratified logic programs", 
          "stratified databases", 
          "universal quantification", 
          "semantics", 
          "efficient evaluation", 
          "reasoning", 
          "database", 
          "update", 
          "queries", 
          "subgoals", 
          "computation", 
          "avoids", 
          "rules", 
          "program", 
          "evaluation", 
          "answers", 
          "success", 
          "failure", 
          "quantification", 
          "termination", 
          "body", 
          "paper", 
          "Bulk rules", 
          "identical subgoals"
        ], 
        "name": "A procedural semantics for stratified database updates", 
        "pagination": "187-220", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1038969231"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1023/a:1018965418898"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1023/a:1018965418898", 
          "https://app.dimensions.ai/details/publication/pub.1038969231"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2022-01-01T18:08", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/article/article_290.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1023/a:1018965418898"
      }
    ]
     

    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.1023/a:1018965418898'

    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.1023/a:1018965418898'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1023/a:1018965418898'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1023/a:1018965418898'


     

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

    105 TRIPLES      22 PREDICATES      60 URIs      50 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1023/a:1018965418898 schema:about anzsrc-for:08
    2 anzsrc-for:0806
    3 schema:author Nca50e22f0aa642e9994542d262218746
    4 schema:citation sg:pub.10.1007/bf00243002
    5 sg:pub.10.1007/bf01530924
    6 schema:datePublished 1997-12
    7 schema:datePublishedReg 1997-12-01
    8 schema:description This paper investigates efficient evaluation of database updates and presents a procedural semantics for stratified update programs that extend stratified logic programs with bulk updates and hypothetical reasoning. Bulk rules with universal quantification in the body allow an arbitrary update to be applied simultaneously for every answer of an arbitrary query. Hypothetical reasoning is supported by testing the success or failure of an update. The procedural semantics offers efficient goal-oriented tabled evaluation of database updates. It guarantees termination for function-free stratified update programs and avoids repeated computation of identical subgoals.
    9 schema:genre article
    10 schema:inLanguage en
    11 schema:isAccessibleForFree false
    12 schema:isPartOf N870b2c44fd964219bd260cfa7d71a046
    13 Ne1ebf61be01d489cb0104f4dc93534d9
    14 sg:journal.1043955
    15 schema:keywords Bulk rules
    16 answers
    17 arbitrary queries
    18 arbitrary updates
    19 avoids
    20 body
    21 bulk updates
    22 computation
    23 database
    24 efficient evaluation
    25 evaluation
    26 evaluation of databases
    27 failure
    28 hypothetical reasoning
    29 identical subgoals
    30 logic programs
    31 paper
    32 procedural semantics
    33 program
    34 quantification
    35 queries
    36 reasoning
    37 rules
    38 semantics
    39 stratified databases
    40 stratified logic programs
    41 subgoals
    42 success
    43 termination
    44 universal quantification
    45 update
    46 update program
    47 schema:name A procedural semantics for stratified database updates
    48 schema:pagination 187-220
    49 schema:productId N33836e61aab148a29288c9ebbe18aafa
    50 N4008f4a5d0c142c0a7f234a478462bf7
    51 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038969231
    52 https://doi.org/10.1023/a:1018965418898
    53 schema:sdDatePublished 2022-01-01T18:08
    54 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    55 schema:sdPublisher N125dd7eb5db94b259b9b9a07d1d38c75
    56 schema:url https://doi.org/10.1023/a:1018965418898
    57 sgo:license sg:explorer/license/
    58 sgo:sdDataset articles
    59 rdf:type schema:ScholarlyArticle
    60 N125dd7eb5db94b259b9b9a07d1d38c75 schema:name Springer Nature - SN SciGraph project
    61 rdf:type schema:Organization
    62 N33836e61aab148a29288c9ebbe18aafa schema:name dimensions_id
    63 schema:value pub.1038969231
    64 rdf:type schema:PropertyValue
    65 N4008f4a5d0c142c0a7f234a478462bf7 schema:name doi
    66 schema:value 10.1023/a:1018965418898
    67 rdf:type schema:PropertyValue
    68 N689ec5a5b44b4e93b6ae51327c0c898e rdf:first sg:person.013265215603.05
    69 rdf:rest rdf:nil
    70 N870b2c44fd964219bd260cfa7d71a046 schema:issueNumber 2-4
    71 rdf:type schema:PublicationIssue
    72 Nca50e22f0aa642e9994542d262218746 rdf:first sg:person.01207355664.95
    73 rdf:rest N689ec5a5b44b4e93b6ae51327c0c898e
    74 Ne1ebf61be01d489cb0104f4dc93534d9 schema:volumeNumber 21
    75 rdf:type schema:PublicationVolume
    76 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    77 schema:name Information and Computing Sciences
    78 rdf:type schema:DefinedTerm
    79 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
    80 schema:name Information Systems
    81 rdf:type schema:DefinedTerm
    82 sg:journal.1043955 schema:issn 1012-2443
    83 1573-7470
    84 schema:name Annals of Mathematics and Artificial Intelligence
    85 schema:publisher Springer Nature
    86 rdf:type schema:Periodical
    87 sg:person.01207355664.95 schema:affiliation grid-institutes:grid.263864.d
    88 schema:familyName Chen
    89 schema:givenName Weidong
    90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01207355664.95
    91 rdf:type schema:Person
    92 sg:person.013265215603.05 schema:affiliation grid-institutes:grid.263864.d
    93 schema:familyName Liu
    94 schema:givenName Julie Yu-Chih
    95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013265215603.05
    96 rdf:type schema:Person
    97 sg:pub.10.1007/bf00243002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023837652
    98 https://doi.org/10.1007/bf00243002
    99 rdf:type schema:CreativeWork
    100 sg:pub.10.1007/bf01530924 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043115097
    101 https://doi.org/10.1007/bf01530924
    102 rdf:type schema:CreativeWork
    103 grid-institutes:grid.263864.d schema:alternateName Computer Science and Engineering, Southern Methodist University, 75275-0122, Dallas, Texas, USA
    104 schema:name Computer Science and Engineering, Southern Methodist University, 75275-0122, Dallas, Texas, USA
    105 rdf:type schema:Organization
     




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


    ...