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/bf01530924", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043115097", 
              "https://doi.org/10.1007/bf01530924"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00243002", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023837652", 
              "https://doi.org/10.1007/bf00243002"
            ], 
            "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", 
          "hypothetical reasoning", 
          "update program", 
          "evaluation of databases", 
          "arbitrary updates", 
          "arbitrary queries", 
          "bulk updates", 
          "logic programs", 
          "stratified databases", 
          "semantics", 
          "universal quantification", 
          "stratified logic programs", 
          "efficient evaluation", 
          "reasoning", 
          "database", 
          "update", 
          "queries", 
          "subgoals", 
          "computation", 
          "avoids", 
          "rules", 
          "program", 
          "evaluation", 
          "answers", 
          "success", 
          "failure", 
          "quantification", 
          "body", 
          "termination", 
          "paper"
        ], 
        "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-05-20T07:20", 
        "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/article/article_297.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.

    103 TRIPLES      22 PREDICATES      58 URIs      48 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 Na35bd9e003e24200a5ae9770a932c97b
    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 N4f4400359ef84f2d9201dcfd17484c36
    13 N4fa8d86581784744acd941782dc9c730
    14 sg:journal.1043955
    15 schema:keywords answers
    16 arbitrary queries
    17 arbitrary updates
    18 avoids
    19 body
    20 bulk updates
    21 computation
    22 database
    23 efficient evaluation
    24 evaluation
    25 evaluation of databases
    26 failure
    27 hypothetical reasoning
    28 logic programs
    29 paper
    30 procedural semantics
    31 program
    32 quantification
    33 queries
    34 reasoning
    35 rules
    36 semantics
    37 stratified databases
    38 stratified logic programs
    39 subgoals
    40 success
    41 termination
    42 universal quantification
    43 update
    44 update program
    45 schema:name A procedural semantics for stratified database updates
    46 schema:pagination 187-220
    47 schema:productId Nc1e72deb236f4d0788cfe9980cf00655
    48 Nf8b24c7c37ef48daa34b2977386456fd
    49 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038969231
    50 https://doi.org/10.1023/a:1018965418898
    51 schema:sdDatePublished 2022-05-20T07:20
    52 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    53 schema:sdPublisher N014ad5215b4f4e1892e178b7701c4251
    54 schema:url https://doi.org/10.1023/a:1018965418898
    55 sgo:license sg:explorer/license/
    56 sgo:sdDataset articles
    57 rdf:type schema:ScholarlyArticle
    58 N014ad5215b4f4e1892e178b7701c4251 schema:name Springer Nature - SN SciGraph project
    59 rdf:type schema:Organization
    60 N4f4400359ef84f2d9201dcfd17484c36 schema:volumeNumber 21
    61 rdf:type schema:PublicationVolume
    62 N4fa8d86581784744acd941782dc9c730 schema:issueNumber 2-4
    63 rdf:type schema:PublicationIssue
    64 Na35bd9e003e24200a5ae9770a932c97b rdf:first sg:person.01207355664.95
    65 rdf:rest Nd42582daea8549c7b77e6f0beabc5704
    66 Nc1e72deb236f4d0788cfe9980cf00655 schema:name dimensions_id
    67 schema:value pub.1038969231
    68 rdf:type schema:PropertyValue
    69 Nd42582daea8549c7b77e6f0beabc5704 rdf:first sg:person.013265215603.05
    70 rdf:rest rdf:nil
    71 Nf8b24c7c37ef48daa34b2977386456fd schema:name doi
    72 schema:value 10.1023/a:1018965418898
    73 rdf:type schema:PropertyValue
    74 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    75 schema:name Information and Computing Sciences
    76 rdf:type schema:DefinedTerm
    77 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
    78 schema:name Information Systems
    79 rdf:type schema:DefinedTerm
    80 sg:journal.1043955 schema:issn 1012-2443
    81 1573-7470
    82 schema:name Annals of Mathematics and Artificial Intelligence
    83 schema:publisher Springer Nature
    84 rdf:type schema:Periodical
    85 sg:person.01207355664.95 schema:affiliation grid-institutes:grid.263864.d
    86 schema:familyName Chen
    87 schema:givenName Weidong
    88 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01207355664.95
    89 rdf:type schema:Person
    90 sg:person.013265215603.05 schema:affiliation grid-institutes:grid.263864.d
    91 schema:familyName Liu
    92 schema:givenName Julie Yu-Chih
    93 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013265215603.05
    94 rdf:type schema:Person
    95 sg:pub.10.1007/bf00243002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023837652
    96 https://doi.org/10.1007/bf00243002
    97 rdf:type schema:CreativeWork
    98 sg:pub.10.1007/bf01530924 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043115097
    99 https://doi.org/10.1007/bf01530924
    100 rdf:type schema:CreativeWork
    101 grid-institutes:grid.263864.d schema:alternateName Computer Science and Engineering, Southern Methodist University, 75275-0122, Dallas, Texas, USA
    102 schema:name Computer Science and Engineering, Southern Methodist University, 75275-0122, Dallas, Texas, USA
    103 rdf:type schema:Organization
     




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


    ...